SESAMO Industrial Day

Nov 19, 2014

The question of how to best combine functional safety with cybersecurity needs to be addressed by almost every industrial domain in these days. SESAMO project works on this topic for about two years and has significantly advanced the state of the art in several respects. In order to disseminate the project results to broader audience, we organize SESAMO Industrial days, which are good opportunity for interested people from industry to efficiently learn about project results and get in touch with SESAMO experts. The second edition of SESAMO Industrial Day will be held on November 19, 2014 in Prague, Czech republic.

Registration has been closed due to capacity reasons.

Location

Czech Technical University in Prague
Faculty of Electrical Engineering
Karlovo náměstí 13
Praha 2
Czech Republic

Room: G205

Programme

9:00

Welcome – Z. Hanzálek, M. Sojka, CTU

9:05

SESAMO introduction – Alessandra Martelli, Intecs

9:20

Security informed safety cases – Robert Stroud, Adelard

9:50

Automotive eMotor use case

Infineon's eMotor is a reusable software module (AUTOSAR complex device driver) with demanding safety (ASIL D) and security requirements.

  • Introduction to the use case – Frank Badstuebner, Infineon

  • Adapted process for Automotive – Mario Winkler, ikv

  • System design with medini analyze – Mario Winkler, ikv

  • Stochastic modeling – Marc Bouissou, EDF

  • AUTOSAR integration – Marc Born, ikv

  • Secure CAN bus, Testing and validation with Simulink – Michal Sojka, CTU

10:50

Coffee break

11:10

Railway use case

The Embedded Safety and Security Interface (ESSI) is a device providing safe and secure communication in a distributed control system via open transmission environment such as the Internet or Wi-Fi. The development process must be compliant with EN 50129, EN 50128 and EN 50159 railway standards for the highest Safety Integrity Level (SIL 4).

  • Introduction to the use case – Petr Novobílský, UniControls

  • The use of SESAMO tool chain in ESSI development – Tomáš Kertiš, UniControls

  • ESSI security layer verification – Martin Vítek, UniControls

  • UPPAL model for the communication protocol – Jan Sálus, UniControls

  • Hardware platform and PikeOS integration – Jan Neškudla, SYSGO

12:10

Excursion to Operation Control Centre of Prague metro

13:40

Lunch

15:00

Overview of IEC TC65 AHG1 “Towards Cooperation of Safety and Security in Industrial Automation” Erwin Schoitsch, SESAMO advisory board member, AIT Austrian Institute of Technology

15:15

Avionics use case

The avionic use case deals mainly with safety and security of Integrated Modular Avionics (IMA). The focus is on assurance and control of information flows between security domains on-board of an aircraft within a communication gateway. The use case relies on a DO-178 certified operating system (PikeOS) as base component.

  • Introduction to use case - Kevin Mueller, Airbus Group

  • Modelling information flow using security labels – Kevin Mueller, Airbus Group

  • IMACT: Integrated configuration of aircraft systems – Pavel Bartůšek, SYSGO

16:15

Coffee break, end

Contact

Michal Sojka, Ph.D.
email: sojkam1 [at] fel [dot] cvut [dot] cz (subject: SESAMO%20Industrial%20Day)