Integration of Formal Verification with Real Time Design

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N/A
Agency Tracking Number: 26500
Amount: $59,115.00
Phase: Phase I
Program: SBIR
Awards Year: 1994
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
Advanced System Technologies,
12200 E. Briarwood Avenue,, Suite 260, Englewood, CO, 80112
DUNS: N/A
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Mr. George L. Krasovec
 (303) 790-4242
Business Contact
Phone: () -
Research Institution
N/A
Abstract
Formal methods based on rigorous mathematical specification and verification techniques have been shown to be a feasible way of identifying design errors early in the development of complex, ultrareliable computer systems. However, the mathematical expertise required to exercise formal verification systems for non-trivial applications has restricted their use to formal methods experts. The purpose of the proposed R&D is to extend the availability of formal methods of adequately trained engineers by coupling various real-time structured analysis design tools with any of a family of general purpose verification systems. Phase I research will determine the feasibility of developing an automated, extensible tool, called FM*Link, that supports the process of formal specification and reasoning about the temporal, liveness, and safety properties of hard real-time systems. Goals of this research include the extension of the RT/SA notation to cover additional formal method semantics within the system engineering domain and the preliminary design of a translator which converts state-based RT/SA behavior models and other design factors into verification system input modules. During Phase I, a proof-of-concept translator will be built and integrated into an in-house R&D tool framework as a demonstration of technical feasibility.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government