The Reliability of Embedded Software-Based Systems: Novel Ways to Enhance and Predict

Award Information
Agency: Department of Defense
Branch: Army
Contract: W911QX-07-C-0076
Agency Tracking Number: O064-SP4-2034
Amount: $99,993.00
Phase: Phase I
Program: STTR
Awards Year: 2007
Solicitation Year: 2006
Solicitation Topic Code: OSD06-SP4
Solicitation Number: N/A
Small Business Information
MIGMA SYSTEMS, INC.
1600 Providence Highway, Walpole, MA, 02081
DUNS: 125933916
HUBZone Owned: N
Woman Owned: Y
Socially and Economically Disadvantaged: Y
Principal Investigator
 Michael Zeifman
 Senior Research Engineer
 (508) 660-0328
 mzeifman@migmasys.com
Business Contact
 Bo Ling
Title: President & CEO
Phone: (508) 660-0328
Email: bling@migmasys.com
Research Institution
 UNIV. OF PENNSYLVANIA
 Insup Lee
 Department of Computer and Inf, 3330 Walnut Street
Philadephia, PA, 19104 6389
 (215) 898-3532
 Nonprofit college or university
Abstract
Embedded systems have become increasingly popular over the past years, both in civil and military applications. The probability of an embedded system to perform the required operations during the specified period of time, i.e., the reliability, depends on both the underlying hardware reliability and software reliability. The traditional approach to predict the software reliability on the basis of the programmatic errors implies specially designed testing and predictive models. The main problem of this approach is that it usually considers a parametric model with the parameters to be estimated during the testing, whereas there is no physical or mathematical law underlying the parametric model itself. The proposed method originates from a Bayesian approach so that its dependence on the initial underlying parametric model is relatively weak. At the same time, it accounts for the previous/expert data in a most effective way. To enhance the reliability essential in safety-critical embedded systems, we will extend our method of conversion the informal design requirements into the reference specifications via the EFSM (Extended Finite State Machines).

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government