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)
- download and install MPS 2020.3.x
- 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
- start MPS
- the path variable mbeddr.formal.home in 'Settings->Appearance & Behavior->Path Variables' to point to the directory which contains the cloned 'mbeddr.formal' repository.
- 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:
code\languages\com.mbeddr.formal.nusmv
- after this build is successful, you should be able to open the
code\tutorial
project (contains only SMV-based DSLs)
- after this build is successful, you should be able to open the
code\languages\com.mbeddr.formal.req
code\languages\com.mbeddr.formal.spin
code\languages\com.mbeddr.formal.safety
- after 5.1 - 5.4 you should be able to open
code\tutorial-safety
project - it contains the DSLs related to safety
- after 5.1 - 5.4 you should be able to open