Adequacy of contract grammars for component certification

Abstract : The use of contracts in component-based development is a well-established approach. However there exists a wide range of views as to the nature of the contracts that are necessary to support safety-critical systems development, assurance and certification. Different standards and projects have tried to reduce ambiguity and propose the best practice in this area. In this paper we present work that moves one step further forward with the creation of a methodology and grammar that incorporates encompasses and helps structure current models of 'safety contracts'.
Type de document :
Communication dans un congrès
Marc-Olivier Killijian. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00926503
Contributeur : Anne Bergez <>
Soumis le : jeudi 9 janvier 2014 - 16:33:42
Dernière modification le : samedi 11 novembre 2017 - 19:04:02
Document(s) archivé(s) le : jeudi 10 avril 2014 - 11:55:24

Fichier

FA10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00926503, version 1

Citation

Alejandra Ruiz Huascar Espinoza, Tim Kelly. Adequacy of contract grammars for component certification. Marc-Olivier Killijian. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013. 〈hal-00926503〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

240