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

The security of civil aviation, like many 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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Software process improvement and practice 2006-09, Vol.11 (5), p.487-503
Hauptverfasser: Laleau, Régine, Vignes, Sylvie, Ledru, Yves, Lemoine, Michel, Bert, Didier, Donzeau-Gouge, Véronique, Dubois, Catherine, Peureux, Fabien
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 503
container_issue 5
container_start_page 487
container_title Software process improvement and practice
container_volume 11
creator Laleau, Régine
Vignes, Sylvie
Ledru, Yves
Lemoine, Michel
Bert, Didier
Donzeau-Gouge, Véronique
Dubois, Catherine
Peureux, Fabien
description The security of civil aviation, like many 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. Copyright © 2006 John Wiley & Sons, Ltd.
doi_str_mv 10.1002/spip.291
format Article
fullrecord <record><control><sourceid>proquest_hal_p</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_00147053v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>29201130</sourcerecordid><originalsourceid>FETCH-LOGICAL-c2831-f504028a52b04fe1db98b13bfa2e2ff3edb3bcc7e9ee27d521664584fe6935693</originalsourceid><addsrcrecordid>eNp10NlKxDAUBuAiCq7gI-RK9KKapevluCvjKC54GdL2xIl22pqTjs7bmzoieCHhkBA-fjh_EOwyesgo5UfYme6Q52wl2GA0z0OWpHR1eKdpGGVJsh5sIr5SyvxJNoJmVLWdM80LUQSN65UzbaNqYuG9NxZm0Dgk0LyYBsB-s66zrSqnRLeWuCkQ5fkCDZJWk9LMTU3U3HzHEISyt8YtCDrVVMpWuB2saVUj7PzcW8HT-dnjyWU4vr24OhmNw5JngoU6phHlmYp5QSMNrCryrGCi0IoD11pAVYiiLFPIAXhaxZwlSRRnnia5iP1sBQfL3KmqZWfNTNmFbJWRl6OxHP58AVFKYzFn3u4trV_svQd0cmawhLpWDbQ9Sp5zypigHu4vYWlbRAv6N5lROZQvh_K9HzLDJf0wNSz-dfLh7urujzfo4PPXK_smk1SksXyeXMj4dHJ9enN_LCfiC2rGl58</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>29201130</pqid></control><display><type>article</type><title>Adopting a situational requirements engineering approach for the analysis of civil aviation security standards</title><source>Alma/SFX Local Collection</source><creator>Laleau, Régine ; Vignes, Sylvie ; Ledru, Yves ; Lemoine, Michel ; Bert, Didier ; Donzeau-Gouge, Véronique ; Dubois, Catherine ; Peureux, Fabien</creator><creatorcontrib>Laleau, Régine ; Vignes, Sylvie ; Ledru, Yves ; Lemoine, Michel ; Bert, Didier ; Donzeau-Gouge, Véronique ; Dubois, Catherine ; Peureux, Fabien</creatorcontrib><description>The security of civil aviation, like many 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. Copyright © 2006 John Wiley &amp; Sons, Ltd.</description><identifier>ISSN: 1077-4866</identifier><identifier>EISSN: 1099-1670</identifier><identifier>DOI: 10.1002/spip.291</identifier><language>eng</language><publisher>Chichester, UK: John Wiley &amp; Sons, Ltd</publisher><subject>civil aviation standard modeling ; Computer Science ; requirements engineering ; security goals ; situational methods ; Software Engineering ; UML notation</subject><ispartof>Software process improvement and practice, 2006-09, Vol.11 (5), p.487-503</ispartof><rights>Copyright © 2006 John Wiley &amp; Sons, Ltd.</rights><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c2831-f504028a52b04fe1db98b13bfa2e2ff3edb3bcc7e9ee27d521664584fe6935693</citedby><cites>FETCH-LOGICAL-c2831-f504028a52b04fe1db98b13bfa2e2ff3edb3bcc7e9ee27d521664584fe6935693</cites><orcidid>0000-0002-2019-4936 ; 0000-0002-9477-8109 ; 0000-0002-0632-030X</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,780,784,885,27924,27925</link.rule.ids><backlink>$$Uhttps://hal.science/hal-00147053$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Laleau, Régine</creatorcontrib><creatorcontrib>Vignes, Sylvie</creatorcontrib><creatorcontrib>Ledru, Yves</creatorcontrib><creatorcontrib>Lemoine, Michel</creatorcontrib><creatorcontrib>Bert, Didier</creatorcontrib><creatorcontrib>Donzeau-Gouge, Véronique</creatorcontrib><creatorcontrib>Dubois, Catherine</creatorcontrib><creatorcontrib>Peureux, Fabien</creatorcontrib><title>Adopting a situational requirements engineering approach for the analysis of civil aviation security standards</title><title>Software process improvement and practice</title><addtitle>Softw. Process: Improve. Pract</addtitle><description>The security of civil aviation, like many 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. Copyright © 2006 John Wiley &amp; Sons, Ltd.</description><subject>civil aviation standard modeling</subject><subject>Computer Science</subject><subject>requirements engineering</subject><subject>security goals</subject><subject>situational methods</subject><subject>Software Engineering</subject><subject>UML notation</subject><issn>1077-4866</issn><issn>1099-1670</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><recordid>eNp10NlKxDAUBuAiCq7gI-RK9KKapevluCvjKC54GdL2xIl22pqTjs7bmzoieCHhkBA-fjh_EOwyesgo5UfYme6Q52wl2GA0z0OWpHR1eKdpGGVJsh5sIr5SyvxJNoJmVLWdM80LUQSN65UzbaNqYuG9NxZm0Dgk0LyYBsB-s66zrSqnRLeWuCkQ5fkCDZJWk9LMTU3U3HzHEISyt8YtCDrVVMpWuB2saVUj7PzcW8HT-dnjyWU4vr24OhmNw5JngoU6phHlmYp5QSMNrCryrGCi0IoD11pAVYiiLFPIAXhaxZwlSRRnnia5iP1sBQfL3KmqZWfNTNmFbJWRl6OxHP58AVFKYzFn3u4trV_svQd0cmawhLpWDbQ9Sp5zypigHu4vYWlbRAv6N5lROZQvh_K9HzLDJf0wNSz-dfLh7urujzfo4PPXK_smk1SksXyeXMj4dHJ9enN_LCfiC2rGl58</recordid><startdate>200609</startdate><enddate>200609</enddate><creator>Laleau, Régine</creator><creator>Vignes, Sylvie</creator><creator>Ledru, Yves</creator><creator>Lemoine, Michel</creator><creator>Bert, Didier</creator><creator>Donzeau-Gouge, Véronique</creator><creator>Dubois, Catherine</creator><creator>Peureux, Fabien</creator><general>John Wiley &amp; Sons, Ltd</general><general>Wiley</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>1XC</scope><orcidid>https://orcid.org/0000-0002-2019-4936</orcidid><orcidid>https://orcid.org/0000-0002-9477-8109</orcidid><orcidid>https://orcid.org/0000-0002-0632-030X</orcidid></search><sort><creationdate>200609</creationdate><title>Adopting a situational requirements engineering approach for the analysis of civil aviation security standards</title><author>Laleau, Régine ; Vignes, Sylvie ; Ledru, Yves ; Lemoine, Michel ; Bert, Didier ; Donzeau-Gouge, Véronique ; Dubois, Catherine ; Peureux, Fabien</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c2831-f504028a52b04fe1db98b13bfa2e2ff3edb3bcc7e9ee27d521664584fe6935693</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2006</creationdate><topic>civil aviation standard modeling</topic><topic>Computer Science</topic><topic>requirements engineering</topic><topic>security goals</topic><topic>situational methods</topic><topic>Software Engineering</topic><topic>UML notation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Laleau, Régine</creatorcontrib><creatorcontrib>Vignes, Sylvie</creatorcontrib><creatorcontrib>Ledru, Yves</creatorcontrib><creatorcontrib>Lemoine, Michel</creatorcontrib><creatorcontrib>Bert, Didier</creatorcontrib><creatorcontrib>Donzeau-Gouge, Véronique</creatorcontrib><creatorcontrib>Dubois, Catherine</creatorcontrib><creatorcontrib>Peureux, Fabien</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Hyper Article en Ligne (HAL)</collection><jtitle>Software process improvement and practice</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Laleau, Régine</au><au>Vignes, Sylvie</au><au>Ledru, Yves</au><au>Lemoine, Michel</au><au>Bert, Didier</au><au>Donzeau-Gouge, Véronique</au><au>Dubois, Catherine</au><au>Peureux, Fabien</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Adopting a situational requirements engineering approach for the analysis of civil aviation security standards</atitle><jtitle>Software process improvement and practice</jtitle><addtitle>Softw. Process: Improve. Pract</addtitle><date>2006-09</date><risdate>2006</risdate><volume>11</volume><issue>5</issue><spage>487</spage><epage>503</epage><pages>487-503</pages><issn>1077-4866</issn><eissn>1099-1670</eissn><abstract>The security of civil aviation, like many 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. Copyright © 2006 John Wiley &amp; Sons, Ltd.</abstract><cop>Chichester, UK</cop><pub>John Wiley &amp; Sons, Ltd</pub><doi>10.1002/spip.291</doi><tpages>17</tpages><orcidid>https://orcid.org/0000-0002-2019-4936</orcidid><orcidid>https://orcid.org/0000-0002-9477-8109</orcidid><orcidid>https://orcid.org/0000-0002-0632-030X</orcidid></addata></record>
fulltext fulltext
identifier ISSN: 1077-4866
ispartof Software process improvement and practice, 2006-09, Vol.11 (5), p.487-503
issn 1077-4866
1099-1670
language eng
recordid cdi_hal_primary_oai_HAL_hal_00147053v1
source Alma/SFX Local Collection
subjects civil aviation standard modeling
Computer Science
requirements engineering
security goals
situational methods
Software Engineering
UML notation
title Adopting a situational requirements engineering approach for the analysis of civil aviation security standards
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T04%3A18%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_hal_p&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Adopting%20a%20situational%20requirements%20engineering%20approach%20for%20the%20analysis%20of%20civil%20aviation%20security%20standards&rft.jtitle=Software%20process%20improvement%20and%20practice&rft.au=Laleau,%20R%C3%A9gine&rft.date=2006-09&rft.volume=11&rft.issue=5&rft.spage=487&rft.epage=503&rft.pages=487-503&rft.issn=1077-4866&rft.eissn=1099-1670&rft_id=info:doi/10.1002/spip.291&rft_dat=%3Cproquest_hal_p%3E29201130%3C/proquest_hal_p%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=29201130&rft_id=info:pmid/&rfr_iscdi=true