Towards a multi-view point safety contract

Alejandra Ruiz 1 Tim Kelly 2 Huascar Espinoza 1
1 TECNALIA
2 Department of Computer Science
Abstract : Use of contracts in component based development is a well-known approach in the development of complex systems. However there are challenges when using this approach when dealing with safety, and safety assurance, properties. Safety is a system property and because of that, it can be hard to define the contribution of components that have an impact on safety. Contract based approaches addressing safety have been proposed in the past regarding modular safety case development. In this paper we suggest a "multi viewpoint" contract approach where these many aspects are organized to address different stakeholder concerns.
Keywords : Safety Embedded systems safety contract certification safety case composition
Type de document :
Communication dans un congrès
Matthieu ROY. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA, 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-00848496
Contributeur : Anne Bergez <>
Soumis le : vendredi 26 juillet 2013 - 11:47:48
Dernière modification le : samedi 11 novembre 2017 - 19:04:02
Document(s) archivé(s) le : dimanche 27 octobre 2013 - 03:17:39

Fichier

5_-_20130042.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00848496, version 1

Collections

SAFECOMP2013 | SAFECOMP2013-SASSUR

Citation

Alejandra Ruiz, Tim Kelly, Huascar Espinoza. Towards a multi-view point safety contract. Matthieu ROY. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA, 2013. 〈hal-00848496〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

163

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD