Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory

Abstract : The design and verification of critical cyber-physical systems is based on a number of models (and corresponding analysis techniques and tools) representing different viewpoints such as function, timing, security and many more. Overall correctness is guaranteed by mostly informal, and therefore basic, arguments about the relationship between these viewpoint-specific models. We believe that a more flexible contract-based approach could lead to easier integration, to relaxed assumptions, and consequently to more cost efficient systems while preserving the current modelling approach and its tools.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01891146
Contributor : Alain Girault <>
Submitted on : Tuesday, October 9, 2018 - 12:07:13 PM
Last modification on : Thursday, February 7, 2019 - 4:53:34 PM
Document(s) archivé(s) le : Thursday, January 10, 2019 - 2:22:16 PM

File

fmics18-published.pdf
Files produced by the author(s)

Identifiers

Citation

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler. Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory. FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩. ⟨hal-01891146⟩

Share

Metrics

Record views

113

Files downloads

78