USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Defense
Branch:
Office of the Secretary of Defense
Award ID:
83497
Program Year/Program:
2007 / STTR
Agency Tracking Number:
O064-SP4-2034
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Migma Systems Inc.
1600 Providence Highway Walpole, MA -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2007
Title: The Reliability of Embedded Software-Based Systems: Novel Ways to Enhance and Predict
Agency / Branch: DOD / OSD
Contract: W911QX-07-C-0076
Award Amount: $99,993.00
 

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).

Principal Investigator:

Michael Zeifman
Senior Research Engineer
5086600328
mzeifman@migmasys.com

Business Contact:

Bo Ling
President & CEO
5086600328
bling@migmasys.com
Small Business Information at Submission:

MIGMA SYSTEMS, INC.
1600 Providence Highway Walpole, MA 02081

EIN/Tax ID: 460488542
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
UNIV. OF PENNSYLVANIA
Department of Computer and Inf, 3330 Walnut Street
Philadephia, PA 19104 6389
Contact: Insup Lee
Contact Phone: (215) 898-3532
RI Type: Nonprofit college or university