1. MOdel-based GENeration of Tests for Embedded Systems #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design Technical Coordination and Steering Committee Meeting Oct. 21-22, 2009 – Reggio Emilia, RELAB WP5 – Layout/Content of D.Xa AIT

2. MOdel-based GENeration of Tests for Embedded Systems #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design Slide 2 Project Consortium Meeting, Reggio Emilia, Oct. 21-22, 2009 WP5 – D5.[2|3|4|5]a Layout/Content Annex I: D5.[2|3|4|5]x M24/33“TCG for … (report, test cases). Result from T5.[2|3|4|5]“  both common and individual parts  Common: document structure? E.g. 1. Introduction Executive Summary Scope and Purpose of Document 2. Background Summary of considered requirements Target demonstrator (layout) 3. Modelling Description of models + examples Reference to D2.2a, recommendations (1, 2) 4. TCG Description of approach (+ trafos) Reference to D2.2b, recommendations (1, 2) TC examples? 5. Conclusion

3. MOdel-based GENeration of Tests for Embedded Systems #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design Slide 3 Project Consortium Meeting, Reggio Emilia, Oct. 21-22, 2009 WP5 – D5.[2|3|4|5]a Task 5.x Essentials (Annex I) T5.2 Modelling and TCG of Rail Signalling Control Systems  UML and iLock tracks  functional and stress tests T5.3 … for State Decoders of Railway Inter­locking Systems  Checking the correctness of the initial model  Using TCG for the railway object simulator  Using TCG for the railway objects state decoder (Objs)  Using TCG for safety tests  Using TCG with software injected faults T5.4 … for ISOBUS-testing in Off-Highway Machines  TCG for VTOOLS ISOBUS framework T5.5 … for In-the-Loop Testing of In-Car Systems  normal use cases  border line situations  fault scenarios of sensors, busses und connections internal/external