SysML Constraints to Verifiy Models for SysML to SCADE transformation #180
Description
As the SysML modelling shall start, WP 4 should trigger automatic checks (in Papyrus) to ensure that all build models confirm to the needed structure for a proper transformation to SCADE and into C Code.
@astante has already started this work from the toolchain angle to provide a plug-in doing those checks.
The issue #312 in tool chain presents this work.
WP 4 has to consider the following points to support this work:
- Define constraints to be satisfied by a SysML model
- Provide implemented check fir modellers
- Write manual for WP 3 to use SysML modell constraints checks