-
Notifications
You must be signed in to change notification settings - Fork 22
Closed
Milestone
Description
The aim is to provide models of On-Sight procedure (§5.9) for VnV activities
The tasks planned are:
- SysML model @GuillaumeDurand (Systerel)
- Scade model @GuillaumeDurand (Systerel)
- C code automatically generated from Scade @UweSteinkeFromSiemens
- Classical B model @MariellePetitDoche @BenoitLucet (Systerel)
- C code automatically generated from ClassicalB @BenoitLucet (Systerel)
- EFS model @stanpinte
- EFS model VnV @stanpinte
- SysML model VnV @MarcBehrens
- Scade model VnV
- Classical B model VnV @BenoitLucet (Systerel)
- Validation of C- code coming from the above design models Functional verification on C- code (Procedure On-sight modeling for VnV) #129
- Safety analysis @BriceGombault (Systerel), @mgudemann