Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory - Archive ouverte HAL Access content directly
Conference Papers Year :

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

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

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.
Fichier principal
Vignette du fichier
fmics18-published.pdf (171.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01891146 , version 1 (09-10-2018)

Identifiers

Cite

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⟩
112 View
324 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More