70 search results - page 6 / 14 » Symbolic Fault Tree Analysis for Reactive Systems |
EDCC
2005
Springer
14 years 1 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...
ICDAR
2003
IEEE
14 years 23 days ago
2003
IEEE
In this article, we present a system for the recognition of on-line handwritten mathematical formulas which is used in the electronic chalkboard (E-chalk), a multimedia system for...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
FM
2003
Springer
14 years 21 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...