Pålitlig och feltolerant programvara. Håkan Edler Laboratoriet för pålitliga datorsystem Institutionen för datorteknik Chalmers tekniska högskola
|
|
- Viktoria Sundqvist
- för 7 år sedan
- Visningar:
Transkript
1 Pålitlig och feltolerant programvara Laboratoriet för pålitliga datorsystem Institutionen för datorteknik Chalmers tekniska högskola 1 1
2 Vision Pålitliga datorsystem tack vare programvara 2 2
3 3 3 Vad är pålitlighet? DEPENDABILITY Readiness for usage Continuity of service Avoidance of catastophical consequences on the environment Preservation of confidentality and of integrity AVAILABILITY RELIABILITY SAFETY SECURITY
4 4 4 Hur vi skapar pålitlighet Faults Impairments Errors Dependability Means Failures Procurement Validation Fault prevention Fault tolerance Fault removal Availability Fault forecasting Attributes Reliability Safety Security
5 5 5 Felkedjan Adjudged or hypothesized cause System internal effect User perceived effect... FAILURE FAULT ERROR FAILURE FAULT... Activation (internal) Occurrence (external) Deviation of delivered service from compliance to system specification Fault - fault, bug, defect, mistake, et c Failure - failure, crash, breakdown, malfunction, denial of service, et c
6 Konstruktionsprinciper N-version programming - N-versions programmering Recovery block - Återhämtningsblock Data diversity - Diversifierade källdata View diversity - Diversifierad översättning Consensus recovery blocks - Återhämtningsblock med samstämmighet Robust data structures - Robusta datastrukturer Resourceful systems - Diversitet i funktioner Recovery blocks and exception handling - Återhämtningsblock med undantagshantering 6 6
7 7 7 N-version programming - NVP Input Version 1 Version 2 Decision mechanism Result... Version n failed raise error
8 NVP egenskaper Error detection by voting Relative result judgement Forward error recovery Parallel execution ADVANTAGES Increased run-time reliability Probability of common cause failure is reduced Residual design faults can be detected and masked at run-time without loss of service DISADVANTAGES Specification errors may remain undetected Comparision of N versions may be difficult Additional software for syncronization voting may cause common mode failures Increased development and maintenance cost compared to a single version, N = 3 =>
9 9 9 Recovery blocks - RB Input roll back and try alternate Primary Recovery cache Alternate 1 Acceptance test passed Result... Alternate n-1 failed and alternates exhausted Switch raise error
10 RB egenskaper Error detection by acceptance test Absolute result judgement with respect to specification Backward error recovery Sequential execution ADVANTAGES Increased run-time reliability Provides diversity at the program, module and procedure level DISADVANTAGES Not easy to find reliable acceptance tests Not efficient in situations with strict timing restrictions The technique can only be used where side effects can be reversed Increased development and maintenance cost compared to a single version, N = 2 =>
11 11 11 Tekniker för att bygga pålitliga system Analys Analytiska metoder, Markovmodellering Petrinät Konstruktion Simulering Bygge Felinjicering
12 Vad har vi gjort hittills? Kartlagt principer och metoder för att bygga feltolerant programvara med betoning på kostnadsaspekter Undersökt möjligheterna att skapa realistiska modeller av kvarvarande fel i välprovad programvara. Undersökt olika metoder att emulera programfel i en utrustning för experimentell verifiering av feltolerans Undersökt metoder att automatiskt generera program ur en given specifikation Kört experiment på system från verkliga tillämpningar 12 12
13 13 13 Testbänk för felinjicering Fault activator Log file Analysis tool Input data generator I I Control module F Golden version Environment simulator O G O FTAM Logging mechanism
14 14 14 Fel och sätten att tåla dem 7: Error tolerated 5: Error detected 6: Error detected Detection 5 Error processing 8: Recovery incomplete 9: Recovery failed 1: Fault 2: Error activation propagation Fault Error Propagated 4: Error error overwritten 3: Error activation Failure J. Christmansson AnExploration of Models for Software Faults and Errors
15 15 15 Provningsmiljön User input Campaign specification I/O FIC 3 Readouts Faults or errors I/O Reset Target system Signals Environment simulator Data analyzer Readouts Trigger Error injector
16 Mätningar på existerande system Felinjicering med ändring av källtext Felinjicering med ändring i maskinkod Algoritmer och metoder för feltolerant programvara Studier av dessa i verkliga system Infångning ochuppbromsning av flygplan Styrenheter i fordon 16 16
17 Mätningar på automatgenererade program Ställ upp specifikationer för programmet Börja med en godtycklig variant av programmet Kör den och notera resultatet Förändra programmet till en ny version Kör den och notera resultatet Mät förbättringen och sätt en vikt på programversionen Rekombinera programversionerna med hänsyn till deras vikter Upprepa 17 17
18 Felmodeller Data processing Data storage Data flow Control Timing Control Flow 18 18
19 19 19 Felmodeller (forts.) Byzantine Computation Timing Omission Crash
20 20 20 ODC felmodeller Checking Assignment Missing or incorrect validation of parameters or data in conditional statements Values assigned incorrectly or not at all Algorithm Timing/ Serialization Interface Function Efficiency or correctness problems related to the algorithm or data structure Necessary serialization of shared resources is missing or done in an incorrect way Communication problems between modules, components, device drivers or users and software Some capability that is not implemented or implemented incorrectly
21 Forskningsfrågor Kan algoritmer som automatiskt tar fram program användas för att uppnå styrd diversitet? Vilka är kostnaderna för att uppnå diversitet? Hur kvantifierar man skillnader i struktur och felbeteende hos olika programversioner? Kan svårigheten hos ett styrproblem visualiseras och vara underlag för analys och konstruktion i utvecklingsprocessen? Hur mycket ökar feltoleransen med olika formar av feltolerans? Kan man göra felinjicering på gränssnitten i ett datorbaserat system i stället för i programmen? Vilken inverkan har olika algoritmer och mekanismer på prestanda? Vad är kostnaden för de olika systemen? 21 21
22 Mål på kort sikt Analytisk modellering som underlag för felinjicering Utveckling av principer för att bygga feltolerant Undersökning av existerande system för evaluering av metoder att mäta pålitlighet Under de närmaste två åren skapa metoder att verifiera programvarusystem ur pålitlighetssynvinkel 22 22
23 Mål på lång sikt Metoder att bygga pålitliga datorsystem att bygga programvara så felfri som möjligt att finna och eliminera fel vid systemprov att förutsäga felfrekvens efter driftsättning att tolerera de fel, som trots allt kvarstår 23 23
Verifiering och validering av programvara med automatisk provning på gränssnitt. Håkan Edler
Verifiering och validering av programvara med automatisk provning på gränssnitt Håkan Edler edler@hisafe.se FoTA P9 Experimentell verifiering av feldetektering och feltolerans En teknik för att automatiskt
Läs merMichael Q. Jones & Matt B. Pedersen University of Nevada Las Vegas
Michael Q. Jones & Matt B. Pedersen University of Nevada Las Vegas The Distributed Application Debugger is a debugging tool for parallel programs Targets the MPI platform Runs remotley even on private
Läs merExperimentell verifiering av feldetektering och feltolerans
FÖRSLAG 1 (8) Ert datum Er beteckning Handläggare Håkan Edler Fördelning Godkänd av Kopia till Projektets namn Experimentell verifiering av feldetektering och feltolerans Förslagsställare Håkan Edler HiSafe
Läs merCreo Customization. Lars Björs 2014-10-16
Creo Customization Lars Björs 2014-10-16 Norra Europas största partner och återförsäljare av PTC relaterad programvara (Windchill, Creo, Arbortext, MathCad, Relex) 70 anställda Egen utvecklingsavdelning
Läs merTestning på 3 föreläsningar. PV7180 Verifiering och Validering. Litteratur. Vad är testning? Varför testa och olika syn? Målet med testning
ning på 3 föreläsningar Första föreläsningen Översikt PV7180 Verifiering och Validering Föreläsning 3 ning del 1 Andra föreläsningen Coverage ing, OO-ing, Utvärdering av tekniker Tredje föreläsningen Automatiserad
Läs merInför projektuppgiften. Markus Buschle, markusb@ics.kth.se
Inför projektuppgiften Markus Buschle, markusb@ics.kth.se Agenda Möjligheter,ll samarbete Enterprise Architecture för beslutsfa8ande Modell Analys Resultat Projektuppgi? Möjligheter -ll samarbete Examensarbeten
Läs merSeminarium för CAMO, F-verkstäder, AUB och tekniker med inriktning på privat-, skol- och bruksflyg 2017 B1 versus B2 Jukka Salo Flygteknisk inspektör
Seminarium för CAMO, F-verkstäder, AUB och tekniker med inriktning på privat-, skol- och bruksflyg 2017 B1 versus B2 Jukka Salo Flygteknisk inspektör Men först Ny typlista Annex to Decision 2017/016/R
Läs merResultatkonferens 2015. Välkommen!
Resultatkonferens 2015 Välkommen! Lite kort information Säkerhet Quality Hotel Reception Lunch Stadshotellet Tallkotten Middag kl 18 Stadshotellet Tallkotten Utvärdering till Katarina 2000 Vintage Resultatkonferens
Läs merHur fattar samhället beslut när forskarna är oeniga?
Hur fattar samhället beslut när forskarna är oeniga? Martin Peterson m.peterson@tue.nl www.martinpeterson.org Oenighet om vad? 1.Hårda vetenskapliga fakta? ( X observerades vid tid t ) 1.Den vetenskapliga
Läs merGOLD SD 14-40. Med styrenhet/with control unit. Fläkt/ Fan. Utan filter/ Without filter. Fläkt/Fan. Fläkt/ Fan. Med filter/ With filter.
GOLD SD 4-40 Med styrenhet/with control unit Skiss visar styrenhet för aggregat med inspektionssida vänster, styrenhet för aggregat med inspektionssida höger ser något annorlunda ut, men principen är lika./
Läs merDesign Service Goal. Hantering av demonterbara delar som ingår i Fatigue Critical Baseline Structure List. Presentatör
Design Service Goal Hantering av demonterbara delar som ingår i Fatigue Critical Baseline Structure List Presentatör Thobias Log Flygteknisk Inspektör Sjö- och luftfartsavdelningen Enheten för operatörer,
Läs merApplication Note SW
TWINSAFE DIAGNOSTIK TwinSAFE är Beckhoffs safety-lösning. En översikt över hur TwinSAFE är implementerat, såväl fysiskt som logiskt, finns på hemsidan: http://www.beckhoff.se/english/highlights/fsoe/default.htm?id=35572043381
Läs merInstallation av F13 Bråvalla
Website: http://www.rbdesign.se Installation av F13 Bråvalla RBDESIGN FREEWARE - ESCK Norrköping-Bråvalla 1. Ladda ner och packa upp filerna i en mapp som du har skapat på ett lättöverskådligt ställe utanför
Läs merGOLD SD 50-80. Fläkt 2/ Fan 2. Fläkt 1/ Fan 1. Fläkt/ Fan. Utan filter/ Without filter. Fläkt 1/ Fan 1. Fläkt 2/ Fan 2. Med filter/ With filter Filter
SE/G.ELSD5080.0803 GOLD SD 50-80 Med styrenhet/with control unit Skiss visar styrenhet för aggregat med inspektionssida vänster, styrenhet för aggregat med inspektionssida höger ser något annorlunda ut,
Läs merVirtuellt VA med digitala tvillingar
Virtuellt VA med digitala tvillingar Digitaliseringens möjligheter Praktisk tillämpning av digitala tvillingar Diskutera framtida digitaliseringen av VA-branschen Maria Bennet, sektionschef Vatten, ÅF
Läs merLOG/iC2. Introduction
LOG/iC2 Introduction L00000 11110111111111111111111111111111111111111111* L04884 11111111111111111111111111111111111111111111* L04928 11111111011111111111111111111111111111101111* L04972 11111111101110111111111111111111111111011111*
Läs merCHANGE WITH THE BRAIN IN MIND. Frukostseminarium 11 oktober 2018
CHANGE WITH THE BRAIN IN MIND Frukostseminarium 11 oktober 2018 EGNA FÖRÄNDRINGAR ü Fundera på ett par förändringar du drivit eller varit del av ü De som gått bra och det som gått dåligt. Vi pratar om
Läs merInformationssäkerhet och medicintekniska produkter eller Information security with respect to safety considerations
Informationssäkerhet och medicintekniska produkter eller Information security with respect to safety considerations Mats Ohlson Informationssäkerhet = Information security Informationssäkerhet the preservation
Läs merDesignmönster, introduktion. Vad är det? Varför skall man använda mönster?
Designmönster, introduktion. Vad är det? Varför skall man använda mönster? Kent Petersson EMW, Mölndal Datavetenskap, Chalmers epost1: kentp@cs.chalmers.se epost2: kent.petersson@emw.ericsson.se URL: http://www.cs.chalmers.se/~kentp
Läs merRUP är en omfattande process, ett processramverk. RUP bör införas stegvis. RUP måste anpassas. till organisationen till projektet
RUP är en omfattande process, ett processramverk RUP bör införas stegvis RUP måste anpassas till organisationen till projektet Volvo Information Technology 1 Även RUP har sina brister... Dåligt stöd för
Läs merFör att justera TX finns det ett tool med namnet MMDVMCal. t.ex. /home/pi/applications/mmdvmcal/mmdvmcal /dev/ttyacm0
Justering av repeater med MMDVM-Modem På det senaste har det varit många frågor kring hur man justerar en repeater med ett MMDVM- Modem. Da det inte finns mycket dokumentation kring hur man justerar ett
Läs merISTQB Testarens ledstjärna
ISTQB Testarens ledstjärna SSTB SAST-möte 2012-02-23 Vilka är vi? Mångårig erfarenhet från testarbete, testare, testledare, testchef. Utveckling av test metoder och processer. Test kurser. Jobbar som Systemarkitekt
Läs merConfiguration Management
Configuration Management En möjliggörare för värdeskapande smart industri CM Forum SIS TK 280, TK 611 och CM vad är kopplingen? Er digitala information bör vara beskaffad så här! Era identifierare bör
Läs merCM FORUM. Introduktion till. Configuration Management (CM) / Konfigurationsledning. Tobias Ljungkvist
Introduktion till Configuration Management (CM) / Konfigurationsledning Tobias Ljungkvist 2017-08-30 1 CM enligt SS-EN ISO 10007_2004 Konfigurationsledning är en ledningsaktivitet som tillämpar teknisk
Läs merRADIATION TEST REPORT. GAMMA: 30.45k, 59.05k, 118.8k/TM1019 Condition D
RADIATION TEST REPORT PRODUCT: OP47AYQMLL Die Type: 147X FILE: OP47_LDR.xlsx DATE CODE: 95 GAMMA: 3.45k, 59.5k, 118.8k/TM119 Condition D GAMMA SOURCE: Co6 DOSE RATE: 8.6mRad(si)/s FACILITIES: University
Läs merRobust och energieffektiv styrning av tågtrafik
1 Robust och energieffektiv styrning av tågtrafik - CATO - Forskning inom OnTime - Vidareutveckling och möjligheter KAJT, temadag om punktlighet 2014-11-13 Tomas Lidén Transrail Sweden AB Dagens trafikledning
Läs merCourse syllabus 1(7) School of Management and Economics. FEN305 Reg.No. EHVc 2005:6 Date of decision 2004-12-22. Course Code. Företag och Marknad I
1(7) School of Management and Economics Course syllabus Course Code FEN305 Reg.No. EHVc 2005:6 Date of decision 2004-12-22 Course title in Swedish Course title in English Language of instruction Subject
Läs merÄmnesområden. Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson
Ämnesområden Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson martin.fredriksson@lnu.se 1 Ämnesområden ÖVERSIKT 2 Översikt Dagens föreläsning Fokus Innehåll Relevans Presentation Ämnesområden
Läs merMagic Grippers System för att enkelt bygga robotgrippers / grippers. -- Kort presentation -- Beställ komplett katalog
Magic Grippers System för att enkelt bygga robotgrippers / grippers Teknisk information - Kostnadseffektiv lösning - Enkel byggnation med profiler / magic grippers - 9 olika typer av sugkoppsläppar - Sugkoppsläppar
Läs merFörändrade förväntningar
Förändrade förväntningar Deloitte Ca 200 000 medarbetare 150 länder 700 kontor Omsättning cirka 31,3 Mdr USD Spetskompetens av världsklass och djup lokal expertis för att hjälpa klienter med de insikter
Läs merEnterprise App Store. Sammi Khayer. Igor Stevstedt. Konsultchef mobila lösningar. Teknisk Lead mobila lösningar
Enterprise App Store KC TL Sammi Khayer Konsultchef mobila lösningar Familjen håller mig jordnära. Arbetar med ledarskap, mobila strategier och kreativitet. Fotbollen ger energi och fokus. Apple fanboy
Läs merAnvändarhandbok. MHL to HDMI Adapter IM750
Användarhandbok MHL to HDMI Adapter IM750 Innehåll Inledning...3 MHL to HDMI Adapter-översikt...3 Komma igång...4 Smart Connect...4 Uppgradera Smart Connect...4 Använda MHL to HDMI Adapter...5 Ansluta
Läs merSOLAR LIGHT SOLUTION. Giving you the advantages of sunshine. Ningbo Green Light Energy Technology Co., Ltd.
2017 SOLAR LIGHT SOLUTION Address:No.5,XingYeMiddleRoad,NingboFreeTradeZone,China Tel:+86-574-86812925 Fax:+86-574-86812905 Giving you the advantages of sunshine SalesServiceE-mail:sales@glenergy.cn Tech.ServiceE-mail:service@glenergy.cn
Läs merDatavetenskapligt program, N1COS
Ansökan om fortsatta studier inom program, våren 2015 Datavetenskapligt program, N1COS Inför varje termin måste du söka till de kurser du vill gå. Sista datum för ansökan till höstens kurser är den 15
Läs merTentamen vid Institutionen för Datavetenskap, Linköpings universitet. TDDD36 Säkra mobila System (Systemprogramvara)
TENTAMEN TDDD36 Säkra mobila System (Systemprogramvara) Datum: 2013-10-22 Tid: 8-12 Lokal: TER1 Jourhavande-lärare: Simin Nadjm-Tehrani (telefon 013-282411, 0702 282412) Hjälpmedel: Poängantal: Miniräknare,
Läs merKursinformation. Metodik för programvaruutveckling. Utvecklingsprocessen för programvara. Innehåll. Processmodell. Exempel
Kursinformation Metodik för programvaruutveckling Föreläsning 3 Latex ok för litteraturstudierapport (prata med mig bara) Nästa föreläsning är av Björn Regnell (jag är med också) Presentationer imorgon
Läs merSwedbank Mobile Loadtesting. LoadRunner 11.04 Mobile App protocol
Swedbank Mobile Loadtesting LoadRunner 11.04 Mobile App protocol Bakgrund Mission: Prestandatesta mobilt backend Typ: RESTful tjänst Underlag: Dokumenterat URI och API (Uniform Resource Identifier, Application
Läs merCustom-made software solutions for increased transport quality and creation of cargo specific lashing protocols.
Custom-made software solutions for increased transport quality and creation of cargo specific lashing protocols. ExcelLoad simulates the maximum forces that may appear during a transport no matter if the
Läs mer8.1 General factorial experiments
Exempel: Vid ett tillfälle ville man på ett laboratorium jämföra fyra olika metoder att bestämma kopparhalten i malmprover. Man är även intresserad av hur laboratoriets tre laboranter genomför sina uppgifter.
Läs merDesignprinciper för säkerhet och Epilog. Marcus Bendtsen Institutionen för Datavetenskap (IDA) Avdelningen för Databas- och Informationsteknik (ADIT)
Designprinciper för säkerhet och Epilog Marcus Bendtsen Institutionen för Datavetenskap (IDA) Avdelningen för Databas- och Informationsteknik (ADIT) Designprinciper för säkerhet Tumregler och utgångspunkter
Läs merMer OOP. Variation i typ. Medlen repetition. Generiska klasser. Gränssnitt - Interface. Mer om klasser Några exempel UML
Målet Mer OOP Mer om klasser Några exempel UML Modularitet Språkligt modulära enheter Få gränssnitt Små gränssnitt Tydliga gränssnitt Dold information Återanvändbarhet Variation i typer Variation i datastrukturer
Läs merSäkerhetsfunktioner rstå varandra? Finns behov av att avvika från normal säkerhetsfunktion s vissa betingelser under uppstart, ändringar i processen
Säkerhetsfunktioner Hur förstf rstå varandra? Finns behov av att avvika från normal säkerhetsfunktion s under vissa betingelser under uppstart, ändringar i processen eller under drift? enligt 61511 Sida
Läs merPROFINET MELLAN EL6631 OCH EK9300
PROFINET MELLAN EL6631 OCH EK9300 Installation och beskrivningsfil Exemplet visar igångkörning av profinet mellan Beckhoff-master och Beckhoff-kopplare för EL-terminaler. Med ny hårdvara är det viktigt
Läs merL 37/74 Europeiska unionens officiella tidning
L 37/74 Europeiska unionens officiella tidning 10.2.2010 IV (Rättsakter som antagits före den 1 december 2009 enligt EG-fördraget, EU-fördraget och Euratomfördraget) KOMMISSIONENS BESLUT av den 19 oktober
Läs merConfiguration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar
Skapa testfall Testing Köra testen Hitta fel Inspections and reviews Verifiera resultatet Formal methods Static analysis Completeness Verifiering Kvalitet Maintainability Validering Traceability Fault
Läs merSwedish National Data Service
University of Gothenburg Karolinska Institutet Lund University Stockholm University Swedish University of Agricultural Sciences Umeå University Uppsala University Swedish National Data Service An infrastructure
Läs merDiscovery FSQ, IAA Utgåva/Edition 11. SE Habo. Klass 2 IAA FSQ-I 26W. 4 mm c c mm N L
Discovery FQ, IAA E - 566 80 Habo 3 4 4 mm c c mm 5 IAA Klass FQ-I 6W För armatur klass II,eller armatur för IAA/FQ-I 6W skall medföljande skyddsslang användas. For luminaire of Class II,or luminaire for
Läs merSkillGuide. Bruksanvisning. Svenska
SkillGuide Bruksanvisning Svenska SkillGuide SkillGuide är en apparat utformad för att ge summativ återkoppling i realtid om hjärt- och lungräddning. www.laerdal.com Medföljande delar SkillGuide och bruksanvisning.
Läs merDatasäkerhet och integritet
Chapter 4 module A Networking Concepts OSI-modellen TCP/IP This module is a refresher on networking concepts, which are important in information security A Simple Home Network 2 Unshielded Twisted Pair
Läs merLinköpings universitet 1 TDP029. Systemutveckling. Systemutveckling. Vanliga faser. Fler faser. Systemutvecklingsmetod
Systemutveckling TDP029 Systemutveckling Annika Silvervarg COIN/HCCS/IDA Systemutveckling kallas processen att ta emot en beställning på ett datorsystem, skriva en strukturerad kravspecifikation på systemet,
Läs merDatavetenskap. Beteendevetenskap MDI. Design
Designprocessen 1 Datavetenskap Beteendevetenskap MDI Design Två betydelser The final solution/plan (e.g. proposal, drawing, model, description) or the result of implementing that plan in the form of the
Läs merProjekt? 1DV420 Nätverksprojekt Kalmar, Lars Karlsson +46(0)
Projekt? 1DV420 Nätverksprojekt Kalmar, 2014 Lars Karlsson lars.karlsson@opnova.se +46(0)703467897 Att planera? Idé att göra? Blir ändå aldrig som man tänkt sig... Just därför! 2 Projekt - Definition 1.
Läs merGOLD SD eff.var./cap.var.120-1
SE/G.ELSD20E.608 GOLD SD eff.var./cap.var.20- Med styrenhet/ With control unit IQnavigator Säkerhetsbrytare/ huvudströmbrytare/ Safety switch/ main switch Eftervärme/ Reheater N L Temperaturgivare, tilluft/
Läs merProduktens väg från idé till grav
Produktens väg från idé till grav Lars Lundgren Senior Consultant, Risk Management i3tex Riskhantering Idè Avsedd användning Specifikationer Konstruktion Verifiering Validering Postproduktion Slut Produkten
Läs merDC-DC CONVERTER IP67
DC-DC CONVERTER IP67 SVENSK MANUAL VIKTIG INFORMATION De tekniska uppgifter, information och illustrationer har noggrant sammanställts och motsvarar produktens status vid tidpunkten för tryckning. Tillverkaren
Läs merThe present situation on the application of ICT in precision agriculture in Sweden
The present situation on the application of ICT in precision agriculture in Sweden Anna Rydberg & Johanna Olsson JTI Swedish Institute for Agricultural and Environmental Engineering Objective To investigate
Läs merInformation technology Open Document Format for Office Applications (OpenDocument) v1.0 (ISO/IEC 26300:2006, IDT) SWEDISH STANDARDS INSTITUTE
SVENSK STANDARD SS-ISO/IEC 26300:2008 Fastställd/Approved: 2008-06-17 Publicerad/Published: 2008-08-04 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.30 Information technology Open Document
Läs merQC i en organisation SAST 2008-09-16
QC i en organisation SAST 2008-09-16 1 Agenda Hur är vi organiserade inom test på SEB? Hur är QC uppsatt på SEB? Hur arbetar vi med QC i en stor organisation? Uppfyllde QC våra förväntningar och hur har
Läs merFöretagsekonomi, allmän kurs. Business Administration, General Course. Business Administration. 2004-07-01 until further notice
1(6) School of Management and Economics Course syllabus Course Code FEA330 Reg.No. EHVd 2004:35 Date of decision 2004-09-06 Course title in Swedish Course title in English Företagsekonomi, allmän kurs
Läs merVad är RTCA DO-178C? och: Hur arbetar Saab med dessa krav? Lars Ljungberg, Saab AB, Avionics Systems
Vad är RTCA DO-178C? och: Hur arbetar Saab med dessa krav? Lars Ljungberg, Saab AB, Avionics Systems 2018-05-07 FUNCTONAL SAFETY DO-178C är processorienterad dentifiera risker (hazards) och de säkerhetsfunktioner
Läs merSafe Logic Compact. Konfigurering av Rexroth säkerhets PLC. Snabbguide Svenska
Safe Logic Compact Konfigurering av Rexroth säkerhets PLC Snabbguide 05.2013 Svenska The data specified only serve to describe the product. No statements concerning a certain condition or suitability for
Läs merMomentbegränsare. Aktivering med hjälp av analoga signaler. Aktivering med hjälp av Extern CAN
Bakgrund Bakgrund Funktionen för momentbegränsare styrs av BCI-styrenheten (Bodywork Communication Interface). Funktionen kan antingen aktiveras med hjälp av analoga signaler eller Extern CAN (Controller
Läs merStudienämnden Data 2012 13
Studienämnden Data 2012 13 Verksamhetsberättelse 3 2013-02-28 Christoffer Öjeling Emil Bryngelsson Daniel Toom Ordförande Vice Ordförande Arr-chef Öjeling, Bryngelsson, Toom SND Verksamhetsrapport 3 1
Läs merBarn och läkemedelssäkerhet
Barn och läkemedelssäkerhet ur ett svenskt och amerikanskt perspektiv Per Nydert Leg. Apotekare Neonatalverksamheten Karolinska Universitetssjukhuset LäkemedelsHANTering LäkemedelsFÖRsörjning USA Sverige
Läs merEuropeiska unionens officiella tidning L 67/13
7.3.2007 Europeiska unionens officiella tidning L 67/13 KOMMISSIONENS BESLUT av den 6 mars 2007 om ändring av bilaga A till beslut 2006/679/EG när det gäller teknisk specifikation för driftskompatibilitet
Läs merRegressionstestning teori och praktik
Regressionstestning teori och praktik Lic. Emelie Engström emelie.engstrom@cs.lth.se Software Engineering Research Group LUND UNIVERSITY Sweden SWELL the Swedish Research School in Software Verification
Läs mer802.11b Wireless router w. 4 port switch. StarTech ID: BR411BWDC
802.11b Wireless router w. 4 port switch StarTech ID: BR411BWDC Share your Internet connection without being constrained by cables with StarTech.com s 802.11b wireless router. The BR411BWDC lets you share
Läs merPatientrapporterade utfallsmått, ett verktyg för jämlik vård? Evalill Nilsson Universitetslärare, med dr Avd f Samhällsmedicin
Patientrapporterade utfallsmått, ett verktyg för jämlik vård? Evalill Nilsson Universitetslärare, med dr Avd f Samhällsmedicin evalill.nilsson@liu.se Användningen av patientrapporterade mått inom vården
Läs merEuropeiska unionens officiella tidning L 136/11
24.5.2008 Europeiska unionens officiella tidning L 136/11 KOMMISSIONENS BESLUT av den 23 april 2008 om ändring av bilaga A till beslut 2006/679/EG om teknisk specifikation för driftskompatibilitet avseende
Läs merFinans workshop. Presented by: Håkan Ebersjö Director, Product Marketing
Finans workshop Presented by: Håkan Ebersjö Director, Product Marketing Financial Ledgers Sales Integrated to GL Invoice revaluation Common master Client file Payment terms Reminders & Statements Interest
Läs merPrograminformation VT 2012 för
Datavetenskapligt program Programinformation VT 2012 för Inför varje termin måste du söka till de kurser du vill gå. Sista datum för ansökan är det 15 oktober. För att du skall antas som programstudent
Läs merImplementationsstrategier för PLCS
Implementationsstrategier för PLCS Dr Mattias Johansson Director Software Products Eurostep AB Typically complex systems environment Point to Point Integration Operational Objectives CM CM CM CM 5. Requirements
Läs merTaxning och motorkörning av flygplan/helikopter
Taxning och motorkörning av flygplan/helikopter Jukka Salo / Tobias Fridarve Sektionen för underhållsorganisationer (SLou) Taxning och motorkörning av flygplan/helikopter Bakgrund Vad säger säger reglerna
Läs merCHALMERS ROCK PROCESSING SYSTEM
CHALMERS ROCK PROCESSING SYSTEM Dynamisk Simulering av Krossanläggningar PHD GAUTI ASBJÖRNSSON Optimal Krossning - Malning PHD JOHANNES QUIST Modellering och Styrning av Krossanläggningar MSC MARCUS JOHANSSON
Läs merVHDL Basics. Component model Code model Entity Architecture Identifiers and objects Operations for relations. Bengt Oelmann -- copyright
BO 1 VHDL Basics Outline Component model Code model Entity Architecture Identifiers and objects Operations for relations Bengt Oelmann -- copyright 2002 1 Component model Model for describing components
Läs merAgenda. Plats och magkänsla. Presentation. - en pedagogisk fråga?
Plats och magkänsla - en pedagogisk fråga? Göran Lindahl Chalmers tekniska högskola 2011-09-28 Agenda Introduktion Helhet Användbarhet och effekter Cost and benefit Realitet, abstrakt, realitet Så här
Läs merAnvändarhandbok. Xperia P TV Dock DK21
Användarhandbok Xperia P TV Dock DK21 Innehåll Inledning...3 TV Dock baksida, översikt...3 Komma igång...4 LiveWare -hanteraren...4 Uppgradera LiveWare -hanteraren...4 Använda TV Dock...5 Ladda telefonen...5
Läs merLäkemedelsutveckling inte bara kliniska studier. Göran Långström Statistikerträffen 2015-09-16
Läkemedelsutveckling inte bara kliniska studier Göran Långström Statistikerträffen 2015-09-16 Jag tänkte prata om Vad gör Pharmaceutical Development? Exempel på statistisk tillämpningar: - DoE för produktutveckling,
Läs merIRIS Integrerat Dynamiskt Prognostiserande Underhållsstöd
IRIS Integrerat Dynamiskt Prognostiserande Underhållsstöd Projektstart: 2012 Projektavslut: 2017 Finansierat av: Vinnova, FFI Transporteffektivitet och Scania CV Dr Jonas Biteus Scania CV Vehicle service
Läs merHANTERING AV UPS CX
HANTERING AV UPS CX2100-0904 Hantering av UPS-modulen CX2100-0904. I WES7 och TwinCAT 2. Inställning av UPS:en i WES7 UPS:ens konfigurationsflik Inställningsmöjligheterna för hur UPS:en beter sig finns
Läs merSara Skärhem Martin Jansson Dalarna Science Park
Sara Skärhem Martin Jansson Dalarna Science Park Sara Skärhem Martin Jansson Vad är innovation? På Wikipedia hittar man: En innovation är en ny idé, till exempel i form av en produkt, lösning, affärsidé,
Läs merSchenker Privpak AB Telefon VAT Nr. SE Schenker ABs ansvarsbestämmelser, identiska med Box 905 Faxnr Säte: Borås
Schenker Privpak AB Interface documentation for web service packageservices.asmx 2012-09-01 Version: 1.0.0 Doc. no.: I04304b Sida 2 av 7 Revision history Datum Version Sign. Kommentar 2012-09-01 1.0.0
Läs merExperimentell verifiering av feldetektering och feltolerans
Experimentell verifiering av feldetektering och feltolerans Projekt P9 inom Forskning och teknikutveckling för anpassning Etablering av experimentmiljö Författare Siv Hermansson Jan Sinclair Dokument Id
Läs merRättvis kostnadsfördelning av IT-infrastrukturinvesteringar
Rättvis kostnadsfördelning av IT-infrastrukturinvesteringar Rättvis kostnadsfördelning av IT-infrastrukturinvesteringar Michael Andersson Svalövs Kommun Anders Nilsson PMCG Helsingborg...bättre kommunikation
Läs merKomponenter Removed Serviceable
Komponenter Removed Serviceable Presentatör Jonas Gränge, Flygteknisk Inspektör Sjö- och luftfartsavdelningen Fartygs- och luftfartygsenheten Sektionen för Underhållsorganisationer 1 145.A.50(d): När en
Läs merValidering av APV-procedurer genom flygmätning
Validering av APV-procedurer genom flygmätning Innehåll Definitioner Regelverk/processer Validering Varför/Målsättning/Syfte Hur valideringen genomförs Våra egna och andra Flight Inspection organisationers
Läs merPowerCell Sweden AB. Ren och effektiv energi överallt där den behövs
PowerCell Sweden AB Ren och effektiv energi överallt där den behövs Requirements of power electronics for fuel cells in electric vehicles Andreas Bodén (Rickard Nilsson) Förstudie: Kravställning på kraftelektronik
Läs merDeltaV Simulate. Introduction. Allows DeltaV configuration on a single PC or in a multi-node system
DeltaV Distributed Control System Product Data Sheet DeltaV Simulate Allows DeltaV configuration on a single PC or in a multi-node system Provides integrated simulation of control system (BPCS) and safety
Läs merDatateknik 2015-2016 Teknologie kandidatexamen, 180 sp
Datateknik 2015-2016 Teknologie kandidatexamen, 180 sp Examensstruktur för kandidatexamen Gemensamma studier 60 sp Akademiska studiefärdigheter 5 sp Grundstudier i huvudämnet 25 sp Biämne 25 sp Språk och
Läs merSida 1 av FELEFFEKTSANALYS/FAILURE MODE AND EFFECT ANALYSIS PROCESS. Leverantör/Supplier. Utgåva/Issue
Sida 1 av FELEFFEKTSANALYS/FAILURE MODE AND EFFECT ANALYSIS PROCESS Huvudsystem/Main system Artikelbenämning/Part name. Maskinnummer/Machine No. Ritn nr/dwg No. TB nr/tr No. Leverantör/Supplier Funktion/Function
Läs merErfarenheter från Hazop användning på programvara i Arte740. Presentation för SESAM 2003-02-04 Claes Norelöv 4Real AB
Erfarenheter från Hazop användning på programvara i Arte740 Presentation för SESAM 2003-02-04 Claes Norelöv 4Real AB 1 Innehåll 1. Bakgrund 2. Hazops plats i systemsäkerhetsarbetet 3. Vad-Hur gör man.
Läs merRisk Management Riskhantering i flygföretag
Risk Management Riskhantering i flygföretag Nytt krav inom ledningssystemet ORO.GEN.200(a)(3) med vidhängande AMC1 ORO.GEN.200(a)(1);(2);(3);(5) Magnus Molitor Transportstyrelsen 1 Riskhantering i sitt
Läs merGOLD SD 04-08. Med styrenhet/with control unit. Fläkt/ Fan. Utan filter/ Without filter. Fläkt/Fan. Fläkt/ Fan. Med filter/ With filter
GOLD SD 04-08 Med styrenhet/with control unit DIL-omkopplare/ DIP switches Bus-kontakter/ Bus connections Eftervärme/ Reheater L N L (0) N (02) Säkerhetsbrytare/ huvudströmbrytare/ Safety switch/ main
Läs merAnsökan till Vinnova PROJEKTUPPGIFTER. Diarienummer. Inskickad. Utlysning
Ansökan till Vinnova Diarienummer 2016-03836 Inskickad 2016-08-25 13:42 Utlysning Utmaningsdriven innovation - Steg 2 Samverkansprojekt 2016 (höst) PROJEKTUPPGIFTER Är ansökan en fortsättning på tidigare
Läs merBridging the gap - state-of-the-art testing research, Explanea, and why you should care
Bridging the gap - state-of-the-art testing research, Explanea, and why you should care Robert Feldt Blekinge Institute of Technology & Chalmers All animations have been excluded in this pdf version! onsdag
Läs mer3 rd October 2017
3 rd October 2017 Failures of Scaffold False work Failures Form work Bursting Trench Support Failure Hoarding Failures Can be expensive and result in fatalities and serious injuries Cardiff
Läs merKod och kvalitet. Mjukvarukvalitet. Mjukvarukvalitet. Effektkartan. -ilities. TNM021 Programvaruutveckling
4 2 5 The race for quality has no finish line, so technically it s more like a death march Kod och kvalitet Effektkartan Mjukvarukvalitet Vi blir alltmer beroende av de olika tekniska system vi omger oss
Läs merFunctional safety. EN ISO nu och i framtiden. Anette Wester Odbratt
Functional safety EN ISO 13849-1 - nu och i framtiden Anette Wester Odbratt Vad kan egentligen gå fel!? October 26, 2018 Slide 2 Murphys lag Ursprunglig "Om det finns två eller fler sätt att göra något,
Läs merOFTP2: Secure transfer over the Internet
Presentation We are ready for OFTP2! OFTP2: Secure transfer over the Internet Productive, standardized and secure flow of information in the Product Lifecycle Management (PLM) by Nils Johansson, LTH &
Läs merDVU-HP. Integrerat reversibelt värmepumpsystem
Fläktar Luftbehandlingsaggregat Luftdistributionsprodukter Luftkonditionering Brandsäkerhet Luftridåer och värmeprodukter Tunnelfläktar Integrerat reversibelt värmepumpsystem 2 Integrerat reversibelt värmepumpsystem
Läs mer