/Morgana

Development Environment with Interactive Visualization for Logical Specifications

Primary LanguageJavaScriptOtherNOASSERTION

MORGANA : Flight Rules Studio

2020 Caltech/JPL/Artcenter Data Visualization Summer Program Authors:

  • Austin Wright
  • Barbara Alonso
  • Rachel Rose Waterhouse

Our final presentation gives a good overview of the context of the problems this tool aims to solve as well as giving an introduction to the tool itself.

Install

To use the tool clone the repository

 git clone https://github.com/APWright/Morgana.git

And open index.html in browser.

To compile from scratch install elm

And compile using

elm make src/Main.elm --output=lib/main.js

For reference on using elm see the elm guide as well as the package repository for documentation of the packages used in this project.

Documentation

For further reference information about the syntax and semantics of the flight rules logical spec language see:

And for documentation of future development and roadmap see docs/roadmap.md.

Examples

Example rule translations can be found in rules/, and loaded into the tool using the Load Tool functionality. Example simulations can be found in simulations/, and loaded into the tool using the Load Simulation functionality.