Making embedded software reuse practical and safe

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 171-178

  Leveson, Nancy G ^a   Weiss, Kathryn Anne ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Real time and embedded software; Software reuse

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MARTIAN SURFACE ANALYSIS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

MICROWAVE LANDING SYSTEMS; REACTION CONTROL SYSTEM (RCS); REAL-TIME AND EMBEDDED SYSTEMS; SOFTWARE REUSE;

COMPUTER SOFTWARE;

EID: 20344384796     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1041685.1029897     Document Type: Conference Paper

References (19)

1. Nicolas Dulac. Empirical Evaluation of Design Principles for Increasing Reviewability of Formal Requirements Specifications through Visualization. Master's Thesis, Aeronautics and Astronautics, MIT, August 2003.
2. Nicholas Dulac, Thomas Viguier, Nancy Leveson, and Margaret-Anne Storey, On the use of visualization in formal requirements specification. International Conference on Requirements Engineering, Essen, Germany, September 2002.
3. E.E. Euler, S.D. Jolly, and H.H. Curtis. The failures of the Mars Climate Orbiter and Mars Polar Lander: A perspective from the people involved. Proceedings of Guidance and Control 2001, American Astronautical Society, paper AAS 01-074, 2001.
4. John L. Goodman. Lessons learned from flights of 'off-the-shelf aviation navigation units on the Space Shuttle. Joint Navigation Conference, Orlando Florida, May 2002.
5. John L. Goodman. A software perspective on GNSS receiver integration and Operation. Satellite Navigation Systems: Policy, Commercial, and Technical Interaction, International Space University, Strasbourg, Prance, May 2003.
6. Kelly J. Hayhurst and C. Michael Holloway. Considering object-oriented technology in aviation applications. Digital Avionics Systems Conference, 2003.
7. Charles Kruger. Software reuse. ACM Computing Surveys, Vol. 24, No. 2, June 1992, pp. 131-183.
8. Ray Leopold. Personal communication. May 2004.
9. Nancy G. Leveson Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering, Vol. SE-26, No. 1, January 2000.
10. Nancy G. Leveson The role of software in spacecraft accidents. AIAA Journal of Spacecraft and Rockets, Vol 41, No. 4, July 2004.
11. Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, and Jon Damon Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, SE-20, No. 9, September, 1994.
12. J.L. Lions (Chair). Ariane 501 Failure: Report by the Inquiry Board. European Space Agency, July 19, 1996.
13. NASA/ESA Investigation Board. SOHO Mission Interruption. NASA, August 31, 1998.
14. J.G. Pavlovich (Chair). Formal Report of Investigation of the 30 April Titan IV B/Centaur TC-14/Milstar-3 (B-32) Space Launch Mishap. U.S. Air Force, 1999.
15. Linda Rosenberg. Personal communication. August 2001.
16. Safeware Engineering Corporation. SpecTRM User Manual. 2003.
17. Steven A. Stolper. Streamlined design approach lands Mars Pathfinder. IEEE Software, Vol. 16, No. 5, September/October 1999.
18. Kathryn Anne Weiss. Component-Based Systems Engineering for Autonomous Spacecraft. Master's Thesis, Aeronautics and Astronautics, MIT, August 2003.
19. Elaine Weyuker. Testing component-based software: A cautionary tale. IEEE Software, September/October 1998.