1. ©WICERT 2013, Grenoble, Mar 22 1 Organized & Funded by: Artemis Project Organizers: Huáscar Espinoza, TECNALIA, ES José Luis Gutiérrez Rivas, University of Granada, ES Jarkko Mäkitalo, KONE Oyj, FI Rolf Ernst, TU Braunschweig, DE Michael Paulitsch, EADS, DE Javier Díaz Alonso, University of Granada, ES Simon Brewerton, Infineon Technologies, UK Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems Grenoble, March 22

2. ©WICERT 2013, Grenoble, Mar 22 2 TOOLS ARCHITECTURE CERTIFICATION AutomotiveAvionicsAutomation Motivation Mixed-Criticality Systems

3. ©WICERT 2013, Grenoble, Mar 22 3 Workshop Landscape  Workshop roots: RECOMP project.  Main topics at WICERT:  Mixed-criticality, multi-core HW/SW platforms  Methods and tools for cost-effective certification of safety critical systems  Impact of Mixed-criticality and Multi-Core technologies on certification  Three presentation sessions covering the abovementioned topics, and one demonstration session

4. ©WICERT 2013, Grenoble, Mar 22 4 Program (Morning) StartEndTITLESPEAKER 08:3008:45Workshop Introduction H. Espinoza (TECNALIA) 08:4509:20 KEYNOTE 1: MULCORS - The Use of MULticore proCessORs in airborne Systems. Project EASA.2011.OP.30. (study done for EASA: European Aviation Safety Agency) Marc Gatti, Guy- Andre Berthon (Thales Avionics, France) 09:2010:15 Session 1: Mixed-criticality HW/SW platforms --> Isolation of Cores - Claus Stellwag, Swapnil Gandhi and Thorsten Rosenthal - Short Presentation (15 mins) --> Open platform for mixed-criticality applications - Miguel Méndez, José Luis Gutiérrez Rivas, David Fernández García-Valdecasas and Javier Díaz - Selected Paper (25 mins) --> Servosystem control for theatre stage equipment - Pavel Zemcik, Sevcovic Jiri, Pavol Korcek, Michal Kajan and Josef Strnadel - Short Presentation (15 mins) Sessions chaired by Rolf Ernst (TUBS) 10:1510:45coffee break 10:4512:00 Session 2: Certification on aerospace, automotive and automation industries with mixed- criticality --> Hardware and Software Support for Mixed-Criticality Multicore Systems - Glenn Farrall, Claus Stellwag, Jonas Diemer and Rolf Ernst - Selected Paper (25 mins) --> IFCIMA - Incremental Functional Certification on Integrated Modular Avionics (IMA) - Franck Aimé, Thales Avionics - Invited Talk (25 mins) --> Impact of multicore platforms in hardware and software certification - Risto Nevalainen, Uwe Kremer, Oscar Slotosch, Dragos Truscan and Vicky Wong - Selected Paper (25 mins) Session Chaired by Javier Diaz (U. of Granada) 12:0013:00lunch break

5. ©WICERT 2013, Grenoble, Mar 22 5 Program (Afternoon) StartEndTITLESPEAKER 13:0013:30 KEYNOTE 2: Industrial practice on mixed-criticality engineering and certification in the aerospace industry Ondrej Kotaba (Honeywell, Czeck Republic) 13:3014:45 Session 3: Methods and tools for cost-effective certification of safety critical systems --> Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach - Paul Pop, Leonidas Tsiopoulos, Sebastian Voss, Oscar Slotosch, Christoph Ficek, Ulrik Nyman and Alejandra Ruiz Lopez - Selected Paper (25 mins) --> Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach - Alejandro Alonso, Christophe Jouvray, Salvador Trujillo, Miguel A. de Miguel, Cyril Grepet and José Simó - Selected Paper (25 mins) --> Multicore In Real-Time Systems – Temporal Isolation Challenges Due To Shared Resources - Ondrej Kotaba, Michael Paulitsch, Stefan Petters, Henrik Theiling and Jan Nowotsch - Selected Paper (25 mins) Session chaired by Huáscar Espinoza (TECNALIA) 14:4515:00coffee break 15:0016:15 Demonstrators and Poster session: Paralell demonstrators and posters --> Mixed-Critical Multi-Processor Motor Controller with Capabilities for Runtime Update of Software – Simon Holmbacka, Jose Luis Gutierrez, Miguel Mendez --> RECOMP Demonstration of Mixed-Criticality Approach - Claus Stellwag, Natalia Willey, Swapnil Gandhi, Thorsten Rosenthal --> Emergency Shutdown System Demonstrator - Anton Hattendorf, Sebastian Voss --> Tools for Compliance Management and Compositional Safety Assurance - Alejandra Ruiz, Huáscar Espinoza Session chaired by Simon Brewerton (Infineon Technologies)

6. ©WICERT 2013, Grenoble, Mar 22 6 Some Logistics  Registration required to attend the workshop  Lunch time: 12:00 – 13:00 (included in the Workshop fees).  15-mins Breaks at 10:15 & 14:45  Presentations and papers will be available on the website.

7. ©WICERT 2013, Grenoble, Mar 22 7 Acknowledgments  WICERT Website: http://atc.ugr.es/wicert/  We specially thank the DATE Conference organisers for supporting the workshop.  This workshop was also supported by the RECOMP (ARTEMIS) project

8. ©WICERT 2013, Grenoble, Mar 22 8 We hope that you enjoy WICERT 2013 !