Reducing Re-verification Effort by Requirement-Based Change Management - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Reducing Re-verification Effort by Requirement-Based Change Management

Résumé

Changes in parts of a safety critical system typically require the re-verification of the whole system design. In this paper we present a change management approach that contains the effects of a change within a region of the system. The approach guarantees to maintain the integrity of the system while performing changes. Our approach directly integrates verification and validation activities in the process. Furthermore, the propagation of changes is not based on the interfaces of the components and their interconnections, but exploits the knowledge of the behavior described by the requirements. This approach creates a much more precise set of affected system artifacts. In addition, we propose techniques to analyze the propagation of changes automatically based on formalized requirements and guide the selection of suitable compensation candidates.
Fichier principal
Vignette du fichier
978-3-642-38853-8_10_Chapter.pdf (565.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01466666 , version 1 (13-02-2017)

Licence

Paternité

Identifiants

Citer

Markus Oertel, Achim Rettberg. Reducing Re-verification Effort by Requirement-Based Change Management. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.104-115, ⟨10.1007/978-3-642-38853-8_10⟩. ⟨hal-01466666⟩
120 Consultations
179 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More