WICERT 2013 Grenoble March 22 Workshop on IndustryDriven

WICERT 2013 Grenoble, March 22 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems 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 Organized & Funded by: Artemis Project ©WICERT 2013, Grenoble, Mar 22 1

Motivation TOOLS CERTIFICATION Mixed-Criticality Systems ARCHITECTURE Automotive ©WICERT 2013, Grenoble, Mar 22 Avionics Automation 2

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

Program (Morning) Start End TITLE 08: 30 08: 45 Workshop Introduction 08: 45 09: 20 KEYNOTE 1: MULCORS - The Use of MULticore pro. Cess. ORs in airborne Systems. Project EASA. 2011. OP. 30. (study done for EASA: European Aviation Safety Agency) SPEAKER H. Espinoza (TECNALIA) Marc Gatti, Guy. Andre Berthon (Thales Avionics, France) Session 1: Mixed-criticality HW/SW platforms --> Isolation of Cores - Claus Stellwag, Swapnil Gandhi and Thorsten Rosenthal - Short Sessions chaired Presentation (15 mins) 09: 20 10: 15 by Rolf Ernst --> Open platform for mixed-criticality applications - Miguel Méndez, José Luis Gutiérrez Rivas, (TUBS) 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) 10: 15 10: 45 coffee break Session 2: Certification on aerospace, automotive and automation industries with mixedcriticality --> Hardware and Software Support for Mixed-Criticality Multicore Systems - Glenn Farrall, Claus Session Chaired 10: 45 12: 00 Stellwag, Jonas Diemer and Rolf Ernst - Selected Paper (25 mins) by Javier Diaz (U. --> IFCIMA - Incremental Functional Certification on Integrated Modular Avionics (IMA) - Franck of Granada) 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) 12: 00 13: 00 lunch break ©WICERT 2013, Grenoble, Mar 22 4

Program (Afternoon) Start End TITLE SPEAKER Ondrej Kotaba KEYNOTE 2: Industrial practice on mixed-criticality engineering and certification in the 13: 00 13: 30 (Honeywell, Czeck aerospace industry Republic) 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 13: 30 14: 45 Lopez - Selected Paper (25 mins) --> Towards Model-Driven Engineering for Mixed-Criticality Systems: Multi. PARTES 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) 14: 45 15: 00 coffee break Session chaired by Huáscar Espinoza (TECNALIA) 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 Session chaired by 15: 00 16: 15 --> RECOMP Demonstration of Mixed-Criticality Approach - Claus Stellwag, Natalia Simon Brewerton Willey, Swapnil Gandhi, Thorsten Rosenthal (Infineon Technologies) --> Emergency Shutdown System Demonstrator - Anton Hattendorf, Sebastian Voss --> Tools for Compliance Management and Compositional Safety Assurance - Alejandra Ruiz, Huáscar Espinoza ©WICERT 2013, Grenoble, Mar 22 5

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. ©WICERT 2013, Grenoble, Mar 22 6

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