Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

Executable SysML Model Development Accelerator for the Constellation Program

Completed Technology Project

Project Description

Executable SysML Model Development Accelerator for the Constellation Program
The proposed project is aimed at investigating ways to accelerate the creation of SysML based models that can be used for model checking and more generally for Model-Based System Engineering. In the past few years, multiple projects in the ISHM domain as well as the operations domain (Procedure V&V) have started to leverage the power of model checking through the use of the Finite State Machines (FSM) formalism. These models have been typically developed manually by subject matters experts in the different spacecraft systems and subsystems. This is a significant hindrance to the widespread use of models for any targeted application. The envisioned suite of tools would allow non experts to derive the appropriate SysML models for their intended use. In addition to providing a generic library of space systems models, methods to customize these models to the specific target system, our proposal will also design tools that enable the automatic or semi automatic extraction of appropriate information from different source, thus significantly accelerating the development and the usage of such models. More »

Anticipated Benefits

Primary U.S. Work Locations and Key Partners

Technology Transitions

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.