US-Verify-Behavioural-Model Prio: 605

[MarcBehrens]

As a behaviour modeller (WP3), I need my SCADE behavioural model to be verified so that it complies to Subset-026.

[mahlmann]

US is currently blocked. The following issues need to be solved to unblock this US:

• [ ] model does currently not compile
• [ ] interfaces of the model need to be documented for verification

[BaseliyosJacob]

US is currently blocked #601.

[mahlmann]

Test generation with RT-Tester is currently in progress. Current focus is on User Story 14.