W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT)
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 08:30 | W8.0 | Workshop Introduction Speaker: |
| 08:45 | W8.1 | KEYNOTE 1 |
| 08:45 | W8.1.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 and Guy-Andre Berthon, Thales Avionics, FR |
| 09:20 | W8.2 | Session 1: Mixed-criticality HW/SW platforms Chair: |
| 09:20 | W8.2.1 | Isolation of Cores Claus Stellwag1, Swapnil Gandhi2 and Thorsten Rosenthal2 1Elektrobit, DE; 2Delphi, DE |
| 09:35 | W8.2.2 | Open 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:00 | W8.2.3 | Servosystem control for theatre stage equipment Pavel Zemcik1, Sevcovic Jiri1, Pavol Korcek2, Michal Kajan1 and Josef Strnadel1 1Faculty of Information Technology, CZ; 2Camea, CZ |
| 10:15 | W8 | Coffee 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:45 | W8.3 | Session 2: Certification on aerospace, automotive and automation industries with mixed-criticality Chair: |
| 10:45 | W8.3.1 | Hardware 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:10 | W8.3.2 | IFCIMA - Incremental Functional Certification on Integrated Modular Avionics (IMA) Franck Aimé, Thales Avionics, FR |
| 11:35 | W8.3.3 | Impact 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:00 | W8 | Lunch Break Buffet meal |
| 13:00 | W8.4 | KEYNOTE 2 |
| 13:00 | W8.4.1 | Industrial practice on mixed-criticality engineering and certification in the aerospace industry Ondrej Kotaba, Honeywell, CZ |
| 13:30 | W8.5 | Session 3: Methods and tools for cost-effective certification of safety critical systems Chair: |
| 13:30 | W8.5.1 | Methods 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:55 | W8.5.2 | Towards 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:20 | W8.5.3 | Multicore 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:45 | W8 | Coffee 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:00 | W8.6 | Demonstrators and Poster session: Paralell demonstrators and posters Chair: |
| 15:00 | W8.6.1 | Mixed-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:00 | W8.6.2 | RECOMP Demonstration of Mixed-Criticality Approach Claus Stellwag1, Natalia Willey2, Swapnil Gandhi3 and Thorsten Rosenthal3 1Elektrobit, DE; 2Delphi, FR; 3Delphi, DE |
| 15:00 | W8.6.3 | Emergency Shutdown System Demonstrator Anton Hattendorf and Sebastian Voss, fortiss, DE |
| 15:00 | W8.6.4 | Tools for Compliance Management and Compositional Safety Assurance Alejandra Ruiz and Huáscar Espinoza, TECNALIA, ES |
| 16:15 | W8.7 | Wrap Up Chair: |
Further information are available at the workshop website.
Groups:
