SysML Constraints to Verifiy Models for SysML to SCADE transformation - Githubissues

openETCS / validation

WP4: Validation and verification strategy

8 stars 22 forks source link

SysML Constraints to Verifiy Models for SysML to SCADE transformation #180

Open janWelte opened 10 years ago

janWelte commented 10 years ago

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