A taxonomy for modelling safety related architectures in compliance with functional safety requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 505-517

  Berthing, Jesper ^a   Maier, Thomas ^a  

^a DANFOSS A S   (Denmark)

Author keywords

Dependable architectures; IEC61508; Safety related architectures

Indexed keywords

COMPUTER SIMULATION; PROGRAM DIAGNOSTICS; SOFTWARE ARCHITECTURE;

DEPENDABLE ARCHITECTURES; FAILURE PER HOUR (PFH); SAFETY FUNCTIONS;

SAFETY ENGINEERING;

EID: 38149047550     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_47     Document Type: Conference Paper

References (5)

1. IEC. Functional safety of electrical/electronic/programmable electronic safety-related systems, Part 2: Requirements for electrical/eletronic/ programmable electronic safety-related systems. International Electrotechnical Commission, IEC 61508-2 (2000)
2. IEC. Functional safety of electrical/electronic/programmable electronic safetyrelated systems, Part 3: software requirements. International Electrotechnical Commission, IEC 61508-3 (1998)
3. IEC. Functional safety of electrical/electronic/programmable electronic safety-related systems, Part 6: Guidelines on the application of IEC 61508-2 and IEC 61508-3. International Electrotechnical Commission, IEC 61508-6 (2000)
4. Kruchten, P.: Architectural Blueprints - The "4+1" View Model of Software Architecture. IEEE Software 12, 42-50 (1995)
5. Feiler, RH., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note, CMU/SEI-2006-TN-011 (2006)