A framework for software reuse in safety-critical system of systems
Warren, Bradley R.
Michael, James B.
MetadataShow full item record
This thesis concerns the effective and safe software reuse in safety-critical system-of-systems. Software reuse offers many unutilized benefits such as achieving rapid system development, saving resources and time, and keeping up technologically in an increasingly advancing global environment. System software needs to be designed for both reuse and safety and available information shared effectively. We introduce a process neutral framework for software reuse in safety-critical system of systems. That framework consists of four elements: organizational factors, component attributes, component specification, and safety analysis. We developed a model (C5RA) to capture the relevant component information and assist in specification matching. We conducted a survey of software safety metrics, created metrics, and developed a ranking. We applied the framework utilizing the reuse of a generic avionics software component. Our key findings are that congruence between all elements is required; software should posses certain attributes with metrics that support a safe design; software component information can be specified using C5RA; and a process was identified for a system-of-systems hazard analysis for software reuse. The framework outlined provides a solution that enables effective software reuse in safety-critical system of systems.
Showing items related by title, author, creator and subject.
Rivera, Joey; Luqi; Berzins, Valdis (Monterey, California. Naval Postgraduate School, 2009-09-01); NPS-AM-09-145This paper describes the research and progress made during FY09 at the Naval Postgraduate School on a Software Systems Safety Review Panel (SSSTRP) Requirements Framework. Accomplishments made in FY09 include the discovery ...
Cruickshank, Kristian John. (Monterey, California. Naval Postgraduate School, 2009-03);Validation of safety-critical software requirements is a difficult and frequently misunderstood task. It answers the question of "are we building the right product?" and is essential to Software Engineering. However, ...
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems Karagiannakis, Vasileios (Monterey, California: Naval Postgraduate School, 2013-09);This thesis researches the role of software architectural patterns and lightweight formal methods in safety-critical software development. We present a framework that relates the different activities and products from ...