摘要：AbstractIn the context of system development design failures can cause immense costs, especially if they remain undetected until very late phases of system integration and test. Therefore it is essential to verify the design concepts systematically before they are actually implemented. Today, model-based techniques are commonly used for the analysis and verification of nominal behavior but not for safety aspects. Unfortunately, current tools still fail to satisfy industrial needs. So, research is needed to overcome limitations in current model-based safety analysis approaches.This paper discusses improvements for one of those approaches called smartIflow. It supports automated reasoning about possible component failures and is especially targeted to early stages of product development. An extension is proposed which allows to control delays of transitions based on order of magnitude values. The extended concepts together with their implementation are then evaluated in a case study of a real system from the railway domain. While limited in size, the study highlights common requirements for the analysis of distributed systems consisting of hard- and software, and illustrates to which extent they are met by the proposed approach.
关键词：KeywordsSafety analysisTemporal reasoningFormal languagesFinite state machineInformation flowsQualitative analysisRail traffic
