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.
Type de document :
Communication dans un congrès
FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. Springer, FMICS 2018: Formal Methods for Industrial Critical Systems, 11119, pp.19-31, LNCS. 〈10.1007/978-3-030-00244-2_2〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01891146
Contributeur : Alain Girault <>
Soumis le : mardi 9 octobre 2018 - 12:07:13
Dernière modification le : jeudi 7 février 2019 - 16:53:34
Document(s) archivé(s) le : jeudi 10 janvier 2019 - 14:22:16

Fichier

fmics18-published.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Springer, FMICS 2018: Formal Methods for Industrial Critical Systems, 11119, pp.19-31, LNCS. 〈10.1007/978-3-030-00244-2_2〉. 〈hal-01891146〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

43