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

Printer-friendly versionPDF version
Session Type: 
Workshop
Date: 
Fri, 2013-03-22
Time: 
08:30-16:30
Location / Room: 
Belle-Etoile

Organisers

Jarkko Mäkitalo, KONE Oyj, FI (Contact Jarkko Mäkitalo)
Rolf Ernst, TU Braunschweig, DE (Contact Rolf Ernst)
Michael Paulitsch, EADS, DE (Contact Michael Paulitsch)
Javier Díaz Alonso, University of Granada, ES (Contact Javier Díaz Alonso)
Simon Brewerton, Infineon Technologies, UK (Contact Simon Brewerton)
Huáscar Espinoza, TECNALIA, ES (Contact Huáscar Espinoza)
José Luis Gutiérrez Rivas, University of Granada, ES (Contact José Luis Gutiérrez Rivas)

Description

Increased complexity of embedded systems implies high certification costs to comply with functional safety standards and regulations. The use of technologies such as for example multi-core and FPGA is particularly a challenge in mixed-criticality configurations. Mixed criticality is the concept of allowing applications at different levels of criticality to interact and co-exist on the same computational platform. In a mixed-criticality system, low-critical and high-critical applications coexist and must therefore share processing time in a safe way. Unfortunately, certification of such systems is more difficult, because it requires that even the components of less criticality be certified at the highest criticality level.

This workshop aims to present and evaluate different industry-driven approaches for reducing certification costs in safety-critical, mixed-criticality systems. In particular, WICERT will provide a platform for industrial demonstrations, thematic presentations and in-depth discussions about new HW/SW architectures and mechanisms and safety guidelines to achieve a more cost-effective, precise, and scalable certification. WICERT aims at bringing together experts, researchers, and practitioners, from diverse communities, such as safety and security engineering, certification processes, model-based technologies, software and hardware design, safety- critical systems and applications communities (aerospace, automotive, industrial manufacturing, health, etc.).

Agenda

Agenda

TimeLabelSession
08:30W8.0Workshop Introduction

Speaker:
Huáscar Espinoza, TECNALIA, ES

08:45W8.1KEYNOTE 1
08:45W8.1.1MULCORS - The Use of MULticore proCessORs in airborne Systems. Project EASA.2011.OP.30. (study done for EASA: European Aviation Safety Agency)
Marc Gatti and Guy-Andre Berthon, Thales Avionics, FR

09:20W8.2Session 1: Mixed-criticality HW/SW platforms

Chair:
Rolf Ernst, TU Braunschweig, DE

09:20W8.2.1Isolation of Cores
Claus Stellwag1, Swapnil Gandhi2 and Thorsten Rosenthal2
1Elektrobit, DE; 2Delphi, DE

09:35W8.2.2Open platform for mixed-criticality applications
Miguel Méndez1, José Luis Gutiérrez Rivas2, David Fernández García-Valdecasas2 and Javier Díaz Alonso2
1Seven Solutions, ES; 2University of Granada, ES

10:00W8.2.3Servosystem control for theatre stage equipment
Pavel Zemcik1, Sevcovic Jiri1, Pavol Korcek2, Michal Kajan1 and Josef Strnadel1
1Faculty of Information Technology, CZ; 2Camea, CZ

10:15W8Coffee Break

Monday and Friday morning and afternoon coffee breaks will be located in the Salle de Reception. On Tuesday-Thursday the breaks will be located in the Exhibition Hall. Morning and afternoon (with the exception of Thursday afternoon which is a 30 minute break) coffee breaks on Tuesday-Thursday are extended breaks and will run for 60 minutes (coffee points will be open for the first 30 minutes only) from the start time indicated in the programme.
10:45W8.3Session 2: Certification on aerospace, automotive and automation industries with mixed-criticality

Chair:
Uwe Kremer, TÜV, DE

10:45W8.3.1Hardware and Software Support for Mixed-Criticality Multicore Systems
Glenn Farrall1, Claus Stellwag2, Jonas Diemer3 and Rolf Ernst3
1Infineon, UK; 2Elektrobit, DE; 3TU Braunschweig, DE

11:10W8.3.2IFCIMA - Incremental Functional Certification on Integrated Modular Avionics (IMA)
Franck Aimé, Thales Avionics, FR

11:35W8.3.3Impact of multicore platforms in hardware and software certification
Risto Nevalainen1, Uwe Kremer2, Oscar Slotosch3, Dragos Truscan4 and Vicky Wong5
1Spinet, FI; 2TÜV, DE; 3Validas, DE; 4Åbo Akademi, FI; 5SpaceSystems Finland, FI

12:00W8Lunch Break

Buffet meal
13:00W8.4KEYNOTE 2
13:00W8.4.1Industrial practice on mixed-criticality engineering and certification in the aerospace industry
Ondrej Kotaba, Honeywell, CZ

13:30W8.5Session 3: Methods and tools for cost-effective certification of safety critical systems

Chair:
Huáscar Espinoza, TECNALIA, ES

13:30W8.5.1Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach
Paul Pop1, Leonidas Tsiopoulos2, Sebastian Voss3, Oscar Slotosch4, Christoph Ficek5, Ulrik Nyman6 and Alejandra Ruiz Lopez7
1Technical University of Denmark, DK; 2Åbo Akademi, FI; 3fortiss, DE; 4Validas, DE; 5Symtavision, DE; 6Aalborg University, DK; 7TECNALIA, ES

13:55W8.5.2Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach
Alejandro Alonso1, Christophe Jouvray2, Salvador Trujillo3, Miguel A. de Miguel1, Cyril Grepet2 and José Simó4
1Universidad Politécnica de Madrid, ES; 2Trialog, FR; 3Ikerlan-IK4, ES; 4Universidad Politécnica de Valencia, ES

14:20W8.5.3Multicore In Real-Time Systems - Temporal Isolation Challenges Due To Shared Resources
Ondrej Kotaba1, Michael Paulitsch2, Stefan Petters3, Henrik Theiling4 and Jan Nowotsch2
1Honeywell, CZ; 2EADS, DE; 3ISEP, PT; 4SYSGO, DE

14:45W8Coffee Break

Monday and Friday morning and afternoon coffee breaks will be located in the Salle de Reception. On Tuesday-Thursday the breaks will be located in the Exhibition Hall. Morning and afternoon (with the exception of Thursday afternoon which is a 30 minute break) coffee breaks on Tuesday-Thursday are extended breaks and will run for 60 minutes (coffee points will be open for the first 30 minutes only) from the start time indicated in the programme.
15:00W8.6Demonstrators and Poster session: Paralell demonstrators and posters

Chair:
Simon Brewerton, Infineon Technologies, UK

15:00W8.6.1Mixed-Critical Multi-Processor Motor Controller with Capabilities for Runtime Update of Software
Simon Holmbacka1, José Luis Gutiérrez Rivas2 and Miguel Méndez3
1Åbo Akademi, FI; 2University of Granada, ES; 3Seven Solutions, ES

15:00W8.6.2RECOMP Demonstration of Mixed-Criticality Approach
Claus Stellwag1, Natalia Willey2, Swapnil Gandhi3 and Thorsten Rosenthal3
1Elektrobit, DE; 2Delphi, FR; 3Delphi, DE

15:00W8.6.3Emergency Shutdown System Demonstrator
Anton Hattendorf and Sebastian Voss, fortiss, DE

15:00W8.6.4Tools for Compliance Management and Compositional Safety Assurance
Alejandra Ruiz and Huáscar Espinoza, TECNALIA, ES

16:15W8.7Wrap Up

Chair:
Javier Díaz Alonso, University of Granada, ES

Further information are available at the workshop website.

Groups: