Felträdsanalys FTA. SESAM-gruppen i programvarusäkerhet Mikroprojekt Säkanalysmetoder FTA på Ejection system
|
|
- Ann Fransson
- för 5 år sedan
- Visningar:
Transkript
1 Felträdsanalys FTA SESAM-gruppen i programvarusäkerhet Mikroprojekt Säkanalysmetoder FTA på Ejection system Peter Nummert 1
2 FTA Fault Tree Analysis 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 FTA 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. Källa: H ProgSäk
4 Arbetsgång Identifiera felträdsanalysens syfte och mål Bestäm topphändelse att analysera Fastlägg omfattningen av analysen, gränserna för analysobjektet Bestäm regler för analysen (detaljeringsnivå, stoppkriterier, 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 tidigt genom att eliminera noder med mycket låg sannolikhet (exempelvis som resultat av många OCH-villkor) Iterera tills resultatet blir tillfredsställande Värdera och validera felträdet Behövs fler iterationer? Tolka och presentera resultatet 4
5 Cut Sets - Hindermängd Cut Set : mängden av alla de bashändelser som krävs, för att en topphändelse skall inträffa. Minimal Cut Set : 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) Cut Set analysen är ett måste i stora felträd och visar på samband som är svåra att se på andra sätt Verktyg på marknaden har denna funktion 5
6 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 6
7 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) 7
8 FTA-verktyg FTA-verktyg använder boolsk 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 Riskspectrum Output Sannolikhet för topphändelse Känslighetsanalys, Fussell-Vesely Importance, Risk Reduction Worth, Risk Achievement Worth, Birnbaum s Importance Measure Osäkerhetsanalys 8
9 FTA - SW Programfel i funktioner, moduler, etc. läggs in som händelser i felträdet tillsammans med hårdvaruhändelser Felfrekvenser på SW kan inte anges annat än som 0 eller 1 Gemensamma felorsaker kan anges 9
10 FTA SW Designhjälpmedel för programvara Felträdsanalys kan användas för att visa att programvaran INTE genererar otillåtna resultat I kontrast till verifiering som syftar till att visa att programvaran genererar förväntat resultat För robusta programvarusystem kan FTA peka ut kritiska programvarudelar och därmed användas för att reducera mängden kostsamt arbete. Omdesign kan reducera mängden kritisk programvara och därmed leda till Minskat arbete i o m färre kritiska delar, som fordrar en högre grad av stringens i termer av formell analys, test, felhantering, redundanta funktioner etc 10
11 FTA på Ejection System Input Riskkällelista från tidigare systemsäkerhetsanalyser Detaljerade designbeskrivningar över aktuellt system Output Logiska felträd för alla vådahändelser och systemtillstånd/-konfigurationer Riskreducerande ändringsförslag 11
12 FTA Input Utdrag ur riskkällelista Riskkälla (ard): System- Konsekvens (Effekt/Olycksutfall) Bidragande faktorer Kommentar (Åtgärder) Status Nr Olycksorsak (P h ) del mod Värsta / Samtliga möjliga Värsta troliga 19 Låssprint ej i vid UH - Uh Personförlust * (P e =0,1) sannolikhet för utlösning 3 Otydlig procedur/ instruktion. En oavsiktlig utlösning förhindras ej av låssprinten 20 Låssprint kvar vid -flygn:utskjutn ej möjlig Alla Uh Personförlust 1 Enligt förutsättningarna fungerar inte utskjutningssystemet så ger det effekten personförlust. 21 Utskjutn hög höjd: -låg temp Flygn Pilot förfryser 1 22 Utskjutn hög höjd: -tryckskillnad Flygn Pilot medvetslös Utskjutn hög höjd+ -lång tid på hög höjd Flygn Syrebrist 1 Syrgas bort vid stolseparering fr pilot. 24 Utskjutn hög höjd+ -syreslang rycks ur Flygn Syrebrist 1 Syrgas bort vid stolseparering fr pilot. 25 Utskjutn hög höjd + -över berg Flygn Personförlust pga skärm ej ut 1 26 Fartvind: Utskjutn i -hög fart Flygn Personförlust 1 Bara ryska stolar klarar farter > Mach Oavsiktlig -utskjutning Alla Personförlust vid Uh 1 Öppe n 28 Krutladdningar i -stol Alla a (undergrupp till -13) Stäng d 29 Stolen har ingen - markhöjd Övervak n /styrn stol Alla Uh Personförlust HAZOP-1 i HAZOP-tabell 14910:31524/
13 FTA Input: Beskrivning av räddningssystem flygplan Felaktiga data: position, hastighet, vinklar audio Filnamn: FMV:KCFlygsystem/KEFlygA (C) FMV 2006 utg 2, Björn Koberstein GPS/ tröghetsnavigering Navigation visuellt Varning position över mark fart, höjd, vinkel mot mark, rollvinkel, rollhastighet, vindhastighet Terrängdatabas Terrängdata Beräkningsenhet i stolen Varning till piloten Signal till styrsystemet att styra undan från hinder Styrautomat Felaktighet: lyckas ej styra undan från hinder Felaktiga data: felaktiga terränghöjder felaktiga hinder Tidsberäkning 1) Tid att varna piloten för markhinder, piloten ska hinna reagera 2) Tid för piloten att styra flygplanet bort från hindret 3) Tid för flygplanets styrsystem att styra bort från hindret 4) Tid att hinna skjuta ut flygföraren automatiskt Skjut ut piloten automatiskt. Signal från programvaran Felaktiga data: felaktiga tider se sid FTA HAZ-27 13
14 FTA Resultat 1 SW se röd ruta Oavsiktlig utskjutning vid systemmod Underhåll (Uh) -27 Felaktig utskjutningsprocess & Felaktig kruttändning & Batteri monterat i stolen Elsäkringsvred osäkrat i kabin 10-2 Utskjutn. aktiverad Mekanisk låspinne EJ monterad 10-2 Spontan kruttändning Manuellt osäkrad Trasig Manuell utskjutning aktiverad Automatisk utskjutning aktiverad & Utskjutningshandtag aktiverad Utskjutningshandtag felar i aktivt läge Hårdvarufel Mellan 0 och 1 Signal från sidan 2 Programvarufel Fel på microswitch "Flygplanet i luften" (microswitch på landställ) Förhindra oavsiktlig aktivering av raketstol på marken 14
15 FTA Resultat 2: Programvara (en första variant) Programvarufel & BE har mod EJ UH BE ger felaktig utskjutningssignal BE = Beräkningsenhet UH = Underhåll T4 = tid till automatisk utskjutning BE i Sim-mod BE i skarp mod Fei i algoritm i BE, så tid T4 uppnådd BE får felaktiga indata så T4 = sant Felaktig hastighet Felaktigt avstånd Felaktig acceleration 15
16 FTA Resultat 3: Programvara (en andra variant) Programvarufel & Felaktig utskjutning Fel i BE-algoritm Fel i indata till BE Felaktiga terrängdata till BE Felaktiga NAV-data till BE Fel i terrängdatabas Fel i Position över marken Felaktig NAVberäkning BE = Beräkningsenhet TN = Tröghetsnavigering (Lasergyron) Felaktiga indata till NAV Felaktiga data från GPS / TN 16
17 FTA för programvara Sammanfattning + Utvärdering av programvarans bidrag till topphändelsen + Identifiering av de mest kritiska programdelarna och programfunktionerna + Indikation på var/hur risklindring kan åstadkommas 17
Felträdsanalys FTA
Felträdsanalys FTA 1 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
Läs merEjection system, Konceptuell design
Ejection system, Konceptuell design utg 4,0 2006-04-10 Krutladdning Huvsprängning Frontruta Ansiktsskydd Canopybreakers Låssprint Vridomkopplare i kabinen Säkrad Osäkrad Indragning Armar + ben Livflotte,
Läs merEjection system, Konceptuell design
Ejection system, Konceptuell design Huvsprängning Frontruta Ansiktsskydd Canopybreakers Låssprint Vridomkopplare i kabinen Säkrad Osäkrad Fallskärm Höjdmätare Syrgas Utskjutningshandtag Säkerhetsbälte
Läs merProgramvara FMECA? Saab Group Presentation
Programvara A? Saab Group Presentation Ingemar Johansson ILS and Logistic Solutions Section Grouns Support and Services Division Arboga 2007-01-24 FMEA/A FMEA: A: Failure Mode and Effects Analysis (Felmod-/feleffektanalys)
Läs merRisk 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 merREGELVERK & 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 merFMEA. 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 merSä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 merPresentation av H ProgSäk 2018
Presentation av H ProgSäk 2018 Lars Lange lars.lange@fmv.se Handböcker 2 H ProgSäk 2001 2005-2018 3 Bakgrund Inga-Lill Bratteby-Ribbing (Strategisk specialist) Svensk utgåva 2001 (Grundutgåva) Engelsk
Läs merSkapa 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 merConventional Cruise control / Adaptive Cruise Control
Conventional Cruise control / Description Conventional Cruise Control (Farthållare) Ett system i bilen som håller den inställda hastigheten på bilen oberoende av om bilen går i uppförsbacke, nedförsbacke
Läs merQuine 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 merFMEA 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 merSystemsä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 merLeica mojo3d start första gången
Leica mojo3d start första gången Generellt Denna instruktion visar hur du kommer igång med Leica mojo3d första gången. För mer detaljerade instruktioner se Leica mojo3d användarmanual. Beroende på version
Läs merFönsterbeteende. Mike McBride Jost Schenck Översättare: Stefan Asserhäll
Mike McBride Jost Schenck Översättare: Stefan Asserhäll 2 Innehåll 1 Fönsterbeteende 4 1.1 Fokus............................................. 4 1.1.1 Fokuspolicy..................................... 4
Läs merSESAM Försvarssektors användargrupp för Sofware Engineering
programvara sid 1(12) SESAM-gruppen i Programvarusäkerhet har studerat ett antal systemsäkerhetsanalysmetoder inom ett mikroprojekt benämnt Säkanalysmetoder (se Spec_SafetyAnalyses). Syftet med studien
Läs mer1(15) Bilaga 1. Av Projekt Neuronnätverk, ABB Industrigymnasium, Västerås Vt-05
1(15) Bilaga 1 2(15) Neuronnätslaboration Räknare Denna laboration riktar sig till gymnasieelever som går en teknisk utbildning och som helst har läst digitalteknik samt någon form av styrteknik eller
Läs merVad 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 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 merSwing-Gate. ECO B/S Installation av Swing Gate
Swing-Gate ECO B/S Installation av Swing Gate Generellt Nedanstående manual berör installation av motorer som omfattas av SKANDIMATIK`S produktprogram. Kontrollpanelen innehåller följande EU standarder:
Läs mern-abler är lämplig för alla åldersgrupper med motoriska svårigheter och för dem som arbetar långa perioder vid datorn.
n-abler Trackball Produktbeskrivning n-abler Trackball är särskilt utformad för datoranvändare med begränsad handkontroll, motoriska svårigheter, dålig hand-öga-koordination, begränsad fingerfärdighet,
Läs merBAS 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 merBESKRIVNING AV DISPLAY
Inledning 1 DREAM styrsystem TALGIL erbjuder högeffektiva och anmärkningsvärt ekonomiska lösningar för hantering av medelstora till stora bevattningssystem. Systemet utnyttjar modern teknik för hårdvara
Läs merPM Kvalitativ Risklogg till stöd för leverantörer
PM Kvalitativ Risklogg till stöd för leverantörer Detta PM innehåller information om FMV:s förväntningar på leverantörens riskdokumentering som ska redovisas i risklogg. PM:et redogör för ifyllnad av Risklogg
Läs merProcessinriktning 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 merFöretagsmodellering i UML
Företagsmodellering i UML En kort-kort introduktion av Ambjörn Naeve http://kmr.nada.kth.se Modellering En modell är en förenklad beskrivning av ett komplext område En modell är motiverad av mål (= har
Läs merSwedavia Dokumenttyp Diarienummer Sida
SÄKERHETSBEVISNING UMEÅ PUNKTHUS KV MUNGON 8 RISKKÄLLELISTA Två övergripande konsekvenser/topphändelser noteras: Risk vid landning (L) Risk vid start (S) Riskkällor identifieras inom följande systemområden:
Läs merHur får man en kommunal RSA att funka? Tankar och erfarenheter från utvecklingsarbete i Malmö stad
Hur får man en kommunal RSA att funka? Tankar och erfarenheter från utvecklingsarbete i Malmö stad HENRIK HASSEL & ALEXANDER CEDERGREN, LUNDS UNIVERSITET GABRIELLA WESTHEIM, MALMÖ STAD Utveckling av RSA-arbete
Läs merIE1205 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 merInstallationsmanual 501 GPS Tracker
Installationsmanual 501 GPS Tracker 2011-09-14 1. Beskrivning av enhet: Framsida: Baksida: GSM antenn GPS antenn mini USB kontakt Huvudkontakt Funktionsknapp 2. Sätta i SIM kortet: Följ stegen nedan för
Läs merFö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 merRiktlinje för intern styrning och kontroll avseende Norrköping Rådhus AB:s bolagskoncern
Riktlinje Riktlinje för intern styrning och kontroll avseende Norrköping Rådhus AB:s bolagskoncern Beslutat av Norrköping Rådhus AB den 11 februari 2015 Enligt Kommunallagen (6 Kap 7 ) ska nämnder och
Läs merPARALLELL OCH SEKVENTIELL DATABEHANDLING. Innehåll
PARALLELL OCH SEKVENTIELL DATABEHANDLING Innehåll Parallellism i VHDL Delta delays och Simuleringstid VHDLs simuleringscykel Aktivering av Processer Parallella och sekventiella uttryck 1 Controller PARALLELLISM
Läs merVanligaste anmärkningarna vid VK
Vanligaste anmärkningarna vid VK Uppföljning av instruktörers handlingar Egenkontroll/Kvalitetssystem Skolhandboken Skolproven Kvalitetsoch säkerhetsledningssystem för registrerade flygskolor Vad gäller
Läs merLaboration i digitalteknik Introduktion till digitalteknik
Linköpings universitet Institutionen för systemteknik Laborationer i digitalteknik Datorteknik 6 Laboration i digitalteknik Introduktion till digitalteknik TSEA Digitalteknik D TSEA5 Digitalteknik Y TDDC75
Läs merIE1204/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Återkoppling Steg
Återkoppling Steg 1 2018-04-05 HENRIK HASSEL & ALEXANDER CEDERGREN, LUNDS UNIVERSITET Agenda 13.00-13.15 Introduktion 13.15-14.30 Utvärdering av Steg 1 14.30-14.45 Fika 14.45-15.10 Stöd till genomförandet
Läs merCargolog Impact Recorder System
Cargolog Impact Recorder System MOBITRON Mobitron AB Box 241 561 23 Huskvarna, Sweden Tel +46 (0)36 512 25 Fax +46 (0)36 511 25 Att mäta är att veta Vi hjälper dig och dina kunder minska skador och underhållskostnader
Läs merRev 2. Manual för handterminal
Rev 2. Manual för handterminal Förord Tack för visat förtroende för våran produkt. Handterminalen ansluts till ledig USB port. Anslut aldrig via hub eller annan delad anslutning pga terminalen behöver
Läs merInklusiv Design Design för Alla
Inklusiv Design Design för Alla Alla kan vara med! Design för Alla Vilka designar vi för? 2 Design för Alla Vilka designar vi för? 3 Design för Alla Vilka designar vi för? Perfekt syn Felfri Superstark
Läs mern-abler PRO STYRKULA Handledning
Underhåll n-abler PRO har inga utbytbara eller reparerbara delar. Om reparation blir nödvändig var vänlig kontakta er leverantör. n-abler PRO STYRKULA För ytterligare information eller frågor, kontakta
Läs merExempeluppgift 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 mer7.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 merMetodbeskrivning - Riskbedömning av lyftanordningar och lyftredskap enligt AFS 2006:6
INSPECTA TEKNISK RAPPORT Metodbeskrivning - Riskbedömning av lyftanordningar och lyftredskap enligt AFS 2006:6 INSPECTA SWEDEN AB BOX 30100 104 25 STOCKHOLM TEL 08-5011 3000 FAX 08-5011 3001 www.inspecta.com
Läs merGrunderna i programmering loopar (lektion 2 av 5)
Grunderna i programmering - loopar (lektion 2 av 5) Lektionen handlar om att förstå begreppet loop och loopens roll vid programmering. Anna Eriksson är fritidspedagog och arbetar med digital kompetens
Läs merAnvändarmanual Field-IQ med CFX-750
Användarmanual Field-IQ med CFX-750 Manual ID GPS-6 Rev dat. 2011-10-18 DataVäxt AB Tel: 0514-650200 www.datavaxt.se Hedåkers Säteri 3 Fax: 0514-650201 info@datavaxt.se 467 95 Grästorp Installation av
Läs merUpplägg. Binära träd. Träd. Binära träd. Binära träd. Antal löv på ett träd. Binära träd (9) Binära sökträd (10.1)
Binära träd Algoritmer och Datastrukturer Markus Saers markus.saers@lingfil.uu.se Upplägg Binära träd (9) Binära sökträd (0.) Träd Många botaniska termer Träd, rot, löv, gren, Trädets rot kan ha ett antal
Läs merHantering av CCF vid beräkningar i PSA och PSA-tillämpningar
SKI Rapport 2006:19 Forskning Hantering av CCF vid beräkningar i PSA och PSA-tillämpningar Per Hellström Mars 2006 ISSN 1104-1374 ISRN SKI-R-06/19-SE SKI PERSPEKTIV Bakgrund CCF utgör dominerande bidrag
Läs merFÖR MAC. Snabbstartsguide. Klicka här för att hämta den senaste versionen av detta dokument
FÖR MAC Snabbstartsguide Klicka här för att hämta den senaste versionen av detta dokument ESET Cyber Security ger det allra bästa skyddet för din dator mot skadlig kod. Baserat på ThreatSense-genomsökningsmotor
Läs merFrån systemsäkerhet till kritikalitet i programvara
Från systemsäkerhet till kritikalitet i programvara Hur vi arbetar på flygsidan på FMV 1 Krav på säkerheten ÖB Ansvarar för säkerheten inom Försvaret Krav på säkerhetsnivån på materielen FlygI Militära
Läs merHur allokera riskerna till SIL? Annie Svensson Manager / Senior Consultant Scandpower AB 2011-05-25
Hur allokera riskerna till SIL? Annie Svensson Manager / Senior Consultant Scandpower AB 2011-05-25 Bakgrund? Civilingenjör inom Risk Management and Safety Engineering från Lunds Tekniska Högskola (LTH)
Läs merMetodbeskrivning - Riskbedömning av lyftanordningar och lyftredskap enligt AFS 2006:6
INSPECTA TEKNISK RAPPORT Metodbeskrivning - Riskbedömning av lyftanordningar och lyftredskap enligt AFS 2006:6 Rapport nr: Revision nr: 1 INSPECTA SWEDEN AB BOX 30100 104 25 STOCKHOLM TEL 08-5011 3000
Läs merSTANDESSE Comfort (VCS4..)
SV 1/1 STANDESSE Comfort (VCS4..) med DA Styrmodul (VCS-R-DA-..) VCS-R-DA-E, VCS-R-DA-V Fullständig manual DRIFT OCH UNDERHÅLL H04-0211-0511-15 STANDESSE Comfort VCS4X-. obsluhada control module 2 1. INNAN
Läs merInstruktionsbok SILA TRAFIKLJUSSYSTEM
Instruktionsbok SILA TRAFIKLJUSSYSTEM 24.01.2011 (version 1.0) 1 INNEHÅLL 1. BILDER / VERSIONER... 3 1.1 Bild på Sila Kontrollsystem... 3 1.2 Metallversioner av Sila Trafikljus... 3 1.3 Plastversioner
Läs merSIL i praktiken i processindustrin
1 Magnus Karlsson, Senior Riskanalytiker, Division Miljö, COWI AB Tel: +46 10 850 1092 Mobil: +46 70 264 14 64 E-post: mgka@cowi.se 1 Deepwater Horizon 2010-04-20 en komplex och sammanhängande serie av
Läs merMyDiagnostick 1001R - Manual till enheten UI0003-004 FINAL Revision 1. MyDiagnostick 1001R. Manual till enheten. Sid. 1 av 10
MyDiagnostick 1001R Manual till enheten Sid. 1 av 10 Innehållsförteckning 1 INLEDNING... 3 1.1 Avsedd användning... 3 1.2 Programvara... 3 1.3 Kontaktuppgifter... 3 1.4 Varningar... 3 2 FÖRPACKNING...
Läs merIntroduktion. Temperatursändarens finesser
Introduktion Gratulerar till köpet av denna fjärrstyrda temperaturstation med radio-kontrollerad tid. Att använda denna produkt är enkelt och okomplicerat, men var vänlig och läs denna bruksanvisning så
Läs merAntivirus: Identifierar och inaktiverar proaktivt mer känd och till och med okänd skadlig kod än många andra säkerhetsprodukter.
Snabbstartsguide ESET Cybersecurity ger ett avancerat skydd för din dator mot skadlig kod. Baserat på ThreatSense genomsökningsmotor som först introducerades i det prisbelönta NOD32 antivirussystemet,
Läs merModeller och simulering av språkprocessning
Modeller och simulering av språkprocessning Seriell processmodell + parallell processmodell Parallell modell med 2-vägsförbindelser Artificiellt neuralt nätverk (ANN) Interaktiv aktiverings-modell (IAM)
Läs merSirius II Installation och Bruksanvisning
Sirius II Installation och Bruksanvisning Innehåll 1. Introduktion... 2. Installation av Sirius II programvara... 3. Anslutning Data Linker interface.... 4. Sirius II funktioner.... 5. Bruksanvisning....
Läs merANVÄNDARMANUAL ROSTRA BACKSENSOR SYSTEM ROSS
ANVÄNDARMANUAL ROSTRA BACKSENSOR SYSTEM ROSS ROSTRA BACKSENSOR SYSTEM ROSS Rostra Precision Controls, Inc. 2519 Dana Drive, Laurinburg, NC 28352 USA Telephone: (910) 276-4853 Fax: (910) 276-1354 www.rostra.com
Läs merFLEXIT SPIRIT. Monteringsinstruktion
110980S-01 2011-05 ART. NR.: 110979 FLEXIT SPIRIT Monteringsinstruktion Trådlös tryckvakt för spiskåpa Trådlösa mottagare Puck, relä (På/Av) res Styrning via valfri sändare, t.ex WT-1/ WT-2 Timerfunktion
Läs merM7005 och IBR Användarhandbok
181101/190313/190521/SJn M7005 och IBR Användarhandbok M7005 och IBR - Användarhandbok OBSERVERA Informationen i detta dokument kan ändras utan föregående meddelande. Innehållet är icke bindande. Matematikföretaget
Läs merFjärrstyrd flygtrafikledning. Transportstyrelsens granskning av fjärrstyrd flygtrafikledning
Fjärrstyrd flygtrafikledning Transportstyrelsens granskning av fjärrstyrd flygtrafikledning Transportstyrelsens granskning Att flytta en ATS enhet från befintligt torn på flygplatsen till en arbetsplats
Läs merexma.se Användarmanual Duo Code Det svensktillverkade låssystemet
exma.se Användarmanual Duo Code Det svensktillverkade låssystemet Tack & välkommen Vi på Exma Säkerhetssystem AB vill tacka dig för att du valt oss och hälsa dig välkommen som kund. Du är nu ägare av ett
Läs merFö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 merProvverktyget i Fronter för lärare
Provverktyget i Fronter för lärare Det här är en guide för att skapa ett prov i Fronter. Skapad: 2011-08-16 Innehåll Hur skapar jag ett prov i Fronter?... 3 IKT-pedagogiskt centrum... 20 2 Hur skapar jag
Läs merMintermer. 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 mer535 Installationsmanual
535 Installationsmanual Innehållsförteckning I. Förbered SIM kort 2 II. Installation i fordonet 2 1. Placering av enheten 2 2. Ansluta kablaget 3 2.1. Ingång TÄNDNING (anslutning av denna ingång är obligatorisk)
Läs merOlycka med segelflygplanet SE-UBX på Hosjöns is i Rättviks, W län, den 6/1 2007 SHK Dnr L-01/07
Rapport Olycka med segelflygplanet SE-UBX på Hosjöns is i Rättviks, W län, den 6/1 2007 SHK Dnr L-01/07 Det står var och en fritt att, med angivande av källan, för publicering eller annat ändamål använda
Läs merSekvensnä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 merStartskärm. Kartskärm
Startskärm Anordningsinformation Inställningsmeny Välj sammanfattning Starta fältoperation Strömbrytare Kartskärm GPS-diagnostik Areal Lampfält på skärm Hastighet Passagenummer Kartalternativ -Guidning
Läs merKoncept 1- Planteringsborr Koncept 2 - Hacka Koncept 3 - Planteringsrör Koncept 4 - Kapselplanterare
Befintliga koncept Av de fem koncept som togs fram förra veckan har såddröret och mikroprepareringsskon sorterats bort eftersom det inte går att vidareutveckla dessa konceptet med avseende på Peter s såddrör.
Läs merLABORATIONSINSTRUKTION
Högskolan Dalarna Elektroteknik LABORATION LABORATIONSINSTRUKTION PLC-styrning av ett minimalt parkeringsgarage KURS El- och styrteknik för tekniker ET 1015 INNEHÅLL LAB NR 4 Ver 1.0 1. Inledning 2. Laborationskortet
Läs merCHUBBSAFES EVOLVE BRUKSANVISNING
CHUBBSAFES EVOLVE BRUKSANVISNING 1 Ref: BASS-0010-B/21.02.2014 Innehållsförteckning 1- EGENSKAPER... 4 1-1 Modeller... 4 1-2 Mått och vikt... 4 1-3 Interiör (standard och tillval)... 5 2- TRANSPORT...
Läs merOperatördialog. Harmony 2011-08-31
Operatördialog Harmony Manual, enkel programmering Harmony XB4R,XB5R, trådlös och batterifri tryck knapp 2011-08-31 Schneider Electric Sverige AB Huvudkontor: Box 1009, Eskilstunavägen 7 SE-611 29 Nyköping,
Läs merTDDC74 Programmering: Abstraktion och modellering Tentamen, lördag 27 augusti 2016, kl 8 12
TDDC74 Programmering: Abstraktion och modellering Tentamen, lördag 27 augusti 2016, kl 8 12 Läs alla frågorna först, och bestäm dig för i vilken ordning du vill lösa uppgifterna. Skriv tydligt och läsligt.
Läs merDokumentnummer D FLYGVÄGS- OCH FLYGBULLERKONTROLL STOCKHOLM ARLANDA AIRPORT
Dokumentnummer D 2017-000256 FLYGVÄGS- OCH FLYGBULLERKONTROLL STOCKHOLM ARLANDA AIRPORT Januari - mars 2017 RAPPORT 2017-04-28 01.00 D 2017-000256 2(13) Revisionsförteckning Rev Datum Upprättad av Information
Läs merIntroduktion 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 merTrendCon 1. utgåvan, S. TrendCon. Instruktionsbok 0403-56-02-04
1. utgåvan, S TrendCon Instruktionsbok 0403-56-02-04 INNEHÅLLSFÖRTECKNING AVSNITT Sida ÖVERSIKT FUNKTIER.. 1 VARNING:S TEXT.. 1 ANVISNINGAR ALLMÄNT.. 2 INDIKERINGAR ALLMÄNT.. 2 FELSIGNALER.. 2 SYSTEM ÖVERSIKT..
Läs merDokumentnummer D FLYGVÄGS- OCH FLYGBULLERKONTROLL STOCKHOLM ARLANDA AIRPORT
Dokumentnummer D 2016-006488 FLYGVÄGS- OCH FLYGBULLERKONTROLL STOCKHOLM ARLANDA AIRPORT april - juni 2016 RAPPORT 2016-08-30 01.00 D 2016-006488 2(13) Revisionsförteckning Rev Datum Upprättad av Information
Läs merGrundorsaksanalys. Mathias Elofsson Kvalitetssamordnare Sjö- och luftfart
Grundorsaksanalys Mathias Elofsson Kvalitetssamordnare Sjö- och luftfart Grundorsaksanalys bakgrund Regelverket kräver grundorsaksanalys Avvikelser från Transportstyrelsens tillsyn Avvikelser från interna
Läs merIE1205 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 mern-abler STYRKULA Handbok Underhåll Avfallshantering Förbrukad produkt ska hanteras som elektronikavfall
Underhåll n-abler STYRKULA n-abler styrkula har inga utbytbara eller reparerbara delar. Om reparation blir nödvändig var vänlig kontakta er leverantör. För ytterligare information eller frågor, kontakta
Läs merDPR-34+ Svensk Bruksanvisning. Läs igenom denna bruksanvisning innan användning av produkten och spara bruksanvisningen för framtida användning.
DPR-34+ Svensk Bruksanvisning Läs igenom denna bruksanvisning innan användning av produkten och spara bruksanvisningen för framtida användning. VIKTIGA SÄKERHETSANVISNINGAR Låt inte denna enhet att utsättas
Läs merANVÄNDARMANUAL. VELA Tango 300 & 300EL VARIANT: Manual nr VELA Tango 300. VELA Tango 300El
ANVÄNDARMANUAL VELA Tango SE VARIANT: 300 & 300EL Manual nr 105462 VELA Tango 300 VELA Tango 300El INNEHÅLL 1.0. INLEDNING 3 1.1. SÄKERHET 4 1.1.1. Användning 4 1.1.2. Transport 4 1.2. REKLAMATIONSRÄTT
Läs merDRIFT & SKÖTSELINSTRUKTIONER RP 50
TIMER ON DRIFT & SKÖTSELINSTRUKTIONER RP 50 Luftutblåsning Luftkonditioneringsanläggningen består av två enheter som är förbundna med köldmedierör samt elkablar. Inomhusdelen placeras i utrymme som skall
Läs merANVISNINGAR TILL INLÄMNINGSUPPGIFTER I TILLFÖRLITLIGHETSTEORI. På inlämningsuppgiften ska alltid namn och elevnummer finnas med.
ANVISNINGAR TILL INLÄMNINGSUPPGIFTER I TILLFÖRLITLIGHETSTEORI På inlämningsuppgiften ska alltid namn och elevnummer finnas med. Numeriska svar ska ges med fyra decimaler. Detta har att göra med rättningen
Läs merFMCK Malmö Boris Magnusson. Markering av Endurobana
FMCK Malmö Boris Magnusson Markering av Endurobana Markering av en Endurobana finns beskrivet i tävlingsreglementet, paragrafer 4.16-17-18 (se nedan) men dessa är ganska kortfattade. Detta PM är ett försöka
Läs merför raka trappor Användarmanual Modellnummer 420 Svenska
för raka trappor Modellnummer 420 Användarmanual Svenska Servicebok Det är viktigt för oss att våra trapphissar alltid hjälper Er att komma upp och ner från Era trappor på ett säkert sätt. Med tanke på
Läs merRollerMouse Free3 Wireless. Användarhandbok
RollerMouse Free3 Wireless Användarhandbok Förpackningens innehåll 1. RollerMouse Free3 Wireless 2. Två korta tangentbordsstöd 3. Två långa tangentbordsstöd 4. Trådlös mottagare 5. US 2.0 kabeladapter
Läs merBruks och monteringsanvisning NX-M. Rörelsedetektor till NX-4 Personliga säkerhetssystem Alarm för Gas, Rök och Rörelse
Bruks och monteringsanvisning NX-M Rörelsedetektor till NX-4 Personliga säkerhetssystem Alarm för Gas, Rök och Rörelse Funktion: Rörelsedetektorn NX-M är en special tillverkad detektor som tillbehör till
Läs merMed 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 mer6 ACS-Systemet (Advanced Control System)
6 ACS-Systemet (Advanced Control System) 6.1 Manöverboxens utförande 1) Display för batteriladdning 2) Display för körprogram 3) Hastighet upp 4) Varningsblinkers 5) Vänster blinkers 6) Joystick 7) Statusdisplay
Läs merInlärning utan övervakning
Översikt Biologiska mekanismer bakom inlärning Inlärning utan övervakning Inlärning utan övervakning Hebbiansk modellinlärning Självorganisering Arbetsfördelning mellan noder i ett lager som utvecklas
Läs merAlgoritmer, datastrukturer och komplexitet
Algoritmer, datastrukturer och komplexitet Övning 12 Anton Grensjö grensjo@csc.kth.se 10 december 2015 Anton Grensjö ADK Övning 12 10 december 2015 1 / 19 Idag Idag Komplexitetsklasser Blandade uppgifter
Läs merOntech Control för Iphone Användarmanual Svenska
Ontech Control för Iphone Användarmanual Svenska På grund av restriktioner hos Apple så är vår Iphone app begränsade i vissa ärenden. Bland annat så skickas SMS ej automatiskt när inställningar är gjorda
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 mer