20 likes | 135 Views
Initial Preparation of Final Demonstrations. TRSS virtualised ELEKTRA + EPS + TestBench? TCG: UML/OOAS-track PROL Objs-decoder + test-engine TCG: UPPAAL-track, UML/OOAS-track (after other UML/OOAS models) FFA CAS + HIL AutoBox + Control/Automation-Desk TCG:
E N D
Initial Preparation of Final Demonstrations • TRSS • virtualised ELEKTRA + EPS + TestBench? • TCG: • UML/OOAS-track • PROL • Objs-decoder + test-engine • TCG: • UPPAAL-track, • UML/OOAS-track (after other UML/OOAS models) • FFA • CAS + HIL AutoBox + Control/Automation-Desk • TCG: • COVER/CBMC-track (using FI-MODIFI for mutations) • UML/OOAS-track • UML/UPPAAL-track • SAC: Simulink-model only • TCG: • FI/MODIFI, also on Tricore? • COVER/CBMC-track (using FI-MODIFI for mutations)
Initial Preparation of f. Demonstrations/2 • RELAB • PTD + Lego-loader • TCG: • UML/OOAS-track • FI/MODIFI • COVER/CBMC-track? (ok, if model is "sufficiently" abstract) • PROV • Meeting-Station, closer to ELEKTRA-model? • TCG • iLock: MCS-based, based on safety-requ.s