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

fYear

2010

fDate

4-7 May 2010

Firstpage

116

Lastpage

122

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISORCW.2010.11

Filename

5479518