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

reportActive / Technical Report | Accession Number: ADA474972 | Open PDF

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.

Author(s):
Cleaveland, Rance ; Sims, Steve ; Hansel, David ; Duvarney, Dan
Author Organization(s):
REACTIVE SYSTEMS INC FALLS CHURCH VA
Descriptive Note:
Final rept. Aug 2006-Jan 2007
Supplementary Note:
The original document contains color images. DOI: 10.21236/ADA474972
Pagination:
0035

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N00014-06-M-0145
Monitor Series:
ONR
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_8_Building Partnerships; JCA_8.1_Communicate; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_2_Battlespace Awareness; JCA_5.3_Planning; JCA_2.2.1_Signals Collection; JCA_2.2_Collection; JCA_6_Net Centric; JCA_6.1.3_Switching and Routing; JCA_6.1_Information Transport; JCA_1_Force Support; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_1.3_Human Capital Management; JCA_4.6_Engineering; JCA_1.3.1_Personnel and Family Support; JCA_1.4.2_Health Service Delivery; JCA_1.4_Force Support; JCA_6.2.3_Core Enterprise Services; JCA_6.4.1_Secure Information Exchange
Modernization Areas:
AI and Machine Learning
Communities of Interest:
Biomedical
Descriptor(s):
*SOFTWARE ENGINEERING, COMPUTER PROGRAMS, MODELS, PROGRAMMING LANGUAGES, HUBS, COMPUTER PROGRAM VERIFICATION
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
*SOFTWARE HUBS, SBIR(SMALL BUSINESS INNOVATION RESEARCH), SBIR REPORTS, SBIR TOPIC OSD05 SP4 PHASE 1, SOFTWARE DESIGN
Report Date:
2007 Jan 23
Creation Date:
2008 Jan 09