Making embedded software reuse practical and safe

Authors:
Nancy G. Leveson;Kathryn Anne Weiss
Affiliations:
Massachusetts Institute of Technology;Massachusetts Institute of Technology
Venue:
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Year:
2004

Citing 6
Cited 2

Software reuse

ACM Computing Surveys (CSUR)
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Intent Specifications: An Approach to Building Human-Centered Specifications

IEEE Transactions on Software Engineering
Testing Component-Based Software: A Cautionary Tale

IEEE Software
Streamlined Design Approach Lands Mars Pathfinder

IEEE Software
On the Use of Visualization in Formal Requirements Specification

RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System

ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Trusted Product Lines

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and demonstrates them using a case study on a real spacecraft.