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'.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00926503
Contributor : Anne Bergez <>
Submitted on : Thursday, January 9, 2014 - 4:33:42 PM
Last modification on : Saturday, November 11, 2017 - 7:04:02 PM
Document(s) archivé(s) le : Thursday, April 10, 2014 - 11:55:24 AM

File

FA10.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00926503, version 1

Citation

Alejandra Ruiz Huascar Espinoza, Tim Kelly. Adequacy of contract grammars for component certification. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926503⟩

Share

Metrics

Record views

140

Files downloads

249