1. ASP-1 Results from Break-Out Session 1

2. ARTEMISIA Association Title Presentation - 2 11 ideas  6 clusters  Safe transport technologies (1)  Safety & Security (7) (10)  Holistic framework for certification & validation (2) (4)  Evolution & variability management (6) (8)  Reuse in safety & certification (3)  Automated testing (5)  Model based development (9)  Trusted image processing (11)

3. ARTEMISIA Association Title Presentation - 3 1. Measurement on Model Based Software for ES - Objectives  Reduce effort in project management and certification for model- based embedded software  Measuring the project progress and quality  Views on the model- based process from different stakeholders  Christer Thörn  thch@jth.hj.se

4. ARTEMISIA Association Title Presentation - 4 2. Safety and Security issue in networks of intelligent devices  Objective  to define an integrated approach for a Model Driven Functional, Safety and Security development  to provide decision support strategies to allow the resolution of critical situations  to develop methods and solutions to support validation and certification regarding Safety and Security aspects  to implement/enhance the necessary means (development tools and run-time platform) to support the approach  to apply the methodology and means to real world embedded applications  railway  urban transportation  industrial plants ...  contact point : Paolo Coppola (INTECS) +39 349 222 8402 paolo.coppola@intecs.it

5. ARTEMISIA Association Title Presentation - 5 Complete test automation through Automatic test case generation Automatic test evaluation Automatic test case generation by search-based testing/evolutionary testing Achieve industrial usability of search-based testing technologies by providing a powerful testing framework Automatic test evaluation on the basis of test oracle learning techniques 5 3. Automated Testing of Embedded Systems Objectives

6. ARTEMISIA Association Title Presentation - 6 Increased test quality and system quality Reduced testing cost through fully automatic testing Shortening of testing time due to high test automation 6 3. Automated Testing of Embedded Systems Impact

7. ARTEMISIA Association Title Presentation - 7 3. Automated Testing for Embedded Systems Partners Germany Berner & Mattner Systemtechnik GmbH (SME, coordinator) Daimler Center for Automotive Information Technology Innovations (TU-B, Research) Ireland INCORRAS (SME) Italy Fondazione Bruno Kessler (Research) Numonyx (LE) Spain AERTEC (SME) IKERLAN-IK4 Universidad Politécnica de Valencia (Research) Universidad Politécnica de Madrid (Research) UK Kings College (Research) Sweden  VOLVO (Large enterprise)  Mälardalen University (Research) Required Partners Large companies for case studies and technology developments SMEs for technology and software development Research organisations with a strong profile in the practical application of search techniques

8. ARTEMISIA Association Title Presentation - 8 4. COSIMO Propose, validate and promote middleware for model based signal processing component configurations  Configuring image processing systems  Own and third party components  Number of components grow  number of possible combinations grow even faster  P redict beforehand functionality & properties of configuration  Model the activities of the signal processing components and their configurations  Leading to trustable embedded image & signal processing systems

9. ARTEMISIA Association Title Presentation - 9 4. COSIMO Technological Innovation Extracting knowledge from images  Modelling image & signal processing activities  Enabling configurations that act as desired Advancing image & signal processing: Ensuring the visibility of important elements Emphasising the relevant elements Combining several images to a larger one Reproducibility of the final results Configurable SW image & signal processing Image processing component In & out: massive data Bit streams & meta data Image processing configuration Sensors, camera, image stores

10. ARTEMISIA Association Title Presentation - 10 5. SafeCer – Project outline + standardization, dissemination, and management Safety reqs. & practice Domain specific instantiation Integrated safety & development process + Archs. Safety reqs. & practice Safety reqs. & practice … Multiple domains Heavy Vehicles+Automotive+Medical+Rail+Avionics(?) Domain specific Reqs., Arch.& Processes Tool infrastructure … Domain specific instantiation Evaluation/ demonstration Evaluation/ demonstration … WP1 WP2 WP3 WP4 WP5 Cross domain reuse of safety certifiable SW components + System safety certification based on certifiable components

11. ARTEMISIA Association Title Presentation - 11 6. Evolving Product Variability Challenges

12. ARTEMISIA Association Title Presentation - 12 6. Evolving Product Variability Technological Innovation - To get product traceability bottom up and top down, impact analysis (using automatic tool support) - Feature management with the similar approach - Possibility to prove the required level of testing (testing focusing on relevant parts of the system) Overall Goal of the Project:  Minimize the cost of change

13. ARTEMISIA Association Title Presentation - 13 6. Evolving Product Variability Partners  Denmark  LISS  Belgium  Sirris  Finland  Konecranes, Kone Corporation, VTT, University of Helsinki  France  Grass Valley, Thales  Germany  Fraunhofe  Sweden  Mälardalen University Sweden  Spain  CEIT, Ulma, Magillem, UPM

14. Thank you for your attention We value your opinion and questions