MOdel-based GENeration of Tests for Embedded Systems # FP7-ICT Embedded Systems Design WP1 Requirements and State of the Art Requirements Update Wolfgang Herzner, AIT

MOdel-based GENeration of Tests for Embedded Systems # FP7-ICT Embedded Systems Design Slide 2 MOGENTES Review, Vienna, 11 March 2010 [WP1 – Requirements Update] WP1 Requirements and State of the Art – Objectives  General  Identification of requirements of the industrial demonstrators to be covered during testing, including demonstrator background → D1.1a / Month 6  State of the art survey MBTCG (Model-Based Test-Case Generation) Tool integration framework Partner know-how about modelling, framework development, testing and TCG techniques →D1.2 / Month 6  2 nd Reporting Period  Update of D1.1 to consider issues identified during its use and interpretation

MOdel-based GENeration of Tests for Embedded Systems # FP7-ICT Embedded Systems Design Slide 3 MOGENTES Review, Vienna, 11 March 2010 [WP1 – Requirements Update] WP1 Requirements and State of the Art – Progress  D1.1b completed at M18  5 parts (as D1.1a) – Introduction and 1 part per demonstrator partner (TRSS, Prolan, FFA, Re:Lab)  with special focus on Clarification: to reduce ambiguities and unclear statements Requirements identification: unique identifier for traceability Testability: phrasing requirements such that they can be tested Completeness: including all requirements which should be tested Demonstrator outline: all relevant information about the targeted demonstrators, including background hints for TCG and test application.

MOdel-based GENeration of Tests for Embedded Systems # FP7-ICT Embedded Systems Design Slide 4 MOGENTES Review, Vienna, 11 March 2010 [WP1 – Requirements Update] WP1 Requirements and State of the Art – Deviations FFA-demonstrator(s)  In addition to SAC (Steering-Anti Catchup), a further demonstration application has been added: CAS (Car Alarm System)  Reason: The technology SAC was based upon a future project that now plays a minor part in the current company strategy, while CAS is in the actual vehicle serial production.  Consequences:  FFA-part of D1.1b has been updated after M18  somewhat more demonstration effort (mostly by FFA)  with CAS a basic, fairly simple demonstrator model is available, which is used for first tests  no overall delay of project work

MOdel-based GENeration of Tests for Embedded Systems # FP7-ICT Embedded Systems Design Slide 5 MOGENTES Review, Vienna, 11 March 2010 [WP1 – Requirements Update] WP1 Requirements and State of the Art – Planning  WP1 terminated with M18 → no further planning