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

D. Cancila; E. Soubiran; R. Passerone

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

D. Cancila ¹ E. Soubiran ² R. Passerone ³

1 DILS - Département Ingénierie Logiciels et Systèmes

3 DISI - Department of Information Engineering and Computer Science (University of Trento )

Abstract : 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 : Mixed-critical and safety-relatedproperties Planning Embedded systems Industrial systems Feasibility studies Rigorous approach Railroad transportation Railway system Railroads Contract-based designs CPS Cyber-physical systems (CPS)

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01847297
Contributor : Léna Le Roy <>
Submitted on : Monday, July 23, 2018 - 2:34:31 PM
Last modification on : Thursday, February 7, 2019 - 3:47:07 PM

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

Identifiers

Collections

Citation

Export

Metrics

78

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

78

Contact