Initial Preparation of Final Demonstrations - PowerPoint PPT Presentation

taryn
initial preparation of final demonstrations n.
Skip this Video
Loading SlideShow in 5 Seconds..
Initial Preparation of Final Demonstrations PowerPoint Presentation
Download Presentation
Initial Preparation of Final Demonstrations

play fullscreen
1 / 2
Download Presentation
Initial Preparation of Final Demonstrations
82 Views
Download Presentation

Initial Preparation of Final Demonstrations

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. 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)

  2. 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