Synthesizing Flight Software (FSW) Discrete Controllers from Formal Specifications

Metadata Updated: July 17, 2020

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>

Access & Use Information

Public: This dataset is intended for public access and use. License: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.

Downloads & Resources


Metadata Created Date August 1, 2018
Metadata Updated Date July 17, 2020

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date August 1, 2018
Metadata Updated Date July 17, 2020
Publisher Space Technology Mission Directorate
Unique Identifier TECHPORT_93889
Maintainer Email
Public Access Level public
Bureau Code 026:00
Metadata Context
Metadata Catalog ID
Schema Version
Catalog Describedby
Harvest Object Id 09c31c61-ce3a-43f5-9748-b831027be817
Harvest Source Id 39e4ad2a-47ca-4507-8258-852babd0fd99
Harvest Source Title NASA Data.json
Data First Published 2017-07-01
Homepage URL
Data Last Modified 2020-01-29
Program Code 026:027
Source Datajson Identifier True
Source Hash c170fdb074d983192499c25f2c0e94480056dbe8
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.