Wednesday, 16 October 2019

08:00 - 09:00 Registration
09:00 - 09:30 Welcome Note
Yiannis Papadopoulos
09:30 - 10:30 Session I
Safety Models and Languages I
Session Chair:
Panagiotis Katsaros
  Title 1: Modeling functional allocation in AltaRica to support MBSE/MBSA consistency
Mathilde Machin, Estelle Saez, Pierre Virelizier and Xavier de Bossoreille
  Title 2: Model Based approach for RAMS analyses in the Space domain with Capella open-source tool
Lorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris and Fulvio Capogna
  Title 3: Modeling patterns for the assesment of maintenance policies with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova and Antoine Rauzy
10:30 - 11:00 Coffee break
11:00 - 12:30 Poster Session
  Title 1: Towards Assessing Risk of Reality Augmented Safety critical Socio-techinal Systems
Soheila Sheikh Bahaei and Barbara Gallina
  Title 2: Safety and Security of IoT-based Solutions for Autonomous
Driving: Architectural Rerspective
Omar Veledar, Georg Macher, Eric Armengaud, Stefan Jakšić, Christoph Schmittner, Violeta Damjanovic-Behrendt, Christos Thomos, Kay Roemer, Konrad Diwold, Leo Happ Botler, Mario Drobics and Eva Maria Holzer
  Title 3: Tsunami Evacuation Modeling Using an Agent - Based Simulation: A case of Barrio Baretto City, the Philippines
Karintorn Jirajarus, Jiranont Khorsuwandee, Kanin Thaviyonchai, Natt Leelawat, Jing Tang, Patchanok Srivihok and J Elaine Layug
  Title 4: Production Planning Process Model Redesign Through Enterprise Engineering: A case of Printing Company
Jaruwit Kanitthum, Kelwalin Eiamkuekool, Hemvitee Suttinont, Jing Tang and Natt Leelawat
  Title 5: Towards compliance assurance for automotive safety-critical development: a model-based approach
12:30 - 14:00 Lunch Break
14:00 - 15:30 Session II - Dependability Analysis Processes I
Session Chair:
Ramin Tavakoli Kolagari
  Title 1: A Conceptual Framework to Incorporate Complex Basic Events in Hip-HOPS
Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Youcef Gheraibia and Yiannis Papadopoulos
  Title 2: Compositionality of Component Fault Trees
Simon Greiner, Peter Munk and Arne Nordmann
  Title 3: Tiered Model-Based Safety Assessment
Kevin Delmas, Christel Sequin and Pierre Bieber
  Title 4: Model synchronization: a formal framework for the management of hereroqeneous models of complex technical systems
Michel Batteux, Tatiana Prosvirnova abd Antoine Rauzy
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session III - Security Assessment
Session Chair:
  Title 1: A Serverless Architecture for Wireless Body Area Network Applications
Pangkaj Chandra Paul, John Loane, Fergal McCaffery and Gilbert Regan
  Title 2:Automated Model-based Attack Tree Analysis using HiP-HOPS
Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan and Eoin O'Carroll
  Title 3: What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability
Markus Zoppelt and Ramin Tavakoli Kolagari
  Title 4: Safety and Security Aspects of Fail-operation Urban Surround perceptION ( FUSION)
Georg Macher, Norbert Druml, Omar Veledar and Jakob Reckenzaun
18:00 - 19:00 Welcome Reception

Thursday, 17 October 2019

08:00 - 08:30 Registration
08:30 - 09:30

Keynote Talk
Using Model Checking for fault-tree analysis
Title : Up-to-date topics on using model checking for fault-tree analysis
Joost-Pieter Katoen

09:30 - 10:30 Session IV
Safety Assessment in Automotive Industry
Session Chair:
  Title 1: An Approach for Validating Safety of Rerception Software in Autonomous Driving Systems
Deepak Rao, Plato Pathrose , Felix Huening and Jithin Sid
  Title 2: Stochastic modeling of autonomous vehicles driving scenarios using PEPA
Wei Chen and Leila Kloul
  Title 3: A Runtime Safety Analysis Concept for Open Adaptive Systems
Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler and Ran Wei
10:30 - 11:00 Coffee break
11:00 - 12:30 Session V - Safety Models and Languages II
Session Chair:
Christel Seguin
  Title 1: A Domain Specific Language to support HAZOP Studies of SysML Models
Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Voqel and Arnze Nordmann
  Title 2: Intergating Existing Safety Analyses into SysML
Kester Clegg, John McDermid, Mole Li, David Stamp and Alan Grigg
  Title 3: FDS-ML: A New Modeling Framework For Probabilistic Risk and Safety Analyses
Liu Yang and Antoine Rauzy
  Title 4: Integrating Safety Design Artifacts into System Development Models using SafeDeML
Tim Gonschorek, Frank Ortmeier, Marco Filax and Philipp Bergt
12:30 - 14:00 Lunch Break
14:00 - 15:30 Session VI - Dependability Analysis Processes II
Session Chair:
Marco Bozzano
  Title 1: DPN - Dependability Priority Numbers
Zhensheng Guo and Marc Zeller
  Title 2: Towards dependability and energy aware asset management framework for maintenance planning in smart grids
Jose Ignacio Aizpurua, Unai Garro, Enaut Muxika, Mikel Mendicute and Ian Paul Gilbert
  Title 3: Network Interlocking Control by Distributed Signal Boxes
Stylianos Basagiannis and Panagiotis Katsaros
  Title 4: SQUDfps: Integrated model-based machine safety and product quality for flexible production systems
Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Hofig and Marc Zeller
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session VI - AI in Safety Assessment
Session Chair:
Joxe Aizpurua Unanue
  Title 1: Clustering Enviromental Conditions of Historical Accident Data to effeciently generate Testing Sceneries for Maritime Systems
Tim Wullner, Sebastian Feuerstack and Axel Hahn
  Title 2:Pattern-Based Formal Approach to Analyze Security and Safety of Control Systems
Inna Vistbakka and Elena Troubitsynal
17:30 - 18:00 Closing Session
19:30 - 22:00 Conference Dinner

Friday, 18 October 2019

08:00 - 08:30 Registration
08:30 - 09:30 Tutorial I
Session Chair: Panagiotis Katsaros
Modeling Software Systems Security with SAM and EAST-ADL

Ramin Tavakoli
09:30 - 10:30 Tutorial II
Session Chair: Yiannis Papadopoulos
Modeling and Verification with VECS and SAML

Tim Gonschorek
Tutorial III
Rigorous Component-based Design in BIP

Simon Bliudze
10:30 - 11:00 Coffee break
11:00 - 13:15 Tutorial IV
Safety Modeling and Assessment with AltaRica 3.0

Michel Batteux et al.
Tutorial V
Model-based safety assessment of complex system using the Component Fault Tree(CFT) methodology

Marc Zeller
Tutorial VI
Using Digital Dependability Identities for Dependability Model Exchange and Integration across the Supply Chain

Sorokos et al.
13:15 - 14:30 Coffee break