Accession Number ADA566687
Title Framework for Designing Reliable Software-Intensive Systems.
Publication Date Mar 2011
Media Count 12p
Personal Author C. Smidts I. Y. Tumer
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 software/hardware 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 software/hardware 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.
Keywords Computer programs
Identification
Interactions
Reasoning
Reliability
Safety
Software engineering


 
Source Agency Non Paid ADAS
NTIS Subject Category 62B - Computer Software
Corporate Author Ohio State Univ., Columbus.
Document Type Technical report
Title Note Final rept. 31 Oct 2008-30 Nov 2010.
NTIS Issue Number 1307
Contract Number FA9550-08-1-0139 FA9550-08-1-0158

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader