Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Abstract : In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated process able to handle multiple viewpoints such as functional correctness, timing, etc. For this purpose, we propose an original methodology for contract-based negotiation of software updates. The use of contracts allows us to cleanly split the verification effort between the lab and the field. In addition, we show how to rely on existing viewpoint-specific methods for update negotiation. We illustrate our approach on a concrete example inspired by the automotive domain.
Type de document :
Communication dans un congrès
Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. 〈10.4204/EPTCS.208.3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01426654
Contributeur : Sophie Quinton <>
Soumis le : jeudi 5 janvier 2017 - 17:30:03
Dernière modification le : jeudi 5 octobre 2017 - 18:08:01
Document(s) archivé(s) le : jeudi 6 avril 2017 - 14:46:14

Fichier

2016-PrePost.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner. Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. 〈10.4204/EPTCS.208.3〉. 〈hal-01426654〉

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

27