Executable SysML Model Development Accelerator for the Constellation Program

Award Information
Agency: National Aeronautics and Space Administration
Branch: N/A
Contract: NNX10CC38P
Agency Tracking Number: 095526
Amount: $99,821.00
Phase: Phase I
Program: SBIR
Awards Year: 2010
Solicitation Year: 2009
Solicitation Topic Code: X1.01
Solicitation Number: N/A
Small Business Information
Tietronix Software, Inc.
1331 Gemini Avenue, Suite 300, Houston, TX, 77058-2794
DUNS: 082847653
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
Principal Investigator
 Michel Izygon
 Principal Investigator
 (281) 404-7256
 mizygon@tietronix.com
Business Contact
 Victor Tang
Title: President
Phone: (281) 404-7222
Email: vtang@tietronix.com
Research Institution
N/A
Abstract
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.

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government