USA flag logo/image

An Official Website of the United States Government

Using Automated Abstractions to Classify System States for Software Health…

Award Information

Department of Commerce
National Institute of Standards and Technology
Award ID:
Program Year/Program:
2011 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Aries Design Automation, LLC
IL Chicago, IL 60618-3745
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2011
Title: Using Automated Abstractions to Classify System States for Software Health Monitoring
Agency / Branch: DOC / NIST
Contract: SB1341-11-SE-0862
Award Amount: $90,000.00


In most critical software systems, a state that is partially visible through values passed across interfaces contains information that could determine the health of the software system, and whether a failure is likely in the future. Some of this information behaves in a continuous fashion, e.g., the available memory or disk space is easily interpreted to monitor system health. Other values are nominal and lack a simple quantitative interpretation, e.g., finite automation states in a protocol, IP addresses, pointer values, or file names The danger of failure in these cases may be observable only in complex relationships between state values, or depend on past history. We propose to apply ideas from run-time verification and software testing to extract strings abstracting nominal state, to which a machine learning algorithm can be applied to classify states by their probable proximity to system failure. Our primary goal will be to determine if methods that have been successful in other kinds of software analysis can be used to health monitoring.
Small Business Information at Submission:

Aries Design Automation, LLC
2705 W Byron St. Chicago, IL 60618-

EIN/Tax ID: 202887585
Number of Employees: N/A
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No