61 search results - page 1 / 13 » Formal fault tree construction and system safety analysis |
IASTEDSE
2004
13 years 6 months ago
2004
QSIC
2005
IEEE
13 years 10 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
EDCC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
ENTCS
2007
13 years 4 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...