Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS

D. Cancila (1) , E. Soubiran (2) , R. Passerone (3)

1 DILS - Département Ingénierie Logiciels et Systèmes
2 Alstom Transport - Alstom Transport
3 DISI - Department of Information Engineering and Computer Science (University of Trento )

This work concerns a feasibility study on the use of contract-based approaches as a means of reasoning and understanding a cyber-physical system (CPS) which should meet safety properties. We show the problems, the analysis methodology and the results on a railway industrial system case study. Our results suggest that contract-based design provides a rigorous approach for reasoning at the interaction of safety-related properties in CPS.

Keywords: Embedded systems; Planning; Mixed-critical and safety-relatedproperties; Industrial systems; Feasibility studies; Rigorous approach; Railroad transportation; Railway system; Railroads; Contract-based designs; CPS; Cyber-physical systems (CPS)

Domains: Computer Science [cs]

D. Cancila, E. Soubiran, R. Passerone. Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS. Ada User Journal, 2014, 35 (4), pp.272-277. ⟨cea-01847297⟩