Skip Navigation
Center Innovation Fund: JPL CIF

Synthesizing Flight Software (FSW) Discrete Controllers from Formal Specifications

Completed Technology Project

Project Introduction

Synthesizing Flight Software (FSW) Discrete Controllers from Formal Specifications
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

Primary U.S. Work Locations and Key Partners

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

Technology Maturity (TRL)

Technology Areas

Target Destination

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.
^