Safety and software intensive systems: Challenges old and new

FoSE 2007: Future of Software Engineering

Volumn , Issue , 2007, Pages 137-152

  Heimdahl, Mats P E ^a  

^a University of Minnesota   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REQUIREMENTS ENGINEERING; SECURITY SYSTEMS;

AUTOMATED TOOLS; INCORRECT DATA; SOFTWARE INTENSIVE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 34748893239     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FOSE.2007.18     Document Type: Conference Paper

References (82)

1. I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in ACTL formulas. In Formal Methods in System Design, pages 141-162, 2001.
2. A. Bertolino. Software testing research: Achievements, challenges, dreams. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 2007.
3. P. Bishop and R. Bloomfield. A methodology for safety case development. In F. Redmill and T. Anderson, editors, Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, pages 194-203. Springer, 1998.
4. M. R. Blackburn, R. D. Busser, and J. S. Fontaine. Automatic generation of test vectors for SCR-style specifications. In Proceedings of the 12th Annual Conference on Computer Assurance, COMPASS'97, June 1997.
5. The Future of Drug Safety: Promoting and Protecting the Health of the Public. Board on Population Health and Public Health Practice (BPH), Institute of Medicine (IOM), 2006.
6. L. Briand and A. Wolf, editors. Future of Software Engineering 2007. IEEE-CS Press, 2007.
7. S. Brilliant, J. Knight, and N. Leveson. The consistent comparison problem in N-version programming. IEEE Transactions on Software Engineering, Vol. SE-165(No. 11), November 1989.
8. S. Brilliant, J. Knight, and N. Leveson. Analysis of faults in an N-version software experiment. IEEE Transactions on Software Engineering, Vol. SE-16(No. 2), February 1990.
9. F. P. Brooks. No silver bullet - essence and accidents of software engineering. IEEE Computer, 20(4): 10-19, April 1987.
10. F. P. Brooks Jr. The Mythical Man Month. Addison-Wesley, anniversary edition, 1995.
11. M. Chechik, M. Gheorghiu, and A. Gurfinkel. Finding environmental guarantees. In Proceedings of Fundamental Approaches to Software Engineering (FASE'07), To appear in 2007.
12. L. Chen and A. Avizienis. N-version programming: A fault-tolerance approach to reliability of software operation. In Digest of Papers FTCS-8: Eighth Annual International Conference on Fault Tolerant Computing, pages pp. 3-9, Tolouse, France, June 1978.
13. B. Cheng and J. Atlee. Research directions in requirements engineering. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 20007.
14. J. Chilenski and S. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, 9:193-200, September 1994.
15. H. Chockler, O. Kupferman, R. P. Kurshan, and M. Y. Vardi. A practical approach to coverage in model checking. In Proceedings of the International Conference on Computer Aided Verification (CAV'01), Lecture Notes in Computer Science 2102, pages 66-78. Springer-Verlag, July 2001.
16. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for temporal logic model checking. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 2031, pages 528-542. Springer-Verlag, April 2001.
17. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
18. M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, and W. Visser. Formal software analysis: Emerging trends in software model checking. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 20007.
19. Esterel-Technologies. Corporate web page. www.esterel-technologies.com, 2004.
20. Esterel-Technologies. SCADE Suite product description. http://www.esterel-technologies.com/v2/ scadeSuiteForSafetyCriticalSoftwareDevelopment/index.html, 2004.
21. Software Tools Workshop of FAA and Embry-Riddle Aeronautical University. http://www.erau.edu/db/campus/softwaretoolsforum.html, May 2004.
22. A. Finkelstein, editor. ICSE 2000 - Future of Software Engineering Track, New York, NY, USA, 2000. ACM Press.
23. R. France and B. Rumpe. Model-driven development of complex systems: A research roadmap. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 20007.
24. W. S. Greenwell, J. C. Knight, C. M. Holloway, and J. J. Pease. A taxonomy of fallacies in system safety arguments. In Proceedings of the 2006 International System Safety Conference, 2006.
25. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.
26. M. P. Heimdahl and G. Devaraj. Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria, September 2004.
27. M. P. Heimdahl, G. Devaraj, and R. J. Weber. Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida, March 2004.
28. M. P. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao. Auto-generating test sequences using model checkers: A case study. In 3rd International Worshop on Formal Approaches to Testing of Software (FATES 2003), 2003.
29. K. Heninger. Specifying software requirements for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 6(1):2-13, Januaray 1980.
30. D. S. Herrmann. Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors. Wiley-IEEE Computer Society Press, USA, 2000.
31. G. J. Holzmann. The model checker SPIN. IEEE Transactions on software Engineering, pages 279-295, May 1997.
32. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural. Data flow testing as model checking. In Proceedings of the International Conference on Software Engineering, Portland, Oregon, May 2003.
33. H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), Grenoble, France, April 2002.
34. IEC-61508: Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-Related Systems. International Electrotechnical Commission (IEC), 1999.
35. M. S. Jaffe, N. G. Leveson, M. P. Heimdahl, and B. E. Melhart. Software requirements analysis for real-time processcontrol systems. IEEE Transactions on Software Engineering, 17(3):241-258, March 1991.
36. T. P. Kelly and R. A. Weaver. The goal structuring notationa safety argument notation. In Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, 2004.
37. J. Knight and N. Leveson. An experimental evaluation of the assumption of independence in multi-version programming. IEEE Transactions on Software Engineering, Vol. SE-12(No. 1):96-109, January 1986.
38. J. C. Knight. Focusing software education on engineering. ACM SIGSOFT Software Engineering Notes, Vol. 30(No. 2), March 2005.
39. J. C. Knight and N. G. Leveson. Should software engineers be licensed? Communications of the ACM, Vol. 45(No. 11): 87-90, November 2002.
40. J. C. Knight and N. G. Leveson. Software and higher education. Communications of the ACM, Vol. 49(No. 1): 160, January 2006.
41. J. C. Knight, E. A. Strunk, W. S. Greenwell, and K. S. Wasson. Specification and analysis of data for safety-critical systems. In 22nd International System Safety Conference, Providence, RI, August 2004.
42. O. Kupferman and M. Y. Vardi. Vacuity detection in temporal model checking. Journal on Software Tools for Technology Transfer, 4(2), February 2003.
43. T. Lethbridge, J. Diaz-Herrera, R. LeBlanc, and J. Thompson. Improving software practice through education: Challenges and future trends. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 20007.
44. N. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 20(9):684706, September 1994.
45. N. Leveson, J. Reese, and M. Heimdahl. SpecTRM: A CAD system for digital automation. In Proceedings of the 17th Digital Avionics Systems Conference, November 1998.
46. N. G. Leveson. Software safety: Why, what, and how? ACM Computing Surveys, 18(2), June 1986.
47. N. G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995.
48. N. G. Leveson. System Safety Engineering: Back To The Future. On line publication: http://sunnyday.mit.edu/book2.pdf, 2002.
49. N. G. Leveson. A new approach to hazard analysis for complex systems. In Proceedings of the International Conference of the System Safety Society, Ottawa, Canada, August 2003.
50. N. G. Leveson. A systems-theoretic approach to safety in software-intensive systems. IEEE Transactions on Dependable and Secure Computing, Vol. 1(No. 1):66-86, JanuaryMarch 2005.
51. N. G. Leveson, M. P. Heimdahl, and J. D. Reese. Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, volume 1687 of LNCS, pages 127-145, September 1999.
52. R. R. Lutz. Targeting safety related errors during software requirements analysis. Journal of Systems Software, 34(3):223-230, September 1996.
53. R. R. Lutz. Software engineering for safety: a roadmap. In A. Finkelstein, editor, ICSE 2000 - Future of Software Engineering Track, pages 213-226, New York, NY, USA, 2000. ACM Press.
54. MathWorks. The MathWorks Inc. corporate web page. http://www.mathworks. com, 2004.
55. Mathworks Inc. Simulink product web site. Via the worldwide-web: http://www.mathworks.com.
56. Mathworks Inc. Stateflow product web site. vVia the worldwide-web: http://www.mathworks.com.
57. J. A. McDermid. Software safety: where's the evidence? In SCS '01: Proceedings of the Sixth Australian workshop on Safety critical systems and software, pages 1-6, Darlinghurst, Australia, Australia, 2001. Australian Computer Society, Inc.
58. J. A. McDermid and D. J. Pumfrey. Software safety: Why is there no consensus? In Proceedings of the 19th International System Safety Conference. System Safety Society, 2001.
59. Merck. Vioxx home page, http://www.vioxx.com/, 2004.
60. S. Miller, A. Tribble, T. Carlson, and E. J. Danielson. Flight guidance system requirements specification. Technical Report CR-2003-212426, NASA, June 2003.
61. S. P. Miller, A. C. Tribble, M. W. Whalen, and M. P. E. Heimdahl. Proving the shalls: Early validation of requirements through formal methods. Int. J. Softw. Tools Technol. Transf., 8(4):303-319, 2006.
62. Requirements for Safety Related Software in Defence Equipment, Issue 2. UK Ministry of Defence, 1997.
63. Safety Management Requirements for Defence Systems, Issue 2. UK Ministry of Defence, 1996.
64. The NuSMV Toolset, 2005. Available at http://nusmv.irst.itc.it/.
65. S. Owre, N. Shankar, and J. Rushby. User Guide for the PVS Specification and Verification System. Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, March 1993.
66. D. L. Parnas. Education for computing professionals. IEEE Computer, Vol. 23(No. 1), January 1990.
67. M. Purandare and F. Somenzi. Vacuum cleaning CTL formulae. In Proceedings of the 14th Conference on Computer Aided Design, pages 485-499. Springer-Verlag, 2002.
68. D. Raheja. Assurance Technologies: Principles and Practices. McGraw-Hill, 1991.
69. S. Rayadurgam and M. P. Heimdahl. Coverage based testcase generation using model checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), pages 83-91. IEEE Computer Society, April 2001.
70. R. I. C. RI and M. F. O'Connor. Medication Safety: A Guide to Health Care Facilities, chapter Thinking about accidents and systems, pages 73-87. American Society of HealthSystem Pharmacists, Bethesda, MD, 2005.
71. RTCA. DO-178B: Software Considerations In Airborne Systems and Equipment Certification. RTCA, 1992.
72. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Object Technology Series. Addison-Wesley, 1998.
73. SAE-ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International, December 1996.
74. RTCA SC-205 (Joint with EUROCAE WG-71) Software Considerations. http://www.rtca.org/co mm/Committee.cfm?id=55.
75. M. L. Shooman. Avionics software problem occurrence rates. In Proceedings of the Seventh International Symposium on Software Reliability Engineering, pages 55-64, 1996.
76. N. Storey. Safety-Critical Computer Systems. Addison Wesley Longman, Harlow, England, 1996.
77. N. Storey and A. Faulkner. The characteristics of data in data-intensive safety-related systems. In SAFECOMP, pages 396-409, 2003.
78. N. Storey and A. Faulkner. Data-the forgotten system component? Journal of System Safety, Vol. 39(No. 4):10-14, 36, 2003.
79. R. Taylor and A. van der Hoek. Software design and architecture: The once and future focus of software engineering. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 20007.
80. M. Whalen, A. Rajan, M. Heimdahl, and S. Miller. Coverage metrics for requirements-based testing. In Proceedings of International Symposium on Software Testing and Analysis, July 2006.
81. E. V. Wyk and M. P. Heimdahl. Flexibility in modeling languages and tools: A call to arms. In Proceedings of the IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Columbia, Maryland, USA, September 2005.
82. M. K. Zimmerman, K. Lundqvist, and N. Leveson. Investigating the readability of state-based formal requirements specification languages. In Proceedings of the 24th International Conference on Software engineering, pages 33 - 43, Orlando, Florida, May 2002. ACM Press.