PROGRAM
PROGRAM
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: Hoefig |
| 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 |
| 09:30 - 10:30 | Session IV Safety Assessment in Automotive Industry Session Chair:Armengaud |
| 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 |