oscarcosta / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

FASTEN

Homepage

• FASTEN Home - https://sites.google.com/site/fastenroot/

Community

• Questions about using and extending FASTEN: [email protected]
• If you encounter problems, please open an issue here

Versions

• Get the latest release

Building (from command line)

1.download and install MPS 2020.3.x 2. for building FASTEN we have gradle-based scripts which automatically manage all needed dependencies. Please configure the needed variables in gradle.properties (copy the gradle.properties.example as gradle.properties and replace "<...>" with your paths) 1. in Windows please note that the paths should use slash instead of back-slash, e.g. 1. mpsHomeDir=C:/work/MPS_2020_3_3 2. mbeddr.formal.home=C:/work/mbeddr.formal 2. in Unix-based systems we have the "unix paths" (nothing changes) 3. for packaging FASTEN distribution, run gradlew.bat- this starts the default task build_fasten_safety_distribution. This task downloads dependencies, builds FASTEN and creates the RCP.

Building (from MPS)

1. download and install MPS 2020.3.x
2. clone the repository https://github.com/danielratiu/mbeddr.formal.mps-plugins and copy the content of "platform_2020_3_5/" in the "plugins" directory of MPS
3. start MPS
4. the path variable mbeddr.formal.home in 'Settings->Appearance & Behavior->Path Variables' to point to the directory which contains the cloned 'mbeddr.formal' repository.
5. FASTEN sources are organized in several MPS projects. To build FASTEN, each of these projects need to be built. Please open and build the projects in the following order:
   1. code\languages\com.mbeddr.formal.nusmv
      1. after this build is successful, you should be able to open the code\tutorial project (contains only SMV-based DSLs)
   2. code\languages\com.mbeddr.formal.req
   3. code\languages\com.mbeddr.formal.spin
   4. code\languages\com.mbeddr.formal.safety
      1. after 5.1 - 5.4 you should be able to open code\tutorial-safety project - it contains the DSLs related to safety