©WICERT 2013, Grenoble, Mar 22 1

Organized & Funded by:

Artemis Project

Organizers:Huáscar Espinoza, TECNALIA, ESJosé Luis Gutiérrez Rivas, University of Granada,

ESJarkko Mäkitalo, KONE Oyj, FIRolf Ernst, TU Braunschweig, DEMichael Paulitsch, EADS, DEJavier Díaz Alonso, University of Granada, ESSimon Brewerton, Infineon Technologies, UK

Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems

Grenoble, March 22

©WICERT 2013, Grenoble, Mar 22 2

TOOLS

ARCHITECTURE

CERTIFICATION

Automotive Avionics Automation

Motivation

Mixed-Criticality Systems

©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

©WICERT 2013, Grenoble, Mar 22 4

Program (Morning)Start End TITLE SPEAKER

08:30 08:45 Workshop IntroductionH. Espinoza (TECNALIA)

08:45 09:20KEYNOTE 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:20 10: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:15 10:45 coffee break  

10:45 12: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:00 13:00 lunch break  

©WICERT 2013, Grenoble, Mar 22 5

Program (Afternoon)Start End TITLE SPEAKER

13:00 13:30KEYNOTE 2: Industrial practice on mixed-criticality engineering and certification in the aerospace industry

Ondrej Kotaba (Honeywell, Czeck Republic)

13:30 14: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:45 15:00 coffee break  

15:00 16: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)

©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.

©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

©WICERT 2013, Grenoble, Mar 22 8

We hope that you enjoyWICERT 2013 !