Reliability and availability requirements engineering within the unified process using a dependability analysis and modeling profile

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference

Volumn , Issue , 2010, Pages 95-104

  Bernardi, Simona ^a   Merseguer, José ^b   Lutz, Robyn R ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

^c Iowa State University   (United States)

Author keywords

Fault trees; Misuse cases; Reliability and availability requirements; Unified modeling language profile; Unified Process

Indexed keywords

FAULT-TREES; MISUSE CASE; RELIABILITY AND AVAILABILITY; RELIABILITY AND AVAILABILITY REQUIREMENTS; UNIFIED PROCESS;

DAMS; FAULT TREE ANALYSIS; LINGUISTICS; MANAGEMENT; RELIABILITY ANALYSIS; UNIFIED MODELING LANGUAGE;

QUALITY ASSURANCE;

EID: 77954330900     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2010.21     Document Type: Conference Paper

References (32)

1. M. Donnelly, B. Everett, J. Musa, and G. Wilson, "Best current practice of software reliability engineering," in Handbook of Software Reliability Engineering, M. R. Lyu, Ed. IEEE Computer Society Press, 1996, ch. 6, pp. 219-254.
2. A. Abran, J. W. Moore, P. Bourque, and R. Dupuis, Eds., Guide to the Software Engineering Body of Knowledge. Los Alamitos, California: IEEE Computer Society, 2004. [Online]. Available: http://www.swebok.org/.
3. I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process. Addison Wesley, 1999.
4. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 2nd ed. Addison Wesley, 2004.
5. A UML profile for Modeling and Analysis of Real Time Embedded Systems, Beta 1, Object Management Group, August 2007, adopted Spec., ptc/07-08-04.
6. S. Bernardi, J. Merseguer, and D. Petriu, "A dependability profile within MARTE," Software and Systems Modeling, August 2009, DOI: 10.1007/s10270-009-0128-1.
7. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Transactions on Dependable and Secure Computing, vol. 01, no. 1, pp. 11-33, 2004. (Pubitemid 40134576)
8. P. Verissimo, N. Neves, M. Correia, A. A. E. Kalam, and A. Bondavalli, "The CRUTIAL architecture for critical information infrastructures," in Architecting Dependable Systems V, ser. LNCS 5135, R. de Lemos et al., Ed., Berlin Heidelberg, 2008, pp. 1-27.
9. S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe, "Model-driven assessment of system dependability," Journal of Software and Systems Modeling, vol. 7, no. 4, pp. 487-502, 2008.
10. S. Mustafiz, J. Kienzle, and A. Berlizev, "Addressing degraded service outcomes and exceptional modes of operation in behavioural models," in Proc. of the RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE'08). New York, NY, USA: ACM, 2008, pp. 19-28.
11. V. Cortellessa and A. Pompei, "Towards a UML Profile for QoS: a contribution in the reliability domain," in Proceedings of the Fourth International Workshop on Software and Performance (WOSP'04), January 2004, pp. 197-206.
12. P. Donzelli and V. Basili, "A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project," Journal of System and Software, vol. 79, pp. 107-119, 2006.
13. K. Allenby and K. Kelly, "Deriving safety requirements using scenarios," in International Conference on Requirements Engineering. IEEE Computer Society, 2001, pp. 228-235.
14. F. Iwu, A. Galloway, J. McDermid, and J. Toyn, "Integrating safety and formal analyses using UML and PFS," Reliability Engineering and System Safety, vol. 92, no. 2, pp. 156-170, 2007.
15. G. Zoughbi, L. Briand, and Y. Labiche, "A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software," in Proceedings of Models 2007, ser. LNCS. Springer-Verlag, 2007, vol. 4735, pp. 574-588.
16. L. Shourong and A. Wolfgang, "A UML Profile to model safety-critical embedded real-time control systems," in Studies in Computational Intelligence (SCI). Springer-Verlag Berlin Heidelberg, 2007, vol. 42, pp. 197-218.
17. K. Goseva-Popstojanova et al., "Architectural-level risk analysis using UML," IEEE Transactions on Software Engineering, vol. 29, no. 10, pp. 946-960, 2003.
18. M. R. Lyu, Ed., Handbook of Software Reliability Engineering. IEEE Computer Society Press, 1996.
19. R. Lutz and A. Nikora, "Failure Assessment," 1st Int'l Forum on Integrated System Health Engineering and Management for Aerospace (ISHEM 2005), November 2005.
20. R. Lutz, S. Nelson, A. Patterson-Hine, C. Frost, D. Tal, and R. Harris, "Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle," Requirements Engineering, vol. 12, no. 1, pp. 41-54, 2007.
21. E. Troubitsyna, "Elicitation and specification of safety requiments," in IEEE Proc. of the Third Int'l Conference on Systems. IEEE, 2008, pp. 202-207.
22. C. Haley, R. Laney, J. D. Moffett, and B. Nuseibeh, "Security requirements engineering: A framework for representation and analysis," IEEE Transactions on Software Engineering, vol. 34, no. 1, pp. 133-153, 2008.
23. J. Arlow and I. Neustadt, UML 2 and the Unified Process, 2nd ed. Addison Wesley, 2005.
24. S. Bernardi, J. Merseguer, and D. Petriu, "A UML profile for Dependability Analysis and Modeling of Software Systems," Universidad de Zaragoza, Spain, Tech. Rep. RR-08-05, 2008.
25. I. Jacobson, M. Christenson, P. Jonsson, and G. Overgaard, Object Oriented Software Engineering: A Use Case Driven Approach. Addison Wesley, 1992.
26. I. Alexander, "Misuse cases: Use cases with hostile intent," IEEE Software, vol. 20, no. 1, pp. 58-66, 2003.
27. A. Cockburn, Writing Effective Use Cases. Addison Wesley, 2001.
28. IEEE Std 830-1998, "IEEE recommended practice for software requirements specifications," 1998.
29. "Unified Process for EDUcation," http://www.upedu.org/upedu/, 2008.
30. R. R. Lutz, "Targeting safety-related errors during software requirements analysis," in SIGSOFT FSE, 1993, pp. 99-106.
31. N. Leveson, Safeware. Addison-Wesley, 1995.
32. G. Helmer, J. Wong, M. Slagell, V. Honavar, L. Miller, and R. Lutz, "A Software Fault Tree approach to requirement analysis of an intrusion detection system," Requirement Engineering, vol. 7, pp. 207-220, 2002.