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

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 Simulink/Stateflow into the SAL input notation for the SALSA analysis tool, and several experiments conducted that demonstrated the utility of applying SALSA-style analyses to Simulink/Stateflow models. A preliminary design of a software hub was also developed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 23, 2007
Accession Number
ADA474972

Entities

People

  • Dan Duvarney
  • David Hansel
  • Rance Cleaveland
  • Steve Sims

Tags

Communities of Interest

  • Biomedical
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Complex Systems
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Engineering
  • Language
  • Lessons Learned
  • Military Research
  • Simulations
  • Software Development
  • Software Development Tools
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Database Systems and Applications
  • Software Engineering.