Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Anne Bergez <>
Submitted on : Thursday, January 9, 2014 - 4:33:42 PM
Last modification on : Saturday, November 11, 2017 - 7:04:02 PM
Long-term archiving on: : Thursday, April 10, 2014 - 11:55:24 AM


Files produced by the author(s)


  • HAL Id : hal-00926503, version 1


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



Record views


Files downloads