ASP-1 Results from Break-Out Session 1 11

ASP-1 Results from Break-Out Session 1

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) ARTEMISIA Association Title Presentation - 2

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

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 ARTEMISIA Association Title Presentation - 4

3. Automated Testing of Embedded Systems Objectives 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 ARTEMISIA Association Title Presentation - 5

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

3. Automated Testing for Embedded Systems Partners Germany • Berner & Mattner Systemtechnik Gmb. H (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-IK 4 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 ARTEMISIA Association Title Presentation - 7

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 Predict beforehand functionality & properties of configuration Model the activities of the signal processing components and their configurations Leading to trustable embedded image & signal processing systems ARTEMISIA Association Title Presentation - 8

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 Sensors, camera, image stores Configurable SW image & signal processing ARTEMISIA Association Image processing configuration Image processing component In & out: massive data Bit streams & meta data Title Presentation - 9

5. Safe. Cer – Project outline Cross domain reuse of safety certifiable SW components + System safety certification based on certifiable components Heavy Vehicles+Automotive+Medical+Rail+Avionics(? ) WP 1 Safety reqs. & practice … Safety reqs. & practice Multiple domains Domain specific Reqs. , Arch. & Processes WP 2 Integrated safety & development process + Archs. WP 3 Tool infrastructure WP 4 Domain specific instantiation WP 5 Evaluation/ demonstration … … Relate to Cesar Domain specific instantiation Evaluation/ demonstration + standardization, dissemination, and management ARTEMISIA Association Title Presentation - 10

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

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 ARTEMISIA Association Title Presentation - 12

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 ARTEMISIA Association Title Presentation - 13

Thank you for your attention We value your opinion and questions