A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project

Journal of Systems and Software

Volumn 79, Issue 1, 2006, Pages 107-119

  Donzelli, Paolo ^a   Basili, Victor ^a,b  

^a University of Maryland ^*  (United States)

^b Fraunhofer USA Inc   (United States)

Author keywords

Non functional requirements; Requirements elicitation; System dependability

Indexed keywords

AIR TRAFFIC CONTROL; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY;

CATASTROPHIC FAILURES; NON-FUNCTIONAL REQUIREMENTS; REQUIREMENTS ELICITATION; SYSTEM DEPENDABILITY;

REAL TIME SYSTEMS;

EID: 31044434638     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2005.03.011     Document Type: Article

References (39)

1. Asgari, S., Basili, V., Costa, P., Donzelli, P., Hochstein, L., Lindvall, M., Rus, I., Shull, F., Tvedt, R., Zelkowitz, M., 2004. Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification. In: Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK.
2. Avizienis, A., Laprie, J.C., Randell, B., 2001. Fundamental concepts of dependability. Research Report N01145, LAAS-CNRS, France.
3. V. Basili, P. Donzelli, and S. Asgari The unified model of dependability: Putting dependability in context IEEE Software 21 3 2004 19 25
4. Basili, V., Donzelli, P., Asgari, S., 2004b. Modeling dependability-the unified model of dependability. Technical Report CS-TR-46-01, University of Maryland College Park, MD, US.
5. Bass, L., Clements, P., Kazman, R., 2003. Software Architecture in Practice, second ed. The SEI Series in Software Engineering. Addison Wesley.
6. B. Boehm, and L. Huang Value-based software engineering: A case study IEEE Computer 36 3 2003 34 41
7. B. Boehm, A. Egyed, J. Kwan, A. Shah, and R. Madachy Using the win-win spiral model: A case study IEEE Computer 31 7 1998 33 44
8. Boehm, B., Huang, L., Jain, A., Madachy, R., 2003. The nature of information system dependability-a stakeholder/value approach. Technical Report, University of Southern California, CA, US.
9. B. Boehm, L. Huang, A. Jain, and R. Madachy The ROI of software dependability: The iDave model IEEE Software 21 3 2004 54 61
10. L. Chung, B. Nixon, E. Yu, and J. Mylopoulos Non Functional Requirements in Software Engineering 2000 Kluwer Academic Publisher
11. Dennis, G., 2003. TSAFE: Building a trusted computing base for air traffic control software. MSc thesis, MIT, Boston, MA, US.
12. Erzberger, H., 2001. The automated airspace concept. In: Proceedings of the 4th USA/Europe Air Traffic management R&D Seminar, Santa Fe, New Mexico, US.
13. Eurocontrol-European Organization for Safety of Air Navigation. Available from: < http://www.eurocontrol.be/home.html >.
14. European Union, 2002. European Initiative on Dependability: Towards Dependable Information, Report, Bruxelles. Available from: < http://deppy.jrc.it >.
15. M. Fowler UML Distilled third ed. 2004 Addison-Wesley
16. HDCP-High Dependability Computing Project, 2002. Available from: < http://hdcp.org >.
17. He, J., Hiltunen, M., Schlichting, R., 2004. Customizing dependability attributes for mobile service platforms. In: Proceedings of the International Conference on Dependable Systems and Networks, Florence, Italy.
18. IBM Research. Orthogonal Defect Classification. Available from: < www.research.ibm.com/softeng/ODC >.
19. IFIP-International Federation for Information Processing WG-10.4. Available from: < www.dependability.org >.
20. Jog, N., Shneiderman, B., 1995. Starfield information visualization with interactive smooth zooming. In: Proceedings of the IFIP 2.6 Visual Databases Systems, Lausanne, Switzerland.
21. Knight, J., 2002. Safety critical systems: Challenges and directions. In: Proceedings of the International Conference on Software Engineering, Orlando, FL, US.
22. J.C. Laprie Dependability: Basic Concepts and Terminology, Dependable Computing and Fault Tolerance 1992 Springer-Verlag
23. Littlewood, B., Stringini, L., 2000. Software reliability and dependability: A roadmap. In: Proceedings of the ACM Future of Software Engineering conference, Limerick, Ireland.
24. Melhart, B., White, S., 2000. Issues in defining, analyzing, refining, and specifying system dependability requirements. In: Proceedings of the 7th IEEE Conference on the Engineering of Computer Based Systems, Lund, Sweden.
25. P. Mellor Failures, faults and changes in dependability measurement, 1992 Information and Software Technology 34 10 1992 640 654
26. Moteff, C., Copeland, J., Fisher, S., 2003. Critical infrastructures: What makes an infrastructure critical? Technical Report RL31556, The Library of Congress, DC, US.
27. OMG-Object management Group, 2001. UML Profile for Schedulability, Performance, and Time Specification. Available from: < www.omg.org >.
28. OMG-Object Management Group, 2004. UML Profile for Modeling Quality of Services and Fault Tolerant Characteristics and Mechanisms. Available from: < www.omg.org >.
29. Randel, B., 1998. Dependability, a unifying concept. In: Proceedings of Computer Security, Dependability and Assurance: from Needs to Solutions, York, UK and Williamsburg, VA, USA.
30. RTCA-Radio Technical Commission for Aeronautics, 1992. Software Considerations in Airborne Systems and Equipment Certification, DO-178B Standard.
31. Shaw, M., 2002. Everyday dependability for everyday needs. In: Supplemental Proceedings of the 13th International Symposium on Software Reliability Engineering, Maryland, US.
32. Sommerville, I., 2003. An integrated approach to dependability requirements engineering. In: Proceedings of the 11th Safety-Critical Systems Symposium, Bristol, UK.
33. I. Sommerville Software Engineering seventh ed. 2004 Addison-Wesley UK
34. US, 2003. National Strategy to Secure Cyberspace, Report, Washington DC. Available from: < www.whitehouse.gov/pcipb >.
35. US Department of Defense, 1985. Trusted Computer System Evaluation Criteria (Orange Book), DOD 5200.28-STD.
36. US Department of Defense, 2000. Standard practice for system safety, MIL-STD-882D.
37. Walkerdine, J., Melville, L., Sommerville, I., 2004. Dependability within peer-to-peer systems. In: proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK.
38. Weinstock, C.B., Goodenough, J., Hudak, J., 2004. Dependability cases. SEI Technical Report CMU/SEI-2004-TN-016, PA, US.
39. Wenger, A., Metzger, J., Dunn, M., 2004. International CIIP Handbook, Swiss Federal Institute of Technology Zurich. Available from: < www.isn.ethz.ch/crn/_docs/CIIP_Handbook_2004_web.pdf >.