Skip to content

Report generator for AADL that works with SAFE, a derivitive of STPA

License

Notifications You must be signed in to change notification settings

osate/osate2-safe

 
 

Repository files navigation

What is the SAFE Report Generator?

This is a plugin for Osate 2 which translates from a selected subset of AADL into code runnable on the MDCF. It's developed by Carnegie Mellon University's Software Engineering Institute and is derived from a previous version developed at K-State's SAnToS Lab. More complete documentation is available at the project website.

Installing

The translator is installable into OSATE using its "experimental" update site.

Building with Maven

After cloning, the translator can be built by the command "mvn install" Note that the build process requires Maven (version 3.0+) and Java (version 1.8+). If you also wish to build the documentation, you'll need Pygments (version 1.3+).

Building with Eclipse

TBD.

License

This project, and its source, are publicly available under the EPL, unless otherwise stated in the file header.

Acknowledgements

This project uses icons from famfamfam's silk icon set, and CSS from Marked.app by Brett Terpstra. The development of the previous version of this software was supported in part by the US National Science Foundation (NSF) awards CNS-1239543, CNS-1355778, and CNS-1446544.

About

Report generator for AADL that works with SAFE, a derivitive of STPA

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • HTML 54.5%
  • Java 36.2%
  • Python 5.4%
  • CSS 1.1%
  • XSLT 1.0%
  • Makefile 0.9%
  • Batchfile 0.9%