Skip to Main content Skip to Navigation
Journal articles

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 )
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
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01847297
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Monday, July 23, 2018 - 2:34:31 PM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM

Identifiers

  • HAL Id : cea-01847297, version 1

Collections

CEA | DRT | LIST | GS-COMPUTER-SCIENCE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

104