Abstract
This paper presents a Requirements Engineering Process for Security purposes. This process has been elaborated in the context of SAFEE (Security of Aircraft in the Future European Environment), a large European IP (Integrated Project), which aims at overcoming security failures that recently occurred during the terrorist attacks of the 11th of September 2001, at the deepest level of security, i.e. on board an A/C. This paper highlights both the process that integrates several RE techniques, and its products, i.e. the requirements documents. Lessons drawn are reported as conclusion.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Security, Amendment 11 of Annex 17, ICAO (2005)
The 9-11 Commission Report, Final Report of the National Commission on Terrorist Attacks Upon the United States, Official Government Edition (2004), see also http://www.gpoaccess.gov/911/
http://www.safee.reading.ac.uk/ contract n° AIP3-CT-2003-503521
Booch, G., Rambaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998), http://www.uml.org/
Bertrand P., Darimont R., Delor E., Massonet P., van Lamsweerde A.: GRAIL/KAOS: an environment for goal driven requirements engineering. In: Proceedings ICSE’98 - 20th International Conference on Software Engineering, IEEE-ACM, Kyoto (1998)
Objectiver, http://www.objectiver.com
van Lamsweerde, A.: Elaborating Security Requirements by Construction of Intentional Anti-models. In: Proc. ICSE’04, 26th Int. Conf. On Software Engineering, Edinburgh, ACM-IEEE (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Darimont, R., Lemoine, M. (2007). Security Requirements for Civil Aviation with UML and Goal Orientation. In: Sawyer, P., Paech, B., Heymans, P. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2007. Lecture Notes in Computer Science, vol 4542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73031-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-73031-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73030-9
Online ISBN: 978-3-540-73031-6
eBook Packages: Computer ScienceComputer Science (R0)