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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2812871
بازگشت