State Chart Autocoder(NPO-47810-1)
data servers processing and handling
State Chart Autocoder
(NPO-47810-1)
Overview
This NASA technology automatically generates code from UML/SysML state-machine models specified in the MagicDraw modeling tool. Input is saved as XML data files, and output is provided by the state-machine implementation code in C, C , Python, or Promela. A test suite validates output products, and a test harness allows a developer to execute and animate a model with a graphical state-machine monitor. This monitor can run as either a standalone tool or as an Eclipse plug-in to MagicDraw.
This software is only available for use by federal employees and contractors
to the federal government working on projects where this tool would be applicable.
Software Details
Category
Data Servers Processing and Handling
Reference Number
NPO-47810-1
Release Type
U.S. Government Purpose Release
Operating System
