Adopting a situational requirements engineering approach for the analysis of civil aviation security standards

Régine Laleau 1 Sylvie Vignes 2 Yves Ledru 3 Michel Lemoine 4 Didier Bert 3 Véronique Donzeau-Gouge 5 Catherine Dubois 5 Fabien Peureux 6
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 GET/ENST - GET/ENST, département informatique
3 LIG - Laboratoire d'Informatique de Grenoble
4 Toulouse - ONERA - The French Aerospace Lab
5 CEDRIC - Centre d'études et de recherche en informatique et communications
6 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
Abstract : The security of civil aviation, likemany human activities, is regulated by a series of international standards and recommended practices. The quality of these documents is a prerequisite to reach an acceptable security level. The EDEMOI project aims at investigating different techniques to analyse these standards. The techniques that we have used, such as Requirements Engineering (RE) and formal methods, have been fruitfully tried and tested in computer science. During the first step of the project, properties were extracted from standards written in natural language and a conceptual model of the underlying system was elaborated. Since none of the existing requirements engineering methods were able to consider the specifics of our project, we turned to situational method engineering, and have defined a new RE method based on this approach. The standard considered in the article is Annex 17 of the Convention of the International Civil Aviation Organization (ICAO). We present several adaptations/extensions to relevant RE techniques necessary to take into account the specific features of our project. Finally, we describe how we have applied this new method to the analysis of Annex 17.
Type de document :
Article dans une revue
Software Process: Improvement and Practice, John Wiley & Sons, 2006, 11 (5), pp.487-503
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00147053
Contributeur : Régine Laleau <>
Soumis le : mardi 15 mai 2007 - 17:21:27
Dernière modification le : samedi 9 février 2019 - 01:25:00

Identifiants

  • HAL Id : hal-00147053, version 1

Collections

LACL | UNIV-FCOMTE | ONERA | UPEC | UPEC-UPEM | LIG | UGA | UNIV-BM | UNIV-BM-THESE | FEMTO-ST

Citation

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice, John Wiley & Sons, 2006, 11 (5), pp.487-503. 〈hal-00147053〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

382

Contact

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