Accession Number:

ADA474972

Title:

A Software Hub for High Assurance Model-Driven Development and Analysis

Descriptive Note:

Final rept. Aug 2006-Jan 2007

Corporate Author:

REACTIVE SYSTEMS INC FALLS CHURCH VA

Report Date:

2007-01-23

Pagination or Media Count:

35.0

Abstract:

This final report describes the results of a Phase I SBIR research project sponsored at Reactive Systems Inc. by the Office of Secretary of Defense, with oversight provided by the Office of Naval Research. The goal of the project was to conduct a feasibility study for a so-called software hub that is intended to promote interoperability among software modeling and analysis tools. As part of this six-month effort a translator was implemented from the commercially popular modeling notations SimulinkStateflow into the SAL input notation for the SALSA analysis tool, and several experiments conducted that demonstrated the utility of applying SALSA-style analyses to SimulinkStateflow models. A preliminary design of a software hub was also developed.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE