2 search results - page 1 / 1 » Formal Safety Analysis of a Radio-Based Railroad Crossing Us... |
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...
SAFECOMP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...