Abstract
Current requirements analysis methods focus on the functional properties of fault free systems. It is known that, regardless of the type of software system, many faults are made during engineering and that these faults may conduct system errors and then system failures. We believe that faulty engineering activities, as well as correct activities, should be given precedence during software development. In this paper we present CORA, which is the analysis phase for the CORRECT methodology. CORA introduces semi-formal models based on UML and OCL that allow for the specification of normal system behaviors, as well as abnormal behaviors, together with their associated recovery strategy. CORA proposes to specify fault-tolerant systems using a domain model as a custom UML class diagram and an activity model as a custom UML activity diagram. The deviation and recovery strategies are expressed explicitly in a specific section of the CORA Activity Diagram. This paper introduces CORA conceptually and it explicitly defines the syntax and semantics of the proposed analysis models. We also use a running example to illustrate our approach.
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
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Beder, D.M., Randell, B., Romanovsky, A., Rubira, C.M.F.: On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In: ISORC - 2001 Proceedings. Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 103–112. IEEE Computer Society Press, Los Alamitos (2001)
Capozucca, A., Guelfi, N., Pelliccione, P.: The fault-tolerant insulin pump therapy. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol. 4157, pp. 59–79. Springer, Heidelberg (2006)
Cockburn, A.: Structuring use cases with goals. Journal of Object-Oriented Programming, in two parts, the September-October issue and the November-December issue (1997)
ISO/IEC 12207: Information Technology - Software life cycle processes (1995)
Guelfi, N., Perrouin, G.: A flexible requirements analysis approach for software product lines. In: Sawyer, P., Paech, B., Heymans, P. (eds.) REFSQ 2007. LNCS, vol. 4542, pp. 78–92. Springer, Heidelberg (2007)
Guelfi, N., Perrouin, G.: Using Model Transformation and Architectural Frameworks to Support the Software Development Process: the FIDJI Approach. In: 2004 Midwest Software Engineering Conference, pp. 13–22 (2004)
Kaaniche, M., Laprie, J.-C., Blanquart, J.-P.: A framework for dependability engineering of critical computing systems. Safety Science, vol. 40, pp. 731–752. Elsevier Science Ltd., Amsterdam (2002)
Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-Oriented Requirement Engineering. IEEE Transactions on Software Engineering 26(10) (2000)
Laprie, J.C.: Dependability: A Unifying Concept For Reliable Computing and Fault Tolerance. In: Anderson, T. (ed.) Dependability of Resilient Computers. BSP Professional Books, Oxford (1989)
Mustafiz, S., Kienzle, J.: Addressing Dependability in Use Case Driven Requirements Elicitation. Tech. Rep. SOCS-TR-2006.3, McGill University, Montreal, Canada (2006)
Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-driven assessment of use cases for dependable systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 558–573. Springer, Heidelberg (2006)
Nebut, C., Baudry, B., Kamoun, S., Saeed, W.A.: Multi-Language Support for Model-Driven Requirement Analysis and Test Generation. In: ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, Bilbao, Spain (2006)
Shui, A., Mustafiz, S., Kienzle, J.: Exception-aware requirements elicitation with use cases. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A.R. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol. 4119, pp. 221–242. Springer, Heidelberg (2006)
Parnas, D.L.: On the Design and Development of Program Families. IEEE Transactions on Software Engineering 2(1), 1–9 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Berlizev, A., Guelfi, N. (2009). Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds) Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science, vol 5454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00867-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-00867-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00866-5
Online ISBN: 978-3-642-00867-2
eBook Packages: Computer ScienceComputer Science (R0)