Title :
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis
Author :
Dalpez, Stefano ; Passerone, Roberto ; Cancila, Daniela ; Terrier, Francois
Author_Institution :
Dipt. di Ing. e Scienza dell´´Inf., Univ. of Trento, Trento, Italy
Abstract :
We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. The proposed methodology has found immediate industrial applications.
Keywords :
railways; safety devices; software architecture; MBE approach; domain-specific language standard model; industrial safety-related device; model-based engineering approach; railway application domain; safety integrity level; software development; subsystem safety analysis; system architecture; Computer architecture; Computer industry; Distributed computing; Documentation; Hazards; Performance analysis; Rail transportation; Railway safety; Real time systems; Refining; model-based safety engineering; preliminary hazard analysis; railway application domain; reliability analysis;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on
Conference_Location :
Carmona, Seville
Print_ISBN :
978-1-4244-7218-5
DOI :
10.1109/ISORCW.2010.11
