Agile methods for open source safety-critical software

Software - Practice and Experience

Volumn 41, Issue 9, 2011, Pages 945-962

  Gary, Kevin ^a   Enquobahrie, Andinet ^b   Ibanez, Luis ^b   Cheng, Patrick ^c   Yaniv, Ziv ^c   Cleary, Kevin ^d   Kokoori, Shylaja ^a   Muffih, Benjamin ^a   Heidenreich, John ^a  

^a Arizona State University   (United States)

^b KITWARE INC   (United States)

^c GEORGETOWN UNIVERSITY MEDICAL CENTER   (United States)

^d CHILDREN'S NATIONAL MEDICAL CENTER   (United States)

Author keywords

agile methods; open source; safety; software process

Indexed keywords

ACADEMIC COMMUNITY; AGILE METHODS; AGILE PRACTICES; AGILE PROCESS; CLINICAL TRIAL; CONTINUOUS PROCESS; DEVELOPMENT TEAMS; EMPIRICAL PROCESS; FEED-BACK LOOP; FORMAL SPECIFICATION; FORMAL TECHNIQUES; IMAGE-GUIDED; OPEN SOURCE; OPEN SOURCE SOFTWARE PROJECTS; OPEN SOURCES; PROCESS ELEMENTS; REQUIREMENTS MANAGEMENT; RESEARCH LABS; SAFETY CRITICAL SOFTWARE; SAFETY CRITICAL SYSTEMS; SOFTWARE ENGINEERING PROCESS; SOFTWARE PROCESS; SOFTWARE TECHNOLOGY;

AGILE MANUFACTURING SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; HOSPITALS; MODELS; SAFETY ENGINEERING; SECURITY OF DATA; SECURITY SYSTEMS; SOFTWARE DESIGN; SOFTWARE RELIABILITY; TEACHING;

OPEN SYSTEMS;

EID: 79960129411     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.1075     Document Type: Article

References (37)

1. Beck K, Beedle M, van Bennekum A, Coburn A, Cunningham W, Fowler M, Grenning J, Highsmith J, Hunt A, Jefferies R, Kern, Schwaber K, Sutherland J, Thomas D,. Manifesto for Agile Software Development, November 2001. Available at:, last [10 December 2010 ].
2. Gary K, Ibanez L, Aylward S, Gobbi D, Blake MB, Cleary K,. IGSTK: An open source software toolkit for image-guided surgery. IEEE Computer 2006; 39 (4): 46-53.
3. Bowen JP, Stavridou V,. Safety-critical systems, formal methods and standards. IEE/BCS Software Engineering 1993; 8 (4): 189-209.
4. Boehm B,. Get ready for agile methods, with care. IEEE Computer 2002; 35 (1): 64-69. (Pubitemid 34069382)
5. Leveson NG,. Software safety: Why, what, and how. ACM Computing Surveys (CSUR) 1986; 18 (2): 125-163.
6. Parnas D, van Schouwen AJ, Kwan SP,. Evaluation of safety-critical software. Communications of the ACM 1990; 33 (6): 636-648. (Pubitemid 21672425)
7. Schwaber, K, Beedle M,. Agile Software Development with Scrum (1st edn). Prentice Hall PTR: Upper Saddle River, NJ, 2001.
8. Cockburn A,. Characterizing people as non-linear, first-order components in software development. Fourth International Multi-Conference on Systems, Cybernetics and Informatics, Orlando, FL, 2000.
9. Lindvall M, Basili V, Boehm B, Costa P, Dangle K, Shull F, Tesoriero R, Williams L, Zelkowitz M,. Empirical findings in agile methods. Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods-Xp/Agile Universe 2002 (Lecture Notes in Computer Science, vol. 2418), Wells D, Williams LA, (eds.). Springer: London, 2002; 197-207.
10. Gelowitz C, Sloman I, Benedicenti L, Paranjape R,. Real-Time Extreme Programming (Lecture Notes in Computer Science, vol. 2675). Springer: Berlin, 2003.
11. Spence JW,. There has to be a better way! [software development]. Proceedings of the Agile Development Conference, ADC. IEEE Computer Society: Washington, DC, 2005; 272-278. (Pubitemid 46379869)
12. Van Schooenderwoert N,. Embedded extreme programming: An experience report. Embedded Systems Conference, Boston, 2004.
13. Van Schoownderwoert N, Morsicato R,. Taming the embedded tiger agile test techniques for embedded software. Agile Development Conference, Salt Lake City, 2004.
14. Manhart P, Schneider K,. Breaking the ice for agile development of embedded software: An industry experience report. Proceedings of the 26th International Conference on Software Engineering. IEEE Computer Society: Washington, DC, 2004; 378-386.
15. Grenning J,. Launching extreme programming at a process-intensive company. IEEE Software 2001; 18 (6): 27-33. (Pubitemid 33106279)
16. Bowers J, May J, Melander E, Baarman M, Ayoob A,. Tailoring XP for large system mission critical software development. Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods-Xp/Agile Universe 2002 (Lecture Notes in Computer Science, vol. 2418), Wells D, Williams LA, (eds.). Springer: London, 2002; 100-111.
17. Royce WW,. Managing the development of large software systems: Concepts and techniques. Proceedings of IEEE WestCon, Los Angeles, 1970.
18. Kruchten P,. The Rational Unified Process-An Introduction. Addison-Wesley: Reading, MA, 2000.
19. Leveson NG, Turner CS,. An investigation of the Therac-25 accidents. IEEE Computer 1993; 26 (7): 18-41.
20. Lutz RR,. Software engineering for safety: A roadmap. Proceedings of the International Conference on the Future of Software Engineering, Limerick, Ireland, 2000; 213-226.
21. Storey N,. Safety-Critical Computer Systems. Addison-Wesley Longman: Harlow, England, 1996.
22. Bowen JP,. Ethics of safety-critical systems. Communications of the ACM 2000; 43 (4): 91-97.
23. Broy M, Jonsson B, Katoen JP, Leucker M, Pretschner A,. Model-Based Testing of Reactive Systems (Lecture Notes in Computer Science, vol. 3472). Springer: Berlin, 2005.
24. Cleary K, Cheng P, Enquobahrie A, Yaniv Z,. IGSTK: The Book (2nd edn). The ISIS Center, Georgetown University, 2009.
25. U.S. Food and Drug Administration. Code of Federal Regulations, Title 21, Chapter 1, Subchapter H, Part 820 Medical Device Quality System Regulation, 1996.
26. Raheja D,. Assurance Technologies: Principles and Practices. McGraw-Hill: New York, 1991.
27. Gary K, Kokoori S, David B, Otoom M, Cleary K,. Architecture validation in open source software. Proceedings of the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA'07), Boston, MA, 2007.
28. W3C. State Chart XML (SCXML): State Machine Notation for Control Abstraction. State Chart XML (SCXML): State Machine Notation for Control Abstraction 1.0, 2005. Available at: [19 January 2011 ].
29. Harris IG,. Fault models and test generation for hardware-software covalidation. IEEE Design and Test of Computers 2003; 20 (4): 40-47.
30. Offutt J, Liu S, Abdurazik A, Ammann P,. Generating test data from state-based specifications. The Journal of Software Testing, Verification and Reliability 2003; 13 (1): 25-53.
31. Hune TS,. Analyzing Real-Time Systems: Theory and Tools. PhD Dissertation, Basic Research in Computer Science, University of Aarhus, Denmark, 2001.
32. Watson AH, McCabe TJ,. Structured Testing: a Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235, 1996.
33. Holzmann G,. The SPIN Model Checker. Addison-Wesley: Boston, MA, 2003.
34. Bengtsson J, Larsen K, Larsson F, Pettersson P, Yi W,. UPPAAL-A tool suite for automatic verification of real-time systems. Proceedings of Hybrid Systems III. Springer: Berlin, 1996.
35. Magee J, Kramer J,. Concurrency: State Models and Java Programs (2nd edn). Wiley: Hoboken, 2006.
36. Yaniv Z, Cheng P, Wilson E, Popa T, Lindisch D, Campos-Nanez E, Abeledo H, Watson V, Cleary K,. Needle-based interventions with the image-guided surgery toolkit (IGSTK): From phantoms to clinical trials. IEEE Transactions on Biomedical Engineering 2010; 57 (4): 922-933
37. Kazman R, Klein M, Clements P,. ATAM: Method for architecture evaluation. Technical Report CMU/SEI-2000-TR-004, (ADA382629), Software Engineering Institute, Carnegie Mellon University, 2000.