Center Innovation Fund: JPL CIF
Synthesizing Flight Software (FSW) Discrete Controllers from Formal Specifications
Project Description
This project will develop a Domain Specific Language (DSL) approach to interpret requirements and map them to formal specifications and legacy formats; explore and enhance the connection of TuLiP and SCA; develop methods to ensure semantics of the synthesized FSM designs map into implementations; and demonstrate the proof-of-concept synthesis on controller example cases. The key innovations will be: synthesis of FSM's that ensures a given formal specification is met (i.e., correct-by-construction). Also, complete software synthesis - no manually developed code>
More »Anticipated Benefits
To improve and optimize the use of combined control synthesis algorithms and code generation techniques to produce FSW directly from formal specifications.
More »Primary U.S. Work Locations and Key Partners
| Organizations Performing Work | Role | Type | Location |
|---|---|---|---|
| Jet Propulsion Laboratory (JPL) | Lead Organization | FFRDC/UARC | Pasadena, California |
| California Institute of Technology (CalTech) | Supporting Organization | Academia | Pasadena, California |
Primary U.S. Work Locations
-
California
Suggest an Edit
Recommend changes and additions to this project record.