Communication Dans Un Congrès Année : 2010

Developing an Argument for Def Stan 00-56 from Existing Qualification Evidence

Résumé

Commonly-used civil guidance and standards in the safety-critical software industry (IEC 61508, EN 50128, DO-178B) constrain development activity and generate process and product evidence. However, procurements for UK defence systems must be supported with a safety case assessed against Def Stan 00-56 Issue 4. This paper studies the use of evidence from civil guidance and standards in arguments towards DS 00-56. The approach is centred on a particular application, the KCG qualified code generator, and is based on a generic software contribution argumentation approach. The results show that issues arise in substantiating failure conditions, choosing a suitable level of detail in the argument and relating detailed explanations to the structure of the evidence. Explicit argumentation was found to be useful in addressing each of these issues.

Fichier principal
Vignette du fichier
4D-1.pdf (104.92 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02267715 , version 1 (19-08-2019)

Licence

Identifiants

  • HAL Id : hal-02267715 , version 1

Citer

Zoe Stephenson, Tim Kelly, Jean-Louis Camus. Developing an Argument for Def Stan 00-56 from Existing Qualification Evidence. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267715⟩

Collections

82 Consultations
135 Téléchargements

Partager

  • More