Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS - Archive ouverte HAL Access content directly
Journal Articles Ada User Journal Year : 2014

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

(1) , (2) , (3)
1
2
3

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.
Not file

Dates and versions

cea-01847297 , version 1 (23-07-2018)

Identifiers

  • HAL Id : cea-01847297 , version 1

Cite

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⟩

Collections

CEA DRT LIST
52 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More