Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
Contributor : Alain Girault Connect in order to contact the contributor
Submitted on : Tuesday, October 9, 2018 - 12:07:13 PM
Last modification on : Thursday, January 20, 2022 - 5:26:11 PM
Long-term archiving on: : Thursday, January 10, 2019 - 2:22:16 PM


Files produced by the author(s)



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⟩



Les métriques sont temporairement indisponibles