Felträdsanalys FTA

Save this PDF as:
 WORD  PNG  TXT  JPG

Storlek: px
Starta visningen från sidan:

Download "Felträdsanalys FTA"

Transkript

1 Felträdsanalys FTA 1

2 FTA FTA utgår från en för systemet oönskad vådahändelse, även kallad topphändelse vilken undersöks m a p möjliga orsaker först de omedelbart föregående, därefter de näst föregående osv ned till löven, bas- eller primärhändelserna. Ett logiskt träd med start på systemnivå ritas. Samverkande, oberoende orsaker uttrycks med och -grindar, alternativa med eller -grindar. Kvantitativa mått på olyckssannolikhet och exponeringsgrad kan införas i varje nod. Vid analys av programvara görs i stället en rent kvalitativ bedömning av rimlighet för olycka, för att finna var konstruktionsändringar är nödvändiga. Källa: H ProgSäk

3 Fault Tree Success Tree FTAs styrka ligger i ett strukturerat sökande efter orsaker till en viss händelse i syfte att i första hand eliminera säkerhetshot, i andra hand att bemästra resterande hot. Analysen erbjuder ett annat betraktelsesätt än det gängse under konstruktion: en koncentration på vad programvaran ej får göra, snarare än vad den skall utföra. Ett Success Tree utgör det logiska komplementet till ett FT Exempel: Topphändelsen utebliven funktion X i ett FT har sitt komplement i topphändelsen lyckad funktion X i motsvarande ST Ett ST definierar logiken för att en vådahändelse INTE skall inträffa 3

4 Arbetsgång Identifiera felträdsanalysens syfte och mål Definiera topphändelser Definiera omfattningen av analysen, gränserna för analysobjektet Definiera analysnivån, granualitet Bestäm regler för analysen Blanda inte success med fault Definiera exempelvis hur hur component failure och system failure ska användas Kvantitativ och/eller kvalitativ analys Konstruera felträdet Utgå från en funktionell struktur av systemet som analyseras (se exempelvis SIS-EN Struktureringsprinciper) Gör klar varje nod innan nästa påbörjas Förenkla genom att eliminera noder med alltför liten sannolikhet (exempelvis många nivåer av OCH villkor) Iterera tills resultatet blir tillfredsställande Värdera och validera felträdet Fler iterationer? Tolka och presentera resultatet 4

5 Cut Sets Ett Cut Set är mängden av alla de bashändelser som krävs för att en topphändelse skall inträffa. Ett Minimal Cut Set är den minsta mängden bashändelser som måste inträffa för att topphändelsen skall inträffa. (dvs. en logisk förenkling av det aktuella felträdet) Varje felträd innehåller ett bestämt antal Minimal Cut Sets 5

6 Path Sets Det logiska komplementet till ett Cut Set är ett Path Set Ett Path Set kan också kallas ett Success Set Ett Path Set är mängden av alla de bashändelser som INTE får inträffa för att en topphändelse INTE skall inträffa. Ett Minimal Path Set är den minsta mängden bashändelser som INTE får inträffa för att topphändelsen INTE skall inträffa. (dvs. en logisk förenkling av aktuellt ST) Varje ST innehåller ett bestämt antal Minimal Path Sets 6

7 Cut Sets och Path Sets Kan vara bra att känna till Logiken används i verktyg för felträd och händelseträd 7

8 Händelser Bashändelser eller fel som inte kräver vidare analys Conditioning Event Förutsättning eller restriktion i logisk grind Undeveloped Event Ej vidare analyserad händelse Hushändelse Händelse som normalt förväntas hända Länk Används rittekniskt för att länka delar av ritade felträd 8

9 Logik OCH ELLER n KOMBINATION sant om n input är sanna EXLUSIVE ELLER PRIORITY OCH Sant om sekvens av input inträffar (från vänster till höger) INHIBIT Sant om input är sant och Condition Event har inträffat (ritat till höger) 9

10 Komponetfelkategorier Primary Komponenten går fel under specificerade driftförhållanden Secondary Komponenten går fel under onormala driftförhållande Föjdfel Command Felaktig styrning av komponenten Ej komponentfel 10

11 Validering av FT Skapa Minimal Cut Sets kontrollera att dessa är valida Sök efter eventuella verkliga felhändelser och kontrollera att dessa ingår i FT Skapa Success Paths av FT och använd dessa för cross-check Kontrollera att sannolikheter för cut sets och topphändelser är rimliga. Etc. etc. 11

12 Common Cause FTA Utökad Aktiv eller Standby / Kall eller varm Reservnoder Dynamiska felträdsanalyser Fas- och mod-beroende analyser Tidsberoende analyser, Markovmodeller 12

13 Ritat felträd Riskspectrum 13

14 Felträdsanalys FTA verktyg använder bolsk algebra, binary decision diagrams, sannolikhetsteorier etc. för att beräkna resultat Input Sannolikhet för komponentfel (MTBF) Komponentotillgänglighet (inkluderar reservdelar, MTBR, etc) Sannolikhet för bashändelser Human error data Common cause failure data Tids och sekvensberoenden Output Sannolikhet för topphändelse Känslighetsanalys, Fussell-Vesely Importance, Risk Reduction Worth, Risk Achievment Worth, Birnbaum s Importance Measure Osäkerhetsanalys 14

FMEA. FMEA - historik FMEA. Fördelar med FMEA

FMEA. FMEA - historik FMEA. Fördelar med FMEA Failure Mode Effect Analysis Fel Effekt Analys (Svenska) - historik Snabb utveckling efter andra världskriget, tillförlitligheten hänger inte med - metoden utvecklas, 1950-talet Metoden används först inom

Läs mer

Risk som 2-dimensionellt begrepp

Risk som 2-dimensionellt begrepp Risk som 2-dimensionellt begrepp Sannolikheten för olycka (olycksfrekvens, likelihood) samt Konsekvensen av den inträffade olyckan Exempel: Riskreduktion Riskmatris Riskdiagram m i a kvalitativa p 2 parametrar

Läs mer

IE1205 Digital Design: F10: Synkrona tillståndsautomater del 2

IE1205 Digital Design: F10: Synkrona tillståndsautomater del 2 IE1205 Digital Design: F10: Synkrona tillståndsautomater del 2 Sekvensnät Om en och samma insignal kan ge upphov till olika utsignal, är logiknätet ett sekvensnät. Det måste då ha ett inre minne som gör

Läs mer

FMEA Failure Mode and Effect Analysis. Antti Salonen

FMEA Failure Mode and Effect Analysis. Antti Salonen FMEA Failure Mode and Effect Analysis Antti Salonen Vad är viktigt för produktionssystem som dessa? Vad är viktigt för produkter som dessa? Vad är FMEA?!ett formellt och systematiskt arbetssätt för att

Läs mer

Styrteknik: Grundläggande logiska funktioner D2:1

Styrteknik: Grundläggande logiska funktioner D2:1 Styrteknik: Grundläggande logiska funktioner D2:1 Digitala kursmoment D1 Boolesk algebra D2 Grundläggande logiska funktioner D3 Binära tal, talsystem och koder Styrteknik: Grundläggande logiska funktioner

Läs mer

Vad kan hända? Hur troligt är det? Hur stor blir skadan? Hur kan detta mätas? Hur hanteras osäkerheterna? Utbildning i riskanalyser Riskanalysmetoder

Vad kan hända? Hur troligt är det? Hur stor blir skadan? Hur kan detta mätas? Hur hanteras osäkerheterna? Utbildning i riskanalyser Riskanalysmetoder Utbildning i riskanalyser metoder Johan Lundin, WSP johan.lundin@wspgroup.se 2011-04-29 Riskhantering (IEC-modellen, ISO-standard) Hanteringsprocess Bestäm omfattning Identifiera risker Riskuppskattning

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 7: SAT-lösare Henrik Björklund Umeå universitet 29. september, 2014 SAT En instans av SAT är en mängd av mängder av literaler. Exempel: {{p, q, r}, {p, q, s},

Läs mer

Processinriktning i ISO 9001:2015

Processinriktning i ISO 9001:2015 Processinriktning i ISO 9001:2015 Syftet med detta dokument Syftet med detta dokument är att förklara processinriktning i ISO 9001:2015. Processinriktning kan tillämpas på alla organisationer och alla

Läs mer

Tentamen i. TDDC67 Funktionell programmering och Lisp

Tentamen i. TDDC67 Funktionell programmering och Lisp 1 Linköpings tekniska högskola Institutionen för datavetenskap Anders Haraldsson Tentamen i TDDC67 Funktionell programmering och Lisp och äldre kurser TDDC57 Programmering, Lisp och funktionell programmering

Läs mer

Ekonomiska konsekvensanalyser av komponenthaverier i kärnkraftverk

Ekonomiska konsekvensanalyser av komponenthaverier i kärnkraftverk UPTEC-STS07002 Examensarbete 20 p Februari 2007 Ekonomiska konsekvensanalyser av komponenthaverier i kärnkraftverk En metod för att systematiskt utvärdera och rangordna ekonomiska konsekvenser Christoffer

Läs mer

TDDI02. Programmeringsprojekt. Föreläsning 3 Jonas Lindgren, Institutionen för Datavetenskap, LiU

TDDI02. Programmeringsprojekt. Föreläsning 3 Jonas Lindgren, Institutionen för Datavetenskap, LiU TDDI02 Programmeringsprojekt. Föreläsning 3 Jonas Lindgren, Institutionen för Datavetenskap, LiU På denna föreläsning: Verifikation, Validering och Testning XP Extreme Programming Vad är ett fel? I engelskan

Läs mer

Statistik för Brandingenjörer. Laboration 3

Statistik för Brandingenjörer. Laboration 3 LUNDS UNIVERSITET 1(7) STATISTISKA INSTITUTIONEN Per-Erik Isberg/Lars Wahlgren Statistik för Brandingenjörer Laboration 3 Simulering - Brandsäkerhet VT 2012 2 Fire Safety Design Laborationens syfte är

Läs mer

... ...2 Introduktion... ... ... ... ... ... ... ...3 Fillet Success... ...7 Camera View Settings... ...8 Self Intersecting Sweeps...

... ...2 Introduktion... ... ... ... ... ... ... ...3 Fillet Success... ...7 Camera View Settings... ...8 Self Intersecting Sweeps... Innehåll Nyheter i Inventor 2014...2 Introduktion......2 CADCAM-it... 2 AUTODESK... 2 AUTODESK INVENTOR... 2 Sketch Design...3 Fillet Success...7 Camera View Settings...8 Self Intersecting Sweeps...9 Self

Läs mer

Relcon Scandpower AB. Box 1288 172 25 Sundbyberg. Relcon Scandpower. Presentation på SOLE seminariet Teleborgs slott 18-19 november 2008 Per Hellström

Relcon Scandpower AB. Box 1288 172 25 Sundbyberg. Relcon Scandpower. Presentation på SOLE seminariet Teleborgs slott 18-19 november 2008 Per Hellström Relcon Scandpower AB Box 1288 172 25 Sundbyberg Relcon Scandpower Presentation på SOLE seminariet Teleborgs slott 18-19 november 2008 Per Hellström Nuclear power in the world Source: IAEA PRIS Nuclear

Läs mer

Följddiagram för händelsestyrda rörelser

Följddiagram för händelsestyrda rörelser Följddiagram för händelsestyrda rörelser 2 STYROBJEKT UNIKA FASER Två arbetscylindrar ska röra sig i följande ordning. När man ger startkommando ska kolvstången i cylinder gå ut. När den har nått sitt

Läs mer

Systemsäkerhetsverksamhet

Systemsäkerhetsverksamhet 1 Systemsäkerhetsverksamhet Systemsäkerhet definieras som Egenskapen hos ett system att inte orsaka person-, egendoms-, eller miljöskada. Här ställs krav på den systemsäkerhetsverksamhet som leverantören

Läs mer

Exempeluppgift i Logikstyrning. 1 Inledning. 2 Insignaler och utsignaler

Exempeluppgift i Logikstyrning. 1 Inledning. 2 Insignaler och utsignaler Exempeluppgift i Logikstyrning Inledning Idén med detta papper är att ge en allmän beskrivning av labbutrustningen och tips för hur man kan lösa olika praktiska problem i samband med laborationen. Läs

Läs mer

Quine McCluskys algoritm

Quine McCluskys algoritm Quine McCluskys algoritm Tabellmetod för att systematiskt finna alla primimplikatorer ƒ(a,b,c,d) = m(4,5,6,8,9,0,3) + d(0,7,5) Moment : Finn alla primimplikatorer Steg: Fyll i alla mintermer i kolumn.

Läs mer

Övningshäfte 1: Logik och matematikens språk

Övningshäfte 1: Logik och matematikens språk GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter

Läs mer

IE1204/IE1205 Digital Design

IE1204/IE1205 Digital Design TENTAMEN IE1204/IE1205 Digital Design 2012-12-13, 09.00-13.00 Inga hjälpmedel är tillåtna! Hjälpmedel Tentamen består av tre delar med sammanlagd tolv uppgifter, och totalt 30 poäng. Del A1 (Analys) innehåller

Läs mer

7.1.1 Modulindelning. Delsystem: Pneumatiskt system. Elmotor för rotation. Axel. Lager. Chuck. Ram. Kylsystem. Sensorer

7.1.1 Modulindelning. Delsystem: Pneumatiskt system. Elmotor för rotation. Axel. Lager. Chuck. Ram. Kylsystem. Sensorer 7 Konstruera konceptet 7.1 Systemarkitektur En utförlig systemarkitektur har satts upp för att underlätta konstruktionen av produkten. Genom att omforma delsystemen till moduler fås en bättre översikt.

Läs mer

TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING

TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING Sid 1 (8) TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING Rubrik Beteckning Programmerbar elektronik med fast applikation Utgåva TBE 106:2-2 3 (S) Innehåll 1 INLEDNING...2 2 Definitioner...3 3 produktkrav...4

Läs mer

Med den här boken får du: Författaren:

Med den här boken får du: Författaren: Innehåll Kapitel Sida Inledning 5 1 Myndigheternas roll och inspektionsverksamhet 12 2 Kvalitetsarbete och kvalitetsledning 15 3 Organisationen och personal 19 4 Utveckling av medicintekniska produkter

Läs mer

REGELVERK & HANDBÖCKER

REGELVERK & HANDBÖCKER 1 (5) REGELVERK & HANDBÖCKER Innehåll sid. Uppdateringar/kompletteringar 2 Nyskrivning av rutiner 4 Gränsytan mellan systemsäkerhet och programvarusäkerhet 5 2 (5) Uppdateringar/kompletteringar Software

Läs mer

Skapa systemarkitektur

Skapa systemarkitektur GRUPP A1 Skapa systemarkitektur Rapport D7.1 Andreas Börjesson, Joakim Andersson, Johan Gustafsson, Marcus Gustafsson, Mikael Ahlstedt 2011-03-30 Denna rapport beskriver arbetet med steg 7.1 i projektkursen

Läs mer

Booleska variabler och översättning mellan programuttryck och booleska variabler

Booleska variabler och översättning mellan programuttryck och booleska variabler Vad är Boolesk algebra Lite förenklat kan man säga att Boolesk algebra är räkneregler konstruerade av den engelske matematikern Gerge Boole för att kunna räkna med logiska uttryck. I den booleska algebran

Läs mer

Fuzzy Logic: Den oskarpa skarpheten

Fuzzy Logic: Den oskarpa skarpheten Fuzzy Logic: Den oskarpa skarpheten Av: 1 Innehåll Inledning... 3 Vad är Fuzzy Logic?... 4 Fuzzy sets... 4 Medlemsskapsfunktion... 5 Operatorer... 7 Union... 7 Snitt... 8 Komplement... 8 Exempel med de

Läs mer

Föreläsning 11 Tisdag 6/6 2000

Föreläsning 11 Tisdag 6/6 2000 2EMHNWRULHQWHUDG5HDOWLGVSURJUDPPHULQJ Föreläsning 11 Tisdag 6/6 2000 OCTOPUS en kort repetition Farthållare previous next OCTOPUS Kravspec Vi konstruerar bla användningsfall Användningsfallsdiagram Systemarkitektur

Läs mer

Samordnad riskanalys - en grund för uppfyllande av 7. Brandfarlig vara- konferensen 2015 Johan Ingvarson

Samordnad riskanalys - en grund för uppfyllande av 7. Brandfarlig vara- konferensen 2015 Johan Ingvarson Samordnad riskanalys - en grund för uppfyllande av 7 Brandfarlig vara- konferensen 2015 Johan Ingvarson Riskanalys utmaningar i prakcken 2 LBE 7 : Cllfredsställande utredning om riskerna för olyckor och

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 6: Binära beslutsdiagram (BDD) Henrik Björklund Umeå universitet 22. september, 2014 Binära beslutsdiagram Binära beslutsdiagram (Binary decision diagrams, BDDs)

Läs mer

Introduktion till logik

Introduktion till logik Introduktion till logik Av Johan Johansson Johan.johansson@guldstadsgymnasiet.se Logik sägs som många andra saker komma från de grekiska filosoferna, och ordet kommer också därifrån. Grekerna kallade det

Läs mer

Projektkaos. Chaos-rapporten. 34% av projekten avslutades i tid och enligt budget... ... 66% misslyckades!

Projektkaos. Chaos-rapporten. 34% av projekten avslutades i tid och enligt budget... ... 66% misslyckades! Projektkaos. Chaos-rapporten 34% av projekten avslutades i tid och enligt budget...... 66% misslyckades! 1 Standish Group, 2003 (www.standishgroup.com) Praxis Hantera krav Använd komponentarkitekturer

Läs mer

Föreläsning 3. Programmering, C och programmeringsmiljö

Föreläsning 3. Programmering, C och programmeringsmiljö Föreläsning 3 Programmering, C och programmeringsmiljö Vad är programmering? Ett väldigt kraftfullt, effektivt och roligt sätt att kommunicera med en dator Att skapa program / applikationer till en dator

Läs mer

Hur implementera algoritmerna på maskinnivå - datorns byggstenar

Hur implementera algoritmerna på maskinnivå - datorns byggstenar Hur implementera algoritmerna på maskinnivå - datorns byggstenar Binära tal Boolesk logik grindar och kretsar A A extern representation intern representation minnet i datorn extern representation 1000001

Läs mer

Frågor att ställa om IK

Frågor att ställa om IK Frågor att ställa om IK Hur fungerar den? Vad grundas svaret på? Varför fungerar den? Är kontrollen effektiv? Används kontrollresurserna rätt? Vem styr prioriteringarna? Var finns de största riskerna?

Läs mer

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental. Lunds tekniska högskola Datavetenskap Lennart ndersson Föreläsningsanteckningar EDF10 4 Mängder 4.1 Motivering Mängden är den mest grundläggande diskreta strukturen. Nästan alla matematiska begrepp går

Läs mer

Logik. Boolesk algebra. Logik. Operationer. Boolesk algebra

Logik. Boolesk algebra. Logik. Operationer. Boolesk algebra Logik F4 Logik Boolesk algebra EDAA05 Roger Henriksson Jonas Wisbrant Konsten att, och vetenskapen om, att resonera och dra slutsatser. Vad behövs för att man ska kunna dra en slutsats? Hur kan man dra

Läs mer

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element. Grunder i matematik och logik (2017) Mängdlära Marco Kuhlmann 1 Grundläggande begrepp Mängder och element 2.01 En mängd är en samling objekt. Två standardexempel är mängden av naturliga tal (N) och mängden

Läs mer

Linjärt minne. Sammanhängande minne är ej flexibelt. Effektivt

Linjärt minne. Sammanhängande minne är ej flexibelt. Effektivt Binära träd (forts) Ett binärt träd kan lagras i ett enda sammanhängande minne Roten har index 1 Vänster barn till nod i har index 2*i Höger barn till nod i har index 2*i + 1 Föräldern till nod i har index

Läs mer

Tool for Risk Evaluation

Tool for Risk Evaluation Mälardalens Högskola Institutionen för Innovation, Design och Teknik Västerås, Sverige Tool for Risk Evaluation Rebin Amin Examensarbete i Flygteknik 15hp Examinator: Kristina Lundqvist Mälardalens Högskola,

Läs mer

TSIU05 Digitalteknik. LAB1 Kombinatorik LAB2 Sekvensnät LAB3 System

TSIU05 Digitalteknik. LAB1 Kombinatorik LAB2 Sekvensnät LAB3 System 1 TSIU05 Digitalteknik LAB1 Kombinatorik LAB2 Sekvensnät LAB3 System Sammanställning september 2013 Läs detta först Läs igenom hela laborationen så du vet vad du skall göra på laborationspasset. Hela

Läs mer

Sekvensnät Som Du kommer ihåg

Sekvensnät Som Du kommer ihåg Sekvensnät Som Du kommer ihåg Designmetodik Grundläggande designmetodik för tillståndsmaskiner. 1. Analysera specifikationen för kretsen 2. Skapa tillståndsdiagram 3. Ställ upp tillståndstabellen 4. Minimera

Läs mer

Configuration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar

Configuration 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 mer

Tenta i Digitalteknik

Tenta i Digitalteknik Tenta i Digitalteknik Kurskod D0011E Tentamensdatum 2010-08-27 Skrivtid 9.00-14.00 Maximalt resultat 50 poäng Godkänt resultat 25 poäng inkl bonus Jourhavande lärare Per Lindgren Tel 070 376 8150 Tillåtna

Läs mer

Statistik för Brandingenjörer. Laboration 4

Statistik för Brandingenjörer. Laboration 4 LUNDS UNIVERSITET 1(6) STATISTISKA INSTITUTIONEN Per-Erik Isberg/Lars Wahlgren Statistik för Brandingenjörer Laboration 4 Simulering - Brandsäkerhet II - @Risk VT 2012 2 Fire Safety Design Laborationens

Läs mer

2015-03-21 Charlotta Törneling. Abstract reasoning. Urvalsförfarande 2015 Handläggare (generalister) och revisorer

2015-03-21 Charlotta Törneling. Abstract reasoning. Urvalsförfarande 2015 Handläggare (generalister) och revisorer 2015-03-21 Charlotta Törneling Abstract reasoning Urvalsförfarande 2015 Handläggare (generalister) och revisorer Logiskt tänkande Test för objektiv bedömning av din förmåga att se och förstå samband mellan

Läs mer

BAS STRÖMFÖRSÖRJNING Slingövervakningsmodul-EXT/Kretskort

BAS STRÖMFÖRSÖRJNING Slingövervakningsmodul-EXT/Kretskort BAS STRÖMFÖRSÖRJNING Slingövervakningsmodul-EXT/Kretskort FUNKTION / PRESTANDA Monteringsalternativ: Slingövervakningsmodulen kan anslutas till alla 24Vdc strömförsörjningsenheter. I vissa modeller av

Läs mer

Formella metoder. Loop-program som statetransformers. Betrakta följande problem. specifikationen.

Formella metoder. Loop-program som statetransformers. Betrakta följande problem. specifikationen. 8Att bevisa egenskaper om program Formella metoder... 1 Loop-program som statetransformers... 1 Några exempel... 2 Partiell korrekthet och total korrekthet... 3 Programspecifikation... 3 Hoarelogik och

Läs mer

Lathund för att hantera kongresshandlingar. Dator PC och Mac

Lathund för att hantera kongresshandlingar. Dator PC och Mac Lathund för att hantera kongresshandlingar Dator PC och Mac Inför och under kongressen 2015 förekommer handlingarna enbart i digital form, närmare bestämt i PDF-format. I denna lathund får du som använder

Läs mer

Mjukvarudesign. Designprocessen. Teknisk design. Konceptuell design

Mjukvarudesign. Designprocessen. Teknisk design. Konceptuell design RE SD PD I UT IT ST AT Mjukvarudesign System Requirement Specification Inkrementell och iterativ! Konceptuell design (VAD) Systemdesign (OOA) Arkitekturell (grovkornig, UML) Teknisk design (HUR) Programdesign

Läs mer

Logik och kontrollstrukturer

Logik och kontrollstrukturer Logik och kontrollstrukturer Flödet av instruktioner i ett programmeringsspråk bygger vi upp med hjälp av dess kontrollstrukturer. I C har vi exemplen if, if else, while, do while. Dessutom finns switch

Läs mer

LUNDS TEKNISKA HÖGSKOLA. Tentamen i Processriskanalys Tidpunkt: Fredagen den 10 mars 2009, kl Lokal: MA 9 A och B BESKRIVNING AV TENTAMEN

LUNDS TEKNISKA HÖGSKOLA. Tentamen i Processriskanalys Tidpunkt: Fredagen den 10 mars 2009, kl Lokal: MA 9 A och B BESKRIVNING AV TENTAMEN LUNDS TEKNISKA HÖGSKOLA Tentamen i Processriskanalys Tidpunkt: Fredagen den 10 mars 2009, kl 14 00 19 00 Lokal: MA 9 A och B BESKRIVNING AV TENTAMEN Tentamen består av två delar. Del 1 består av två uppgifter

Läs mer

Elektronik grundkurs Laboration 6: Logikkretsar

Elektronik grundkurs Laboration 6: Logikkretsar Elektronik grundkurs Laboration 6: Logikkretsar Förberedelseuppgifter: 1. Förklara vad som menas med logiskt sving. 2. Förklara vad som menas med störmarginal. 3. Förklara vad som menas med stegfördröjning.

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Modellprövning och NuSMV Jonas Hägglund Department of mathematics Umeå university Våren 2010 Jonas Hägglund (Umeå university) Grundläggande logik och modellteori VT

Läs mer

TNK049 Optimeringslära

TNK049 Optimeringslära TNK49 Optimeringslära Clas Rydergren, ITN Föreläsning 7 Nätverksoptimering Billigaste uppspännande träd (MST) Billigaste väg (SP) Projektnätverk Minkostnadsflödesproblem Agenda Terminologi för grafer/nätverk

Läs mer

VECTUS PRT Automatbaneprosjekt Korea

VECTUS PRT Automatbaneprosjekt Korea VECTUS PRT Automatbaneprosjekt Korea Svante Lennartsson, konsult inom transportsäkerhet på Lloyd s Register Consulting Working together for a safer world Personal Rapid Transit (PRT) Även kallat Spårtaxi

Läs mer

Lösningar Datastrukturer TDA

Lösningar Datastrukturer TDA Lösningar Datastrukturer TDA416 2016 12 21 roblem 1. roblem 2. a) Falskt. Urvalssortering gör alltid samma mängd av jobb. b) Sant. Genom att ha en referens till sista och första elementet, kan man nå både

Läs mer

TDDI16 Datastrukturer och algoritmer. Prioritetsköer, heapar, Union/Find

TDDI16 Datastrukturer och algoritmer. Prioritetsköer, heapar, Union/Find TDDI16 Datastrukturer och algoritmer Prioritetsköer, heapar, Union/Find Prioritetsköer En vanligt förekommande situation: Väntelista (jobbhantering på skrivare, simulering av händelser) Om en resurs blir

Läs mer

Tenta i Digitalteknik

Tenta i Digitalteknik Tenta i Digitalteknik Kurskod D0011E Tentamensdatum 2008-08-29 Skrivtid 9.00-13.00 Maximalt resultat 50 poäng Godkänt resultat 25 poäng inkl bonus Jourhavande lärare Johan Eriksson Tel 070 589 7911 Tillåtna

Läs mer

Riskbaserat tänkande i ISO 9001:2015

Riskbaserat tänkande i ISO 9001:2015 Riskbaserat tänkande i ISO 9001:2015 Syftet med detta dokument är att förklara riskbaserat tänkande i ISO 9001 bemöta uppfattningar om och oro för att riskbaserat tänkande ersätter processinriktning bemöta

Läs mer

Testning på 3 föreläsningar. PV7180 Verifiering och Validering. Litteratur. Vad är testning? Varför testa och olika syn? Målet med testning

Testning 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 mer

Laboration D181. ELEKTRONIK Digitalteknik. Kombinatoriska kretsar, HCMOS. 2008-01-24 v 2.1

Laboration D181. ELEKTRONIK Digitalteknik. Kombinatoriska kretsar, HCMOS. 2008-01-24 v 2.1 UMEÅ UNIVERSITET Tillämpad fysik och elektronik Digitalteknik Christer Ardlin/Lars Wållberg/ Dan Weinehall/Håkan Joëlson 2008-01-24 v 2.1 ELEKTRONIK Digitalteknik Laboration D181 Kombinatoriska kretsar,

Läs mer

CS - Computer science. Datateknik Informationsbehandling Datalogi Datavetenskap (ÅA 2008)

CS - Computer science. Datateknik Informationsbehandling Datalogi Datavetenskap (ÅA 2008) CS - Computer science Datateknik Informationsbehandling Datalogi Datavetenskap (ÅA 2008) Vad datateknik INTE är: Att studera datorer Att studera hur man skriver datorprogram Att studera hur man använder

Läs mer

Digital Aritmetik Unsigned Integers Signed Integers"

Digital Aritmetik Unsigned Integers Signed Integers Digital Aritmetik Unsigned Integers Signed Integers" Slides! Per Lindgren! EISLAB! Per.Lindgren@ltu.se! Original Slides! Ingo Sander! KTH/ICT/ES! ingo@kth.se! Talrepresentationer" Ett tal kan representeras

Läs mer

Mintermer. SP-form med tre mintermer. William Sandqvist

Mintermer. SP-form med tre mintermer. William Sandqvist Mintermer OR f 2 3 En minterm är en produktterm som innehåller alla variabler och som anger den kombination av :or och :or som tillsammans gör att termen antar värdet. SP-form med tre mintermer. f = m

Läs mer

Säkerhetsstandarder: Säkerhetsinriktning

Säkerhetsstandarder: Säkerhetsinriktning Säkerhetsstandarder: Säkerhetsinriktning Säkerhetsinriktningen varierar mellan olika standarder: Systemsäkerhet kan avse... Person DEF(AUST)5679, ISO/IEC 61508, DS 00-55/00-56 (utgåva 2) Person-Egendom-Miljö

Läs mer

SMD033 Digitalteknik. Digitalteknik F1 bild 1

SMD033 Digitalteknik. Digitalteknik F1 bild 1 SMD033 Digitalteknik Digitalteknik F1 bild 1 Vi som undervisar Anders Hansson A3209 91 230 aha@sm.luth.se Digitalteknik F1 bild 2 Registrering Registrering via email till diglabs@luth.se Digitalteknik

Läs mer

TAOP61 Projekt 2. Kaj Holmberg (LiU) TAOP61 Optimering 28 oktober / 14

TAOP61 Projekt 2. Kaj Holmberg (LiU) TAOP61 Optimering 28 oktober / 14 TAOP61 Projekt 2 Kaj Holmberg (LiU) TAOP61 Optimering 28 oktober 2016 1 / 14 TAOP61 Projekt 2 Optimering av elmotorutnyttjandet i en laddhybrid med hjälp av dynamisk programmering. Kaj Holmberg (LiU) TAOP61

Läs mer

729G11 Artificiell Intelligens Marcus Johansson Marjo581. Fuzzy logic. Marcus Johansson Marjo581

729G11 Artificiell Intelligens Marcus Johansson Marjo581. Fuzzy logic. Marcus Johansson Marjo581 Fuzzy logic 880328-2535 Innehåll Fuzzy logic... 1 1. Inledning... 4 2. Jämförelse mellan fuzzy logic och tvåvärdeslogik.... 4 3. Fuzzy sets.... 4 4. Linvistiska variabler... 5 5. Operatorer... 5 6. If-

Läs mer

Tepz klon. - Projektrapport. Linnéuniversitetet, Individuellt mjukvaruutvecklingsprojekt Janina Bergström, WP12 Distans

Tepz klon. - Projektrapport. Linnéuniversitetet, Individuellt mjukvaruutvecklingsprojekt Janina Bergström, WP12 Distans Tepz klon - Projektrapport Janina Bergström jb222qp WP12 Distans 8/6-2013 Linnéuniversitetet, Individuellt mjukvaruutvecklingsprojekt 1 Abstrakt Denna rapport handlar om min klon av det existerande spelet

Läs mer

LABORATIONSINSTRUKTION

LABORATIONSINSTRUKTION Högskolan Dalarna Elektroteknik LABORATION LABORATIONSINSTRUKTION Trafikljus med SFC-programmering KURS El- och styrteknik för tekniker ET1015 INNEHÅLL LAB NR PLC 5 Ver 1.0 1. Inledning 2. Laborationskortet

Läs mer

SIS HB 333 Processer

SIS HB 333 Processer SIS HB 333 Processer effektivisera och förbättra din verksamhet 1 2010 SIS Förlag AB SIS HB 333, Processer effektivisera och förbättra din verksamhet Författare Gerhard Persson Redaktör Joachim Bowin ISBN

Läs mer

Digital elektronik CL0090

Digital elektronik CL0090 Digital elektronik CL0090 Föreläsning 2 2007-0-25 08.5 2.00 Naos De logiska unktionerna implementeras i grindar. Här visas de vanligaste. Svenska IEC standard SS IEC 87-2 Amerikanska ANSI/IEEE Std.9.984

Läs mer

Riskanalysmetoder. Fredrik Nystedt. Department of Fire Safety Engineering Lund University, Sweden

Riskanalysmetoder. Fredrik Nystedt. Department of Fire Safety Engineering Lund University, Sweden Riskanalysmetoder Fredrik Nystedt Department of Fire Safety Engineering Lund University, Sweden Brandteknik Lunds tekniska högskola Lunds universitet Rapport 7011, Lund 2000 Förord Kompendiet utgör den

Läs mer

Del I Denna del består av 8 uppgifter och är avsedd att genomföras utan miniräknare.

Del I Denna del består av 8 uppgifter och är avsedd att genomföras utan miniräknare. Del I Denna del består av 8 uppgifter och är avsedd att genomföras utan miniräknare. Dina lösningar på denna del görs på separat papper som ska lämnas in innan du får tillgång till din miniräknare. Observera

Läs mer

Kortlaboration DIK. Digitalteknik, kombinatorik.

Kortlaboration DIK. Digitalteknik, kombinatorik. MMK, KTH Kortlaborationer 1 Kortlaboration DIK Digitalteknik, kombinatorik. I denna laboration bekantar vi oss med datorprogrammet LabVIEW. Programmet har blivit något av en industristandard för att automatisera

Läs mer

Hjälpmedel: Inga hjälpmedel förutom penna, suddgummi och glatt humör.

Hjälpmedel: Inga hjälpmedel förutom penna, suddgummi och glatt humör. Tentamen Inst. för Informationsteknologi Avdelningen för Datorteknik Herbert P Sander Tel: 070 376 06 87 Ämne: Operativsystem Lokal: Post Scriptum, sal 2 Datum: Måndagen den 13 maj 2002 Tid: Kl 09.00-14.00

Läs mer

Översikt. TSFS06 Diagnos och övervakning Föreläsning 9 - Multipelfelisolering med metoder från Artificell Intelligens.

Översikt. TSFS06 Diagnos och övervakning Föreläsning 9 - Multipelfelisolering med metoder från Artificell Intelligens. Översikt TSFS06 Diagnos och övervakning Föreläsning 9 - Multipelfelisolering med metoder från Artificell Intelligens Erik Frisk Institutionen för systemteknik Linköpings universitet frisk@isy.liu.se 2015-05-06

Läs mer

Funktionella beroenden - teori

Funktionella beroenden - teori Relationell databasdesign, FB Teori 7-12 Funktionella beroenden - teori Vid utformning av databassystem är det av största vikt att man kan resonera systematiskt om funktionella beroenden bl.a. för att

Läs mer

campus.borlänge Förstudie - Beslutsstöd för operativ tågtrafikstyrning

campus.borlänge Förstudie - Beslutsstöd för operativ tågtrafikstyrning campus.borlänge Förstudie - Beslutsstöd för operativ tågtrafikstyrning En rapport från CATD-projektet, januari-2001 1 2 Förstudie Beslutsstöd för operativ tågtrafikstyrning Bakgrund Bland de grundläggande

Läs mer

IE1205 Digital Design: F4 : Karnaugh-diagrammet, två- och fler-nivå minimering

IE1205 Digital Design: F4 : Karnaugh-diagrammet, två- och fler-nivå minimering IE25 Digital Design: F4 : Karnaugh-diagrammet, två- och fler-nivå minimering Mintermer 2 3 OR f En minterm är en produktterm som innehåller alla variabler och som anger den kombination av :or och :or som

Läs mer

Bruksanvisning. Bruksanvisning. Käyttöohje FIN. Brugsanvisning. User Manual. Gebruikershandleiding. DEFA SilentAlarm

Bruksanvisning. Bruksanvisning. Käyttöohje FIN. Brugsanvisning. User Manual. Gebruikershandleiding. DEFA SilentAlarm N S FIN DK GB NL Bruksanvisning Bruksanvisning Käyttöohje Brugsanvisning User Manual Gebruikershandleiding DEFA SilentAlarm INNEHÅLL Komma igång s. 11 SMS meddelanden s. 11 Kanaler s. 13 Beställa larmmeddelanden

Läs mer

Programvara i säkerhetskritiska tillämpningar

Programvara i säkerhetskritiska tillämpningar Programvara i säkerhetskritiska tillämpningar Programvara får inte bidra till att person, egendom eller miljö skadas 2003-09-02 1 Systemsäkerhetsprocessen vid försvarsmakten materielupphandling beskrivs

Läs mer

Algoritmer och Komplexitet ht 08. Övning 5. Flöden. Reduktioner. Förändrat flöde

Algoritmer och Komplexitet ht 08. Övning 5. Flöden. Reduktioner. Förändrat flöde Algoritmer och Komplexitet ht 08. Övning 5 Flöden. Reduktioner Förändrat flöde a) Beskriv en effektiv algoritm som hittar ett nytt maximalt flöde om kapaciteten längs en viss kant ökar med en enhet. Algoritmens

Läs mer

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1. UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1

Läs mer

Föreläsning 5: Grafer Del 1

Föreläsning 5: Grafer Del 1 2D1458, Problemlösning och programmering under press Föreläsning 5: Grafer Del 1 Datum: 2006-10-02 Skribent(er): Henrik Sjögren, Patrik Glas Föreläsare: Gunnar Kreitz Den här föreläsningen var den första

Läs mer

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},

Läs mer

UTVÄRDERING AV NYA METODER FÖR ATT FINNA OCH VÄRDERA RISKER I ETT SYSTEM

UTVÄRDERING AV NYA METODER FÖR ATT FINNA OCH VÄRDERA RISKER I ETT SYSTEM Maskinteknik C, Examensarbete, 15 högskolepoäng UTVÄRDERING AV NYA METODER FÖR ATT FINNA OCH VÄRDERA RISKER I ETT SYSTEM Erik Norén, Niklas Lindqvist Maskiningenjörsprogrammet, 180 högskolepoäng Örebro

Läs mer

Lektion 8: Konstruktion av semantiska tablåer för PTL-formler

Lektion 8: Konstruktion av semantiska tablåer för PTL-formler Lektion 8: Konstruktion av semantiska tablåer för PTL-formler Till denna lektion hör uppgift 2, 6 och 0 i lärobokens avsnitt.6 (sid. 255). Lös uppgift 2 genom att konstruera en semantisk tablå. Följande

Läs mer

Vilka risker finns det med framtidens energieffektiva byggnader?

Vilka risker finns det med framtidens energieffektiva byggnader? Vilka risker finns det med framtidens energieffektiva byggnader? - en analys av passivhusetkonceptets robusthet Joel Wollberg Department of Fire Safety Engineering and Systems Safety Lund University, Sweden

Läs mer

Funktioner, Algebra och Ekvationer År 9

Funktioner, Algebra och Ekvationer År 9 Undervisning Funktioner, Algebra och Ekvationer År 9 Mål att uppnå i år 9, ur Lpo 94 Utvecklar intresse för matematik samt tilltro till det egna tänkandet och den egna förmågan att lära sig matematik och

Läs mer

Anledning: Generellt så undviker QUPER att göra fullständiga förutsägelser för relationerna mellan ett systems fördelar, kostnad och kvalitet.

Anledning: Generellt så undviker QUPER att göra fullständiga förutsägelser för relationerna mellan ett systems fördelar, kostnad och kvalitet. Fråga 1. QUPER Påstående: QUPER är en modell för att elicitera krav Anledning: Generellt så undviker QUPER att göra fullständiga förutsägelser för relationerna mellan ett systems fördelar, kostnad och

Läs mer

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter Johan Thim 15 augusti 2015 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför

Läs mer

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4 Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa

Läs mer

Föreläsning 10. Grafer, Dijkstra och Prim

Föreläsning 10. Grafer, Dijkstra och Prim Föreläsning 10 Grafer, Dijkstra och Prim Föreläsning 10 Grafer Representation av grafer Dijkstras algoritm Implementation av Dijkstras algoritm Minimium spanning tree Broarna i Königsberg, Euler, 17 Grafer

Läs mer

Förutsättningar och aspekter vid utvärdering av valideringar vid kontrollrumsförändringar

Förutsättningar och aspekter vid utvärdering av valideringar vid kontrollrumsförändringar Förutsättningar och aspekter vid utvärdering av valideringar vid kontrollrumsförändringar Björn JE Johansson Per-Anders Oskarsson Natalia Gonzalez Bakgrund - Syfte Stödja SSM avseende metodutveckling för

Läs mer

Kvalitetssäkring och Validering Molekylära Metoder. Susanna Falklind Jerkérus Sektionen för Molekylär Diagnostik Karolinska Universitetslaboratoriet

Kvalitetssäkring och Validering Molekylära Metoder. Susanna Falklind Jerkérus Sektionen för Molekylär Diagnostik Karolinska Universitetslaboratoriet Kvalitetssäkring och Validering Molekylära Metoder Susanna Falklind Jerkérus Sektionen för Molekylär Diagnostik Karolinska Universitetslaboratoriet Vem/Vad styr oss? 98/79/EG - IVD direktivet Lagen (1993:584)

Läs mer

Universe Engine Rapport

Universe Engine Rapport 1 Universe Engine Rapport Alexander Mennborg 2017-05-08 2 Inledning I denna rapport diskuteras utvecklingsprocessen till projektet Universe Engine. Denna diskussion omfattar hela utveckling från starten

Läs mer

Chaos om IT-projekt..

Chaos om IT-projekt.. Användarcentrerad systemutveckling, gränssnitt och prototyper. Lämplig extraläsning Gulliksen, Göransson: Användarcentrerad systemdesign, Studentlitteratur, kapitel: 4, 5, 6, 7, 8, 9 (Bredvidläsning) Syfte

Läs mer

Ladderprogrammering steg för steg

Ladderprogrammering steg för steg Ladderprogrammering steg för steg En introduktion till LD-programmering för kursen MIE 012 Elektroteknikens Grunder vid LTH. Gunnar Lindstedt Introduktion Den dominerande typen av styrsystem för binära

Läs mer