(c) TU Kaiserslautern, Chair of Cyber-Physical Systems

This project contains the AGILA SysMD Notebook, which allows the creation of executable requirements documents in a Notebook-like way. For this purpose, it implements

• the SysMD language,
• a quite small subset of SysMLv2 textual,
• a constraint solver that checks the consistency of SysMD models, and
• the mentioned Notebook-like user interface.

The compilers translate models into the SysMLv2 KerML metamodel. On this metamodel, the constraint solver checks consistency of

• values
• units

More documentation is provided in the notebooks 'SysMD Kickstart' and 'SysML v2 tutorial.' Also, in the folder 'doc' some documentation is provided.

• SysMD Kickstart
• List of supported units
• Modeling of time and date

To run the frontend, just use the build system Gradle:

./gradlew run 

resp. on Windows systems:

gradlew.bat 

Use the gradle target packageDistributionForCurrentOS.

./gradlew packageDistributionForCurrentOS 

Take care that the gradle settings in IDEs like Intellij IDEA are set to use the gradle wrapper settings.