Abstract
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-goals, namely that the safety requirements are validated, satisfied and traceable. The achievement of these sub-goals is typically communicated by means of a safety argument supported by items of evidence (e.g. testing, review or analysis). In this paper, we explore the relationships between goals, requirements, and arguments. We discuss how argumentation is used to assure the decomposition and traceability of requirements in safety-critical applications. Particularly, we focus on the achievement of goals related to both the requirements artefacts and the underlying requirements process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lamsweerde, A.v., Dardenne, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming 20, 3–50 (1993)
Lamsweerde, A.v.: Goal-Oriented Requirements Engineering: A Guided Tour. In: RE 2001. Proceedings of 5th IEEE International Symposium on Requirements Engineering, pp. 249–263. IEEE Computer Society Press, Los Alamitos (2001)
Lamsweerde, A.v., Letier, E.: Integrating Obstacles in Goal-Driven Requirements Engineering. In: Proceedings of the 20th International Conference on Software Engineering, pp. 53–62. IEEE Computer Society Press / ACM Press (1998)
Lamsweerde, A.v.: Elaborating Security Requirements by Construction of Intentional Anti-Models. In: Proceedings of the 26th International Conference on Software Engineering, pp. 148–157. IEEE Computer Society Press, Los Alamitos (2004)
Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: RE 1997. Proceedings of the Third IEEE International Symposium on Requirements Engineering, Washington D.C., USA, Jan 6-8, 1997, pp. 226–235. IEEE Computer Society Press, Los Alamitos (1997)
Maiden, N., Jones, S.: Dependability in RESCUE: A Concurrent Engineering Approach to the Specification of Requirements for Air Traffic Management. In: DSN 2004. Proceedings of the Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability, Washington DC, USA, June 29, 2004 (2004)
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic, Boston, etc. (1999)
Shum, S.B.: Design Argumentation as Design Rationale. In: The Encyclopedia of Computer Science and Technology, Marcel Dekker Inc., New York, pp. 95–128 (1996)
Ramesh, B., Dhar, V.: Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans. on Software Engineering 18(6), 498–510
UK Ministry of Defence, 00-56 Safety Management Requirements for Defence Systems, Part 1: Requirements, Issue 3, UK Ministry of Defence (August 2004)
Kelly, T.P.: Arguing Safety - A Systematic Approach to Safety Case Management. DPhil Thesis, University of York, York (1999)
Barbacci, M., Ellison, R., Lattanze, A., Stafford, J., Weinstock, C., Wood, W.: Quality Attribute Workshops (QAWs), Third Edition. Technical Report (CMU/SEI-2003-TR-016) Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University (2003)
ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, Society of Automotive Engineers, Inc. (1996)
Fenelon, P., McDermid, J., Nicholson, M., Pumfrey, D.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews 2(1), 21–32
McDermid, J.A.: Software Safety: Where’s The Evidence? In: Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society (2001)
Zave, P., Jackson, M.: Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology 6(1) (1997)
Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, London (2001)
Hull, M., Jackson, K., Dick, J.: Requirements Engineering. Springer, London (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Habli, I., Wu, W., Attwood, K., Kelly, T. (2007). Extending Argumentation to Goal-Oriented Requirements Engineering. In: Hainaut, JL., et al. Advances in Conceptual Modeling – Foundations and Applications. ER 2007. Lecture Notes in Computer Science, vol 4802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76292-8_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-76292-8_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76291-1
Online ISBN: 978-3-540-76292-8
eBook Packages: Computer ScienceComputer Science (R0)