Standards-based Assessment of Development Toolchains in Safety-Critical Systems - 12th European Workshop on Dependable Computing Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Standards-based Assessment of Development Toolchains in Safety-Critical Systems

Résumé

To reduce the risks of software design failures, the software development processes are more and more subject to regulations fixed in (domain-specific) standards that define criteria for the selection of techniques and measures. In this paper we propose a method for the assessment of development processes and toolchains. The tasks and tools in the development process are modelled and then classified using an ontology that is constructed on the basis of the standard, and a reasoning tool is applied to check whether the criteria are satisfied.
Fichier principal
Vignette du fichier
RigorousDevelopment_3.pdf (514.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381960 , version 1 (12-05-2009)

Identifiants

  • HAL Id : hal-00381960 , version 1

Citer

Zoltán Szatmári. Standards-based Assessment of Development Toolchains in Safety-Critical Systems. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p. ⟨hal-00381960⟩

Collections

EWDC2009
57 Consultations
66 Téléchargements

Partager

Gmail Facebook X LinkedIn More