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

Susanne Graf (1, 2) , Sophie Quinton (1, 3) , Alain Girault (1, 3) , Gregor Gössler (1, 3)

1 UGA [2016-2019] - Université Grenoble Alpes [2016-2019]
2 VERIMAG - IMAG - VERIMAG
3 SPADES - Sound Programming of Adaptive Dependable Embedded Systems

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.

Domaines: Systèmes embarqué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⟩