Towards a multi-view point safety contract - SASSUR : Next Generation of System Assurance Approaches for Safety-Critical Systems Access content directly
Conference Papers Year : 2013

Towards a multi-view point safety contract

Alejandra Ruiz
  • Function : Author
Huascar Espinoza
  • Function : Author

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.
Fichier principal
Vignette du fichier
5_-_20130042.pdf (34.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00848496 , version 1 (26-07-2013)

Identifiers

  • HAL Id : hal-00848496 , version 1

Cite

Alejandra Ruiz, Tim Kelly, Huascar Espinoza. Towards a multi-view point safety contract. 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. ⟨hal-00848496⟩
202 View
194 Download

Share

Gmail Facebook X LinkedIn More