DocumentCode
2812871
Title
Extending the expressive power of fault trees
Author
Kaiser, Bernhard
Author_Institution
Fraunofer IESE, Kaiserslautern, Germany
fYear
2005
fDate
Jan. 24-27, 2005
Firstpage
468
Lastpage
474
Keywords
combinatorial mathematics; fault trees; safety systems; software reliability; ESSaRel tool project; SEFT; combinatorial models; design phase models; embedded systems; integrated development process; reliability model; safety analysis; software-controlled systems; state-event semantics; state-event-fault-trees; Aerospace safety; Application software; Embedded system; Fault trees; Hazards; Petri nets; Power system modeling; Power system reliability; Railway safety; US Department of Transportation;
fLanguage
English
Publisher
ieee
Conference_Titel
Reliability and Maintainability Symposium, 2005. Proceedings. Annual
ISSN
0149-144X
Print_ISBN
0-7803-8824-0
Type
conf
DOI
10.1109/RAMS.2005.1408407
Filename
1408407
Link To Document