Adequacy of contract grammars for component certification

Alejandra Ruiz Huascar Espinoza (1) , Tim Kelly (2)

1 TECNALIA
2 CS-YORK - Department of Computer Science [York]

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'.

Mots clés: component; certification; contracts; grammar

Domaines: Systèmes embarqués

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