DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA566687
Title:
A Framework for Designing Reliable Software-Intensive Systems
Descriptive Note:
Final rept. 31 Oct 2008-30 Nov 2010
Corporate Author:
OHIO STATE UNIV COLUMBUS
Report Date:
2011-03-01
Pagination or Media Count:
12.0
Abstract:
This project involved a joint research performed primarily at Oregon State University and The Ohio State University. Software-driven hardware configurations account for the majority of modern safety-critical complex systems. The often costly failures of such systems can be attributed to software specific, hardware specific, or softwarehardware interaction failures. The understanding of how failures propagate in such complex systems might provide critical information to designers, because, while a software component may not fail in terms of loss of function, a software operational state can cause an associated hardware failure. The least expensive phase of the product life cycle to address failures is during the design stage. This research presents a means to evaluate how a combined softwarehardware system behaves and how such failures propagate to result in potential failures downstream, during the conceptual design stage. In particular, this research proposes the use of high-level system modeling and model-based reasoning approaches to model failure propagation in combined software-hardware systems, based on the Function-Failure Identification and Propagation FFIP analysis framework to help formalize the design of safety-critical systems.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE
