{"id":16,"date":"2018-12-17T09:30:45","date_gmt":"2018-12-17T09:30:45","guid":{"rendered":"http:\/\/easyconferences.eu\/imbsa2019\/?page_id=16"},"modified":"2019-10-17T07:18:18","modified_gmt":"2019-10-17T07:18:18","slug":"program","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/imbsa2019\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”3.22″ background_image=”http:\/\/easyconferences.eu\/imbsa2019\/wp-content\/uploads\/2019\/01\/SAM_8571-2.jpg” custom_padding=”54px|0px|9px|0px|false|false” fb_built=”1″ _i=”0″ _address=”0″][et_pb_row _builder_version=”3.25″ custom_padding=”73px|0px|58px|0px|false|false” _i=”0″ _address=”0.0″][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” _i=”0″ _address=”0.0.0″ custom_padding__hover=”|||”][et_pb_text _builder_version=”3.27.4″ _i=”0″ _address=”0.0.0.0″]<\/p>\n

PROGRAM<\/strong><\/span><\/h1>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.22″ custom_padding=”84px|0px|54px|0px|false|false” fb_built=”1″ _i=”1″ _address=”1″][et_pb_row _builder_version=”3.25″ _i=”0″ _address=”1.0″][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” _i=”0″ _address=”1.0.0″ custom_padding__hover=”|||”][et_pb_text _builder_version=”3.29.3″ background_color=”rgba(247,166,44,0.79)” _i=”0″ _address=”1.0.0.0″]<\/p>\n

<\/span><\/strong><\/p>\n

Here you can find the detailed schedule of the conference program<\/span><\/a><\/strong><\/span><\/p>\n

<\/span><\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ _i=”1″ _address=”1.1″][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” _i=”0″ _address=”1.1.0″ custom_padding__hover=”|||”][et_pb_text _builder_version=”3.27.4″ _i=”0″ _address=”1.1.0.0″]<\/p>\n

PROGRAM<\/strong> <\/span><\/h3>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”3.29.3″ _i=”2″ _address=”1.2″][et_pb_column type=”1_3″ _builder_version=”3.29.3″ _i=”0″ _address=”1.2.0″][et_pb_button button_url=”http:\/\/easyconferences.eu\/imbsa2019\/program\/#wed” button_text=”Wednesday, 16 Oct 2019″ _builder_version=”3.29.3″ _i=”0″ _address=”1.2.0.0″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”3.29.3″ _i=”1″ _address=”1.2.1″][et_pb_button button_url=”http:\/\/easyconferences.eu\/imbsa2019\/program\/#thu” button_text=”Thursday, 17 October 2019″ _builder_version=”3.29.3″ _i=”0″ _address=”1.2.1.0″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”3.29.3″ _i=”2″ _address=”1.2.2″][et_pb_button button_url=”http:\/\/easyconferences.eu\/imbsa2019\/program\/#fri” button_text=”Friday, 18 October 2019″ _builder_version=”3.29.3″ _i=”0″ _address=”1.2.2.0″][\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ _i=”3″ _address=”1.3″][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” _i=”0″ _address=”1.3.0″ custom_padding__hover=”|||”][et_pb_text module_id=”wed” _builder_version=”3.29.3″ _i=”0″ _address=”1.3.0.0″]<\/p>\n

Wednesday, 16 October 2019<\/h2>\n

[\/et_pb_text][et_pb_code _builder_version=”3.29.3″ _i=”1″ _address=”1.3.0.1″]\t<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n
08:00 – 09:00<\/td>\n

<\/p>\n

 Registration<\/td>\n

<\/tr>\n

\t<\/p>\n

09:00 – 09:30<\/td>\n

<\/p>\n

Welcome NoteYiannis Papadopoulos<\/td>\n

<\/tr>\n

<\/p>\n

09:30 – 10:30<\/td>\n

<\/p>\n

Session I Safety Models and Languages ISession Chair: <\/strong> Panagiotis Katsaros<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: Modeling functional allocation in AltaRica to support MBSE\/MBSA consistency<\/strong> Mathilde Machin, Estelle Saez, Pierre Virelizier and Xavier de Bossoreille<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

 Title 2: Model Based approach for RAMS analyses in the Space domain with Capella open-source tool <\/strong>Lorenzo Bitetti, R\u00e9gis De Ferluc, David Mailland, Guy Gregoris and Fulvio Capogna <\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

 Title 3: Modeling patterns for the assesment of maintenance policies with AltaRica 3.0 <\/strong>Michel Batteux, Tatiana Prosvirnova and Antoine Rauzy<\/td>\n

<\/tr>\n

\t<\/p>\n

10:30 – 11:00<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

\t<\/p>\n

11:00 – 12:30<\/td>\n

<\/p>\n

Poster Session<\/strong><\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: Towards Assessing Risk of Reality Augmented Safety critical Socio-techinal Systems<\/strong>Soheila Sheikh Bahaei and Barbara Gallina<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2: Safety and Security of IoT-based Solutions for Autonomous Driving: Architectural Rerspective <\/strong>Omar Veledar, Georg Macher, Eric Armengaud, Stefan Jak\u0161i\u0107, Christoph Schmittner, Violeta Damjanovic-Behrendt, Christos Thomos, Kay Roemer, Konrad Diwold, Leo Happ Botler, Mario Drobics and Eva Maria Holzer<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 3: Tsunami Evacuation Modeling Using an Agent – Based Simulation: A case of Barrio Baretto City, the Philippines <\/strong>Karintorn Jirajarus, Jiranont Khorsuwandee, Kanin Thaviyonchai, Natt Leelawat, Jing Tang, Patchanok Srivihok and J Elaine Layug<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 4: Production Planning Process Model Redesign Through Enterprise Engineering: A case of Printing Company <\/strong>Jaruwit Kanitthum, Kelwalin Eiamkuekool, Hemvitee Suttinont, Jing Tang and Natt Leelawat<\/td>\n

<\/tr>\n

\u00a0<\/td>\n

<\/p>\n

Title 5: Towards compliance assurance for automotive safety-critical development: a model-based approach <\/strong><\/td>\n

<\/tr>\n

<\/p>\n

12:30 – 14:00<\/td>\n

<\/p>\n

Lunch Break<\/strong><\/td>\n

<\/tr>\n

\t<\/p>\n

14:00 – 15:30<\/td>\n

<\/p>\n

Session II – Dependability Analysis Processes I Session Chair: <\/strong>Ramin Tavakoli Kolagari<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: A Conceptual Framework to Incorporate Complex Basic Events in Hip-HOPS<\/strong>Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Youcef Gheraibia and Yiannis Papadopoulos<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2: Compositionality of Component Fault Trees <\/strong>Simon Greiner, Peter Munk and Arne Nordmann<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 3: Tiered Model-Based Safety Assessment <\/strong>Kevin Delmas, Christel Sequin and Pierre Bieber<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 4: Model synchronization: a formal framework for the management of hereroqeneous models of complex technical systems <\/strong>Michel Batteux, Tatiana Prosvirnova abd Antoine Rauzy<\/td>\n

<\/tr>\n

15:30 – 16:00<\/td>\n

<\/p>\n

Coffee Break<\/strong><\/td>\n

<\/tr>\n

\t<\/p>\n

16:00 – 17:30<\/td>\n

<\/p>\n

Session III – Security AssessmentSession Chair:<\/strong> Hoefig<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: A Serverless Architecture for Wireless Body Area Network Applications<\/strong>Pangkaj Chandra Paul, John Loane, Fergal McCaffery and Gilbert Regan<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2:Automated Model-based Attack Tree Analysis using HiP-HOPS <\/strong>Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan and Eoin O’Carroll<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 3: What Today’s Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability <\/strong>Markus Zoppelt and Ramin Tavakoli Kolagari<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 4: Safety and Security Aspects of Fail-operation Urban Surround perceptION ( FUSION) <\/strong>Georg Macher, Norbert Druml, Omar Veledar and Jakob Reckenzaun<\/td>\n

<\/tr>\n

<\/p>\n

18:00 – 19:00<\/td>\n

<\/p>\n

Welcome Reception<\/strong><\/td>\n

<\/tr>\n

<\/tbody>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.29.3″ _i=”4″ _address=”1.4″][et_pb_column type=”4_4″ _builder_version=”3.29.3″ _i=”0″ _address=”1.4.0″][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.29.3″ _i=”5″ _address=”1.5″][et_pb_column type=”4_4″ _builder_version=”3.29.3″ _i=”0″ _address=”1.5.0″][et_pb_text module_id=”thu” _builder_version=”3.29.3″ _i=”0″ _address=”1.5.0.0″]<\/p>\n

Thursday, 17 October 2019<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.29.3″ _i=”6″ _address=”1.6″][et_pb_column type=”4_4″ _builder_version=”3.29.3″ _i=”0″ _address=”1.6.0″][et_pb_code _builder_version=”3.29.3″ hover_enabled=”0″ _i=”0″ _address=”1.6.0.0″]<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n<\/p>\n
08:00 – 08:30<\/td>\n

<\/p>\n

 Registration<\/td>\n

<\/tr>\n

\t<\/p>\n

08:30 – 09:30<\/td>\n

<\/p>\n

Keynote Talk<\/strong> Using Model Checking for fault-tree analysis Title : Up-to-date topics on using model checking for fault-tree analysis <\/strong> Joost-Pieter Katoen<\/pee>\t\t<\/td>\n

<\/tr>\n

<\/p>\n

09:30 – 10:30<\/td>\n

<\/p>\n

Session IV Safety Assessment in Automotive IndustrySession Chair:<\/strong>Armengaud<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: An Approach for Validating Safety of Rerception Software in Autonomous Driving Systems<\/strong> Deepak Rao, Plato Pathrose , Felix Huening and Jithin Sid<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

 Title 2: Stochastic modeling of autonomous vehicles driving scenarios using PEPA <\/strong>Wei Chen and Leila Kloul<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

 Title 3: A Runtime Safety Analysis Concept for Open Adaptive Systems <\/strong>Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler and Ran Wei<\/td>\n

<\/tr>\n

\t<\/p>\n

10:30 – 11:00<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

\t<\/p>\n

11:00 – 12:30<\/td>\n

<\/p>\n

Session V – Safety Models and Languages IISession Chair: <\/strong>Christel Seguin<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: A Domain Specific Language to support HAZOP Studies of SysML Models<\/strong>Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Voqel and Arnze Nordmann<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2: Intergating Existing Safety Analyses into SysML <\/strong>Kester Clegg, John McDermid, Mole Li, David Stamp and Alan Grigg<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 3: FDS-ML: A New Modeling Framework For Probabilistic Risk and Safety Analyses <\/strong>Liu Yang and Antoine Rauzy<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 4: Integrating Safety Design Artifacts into System Development Models using SafeDeML <\/strong>Tim Gonschorek, Frank Ortmeier, Marco Filax and Philipp Bergt<\/td>\n

<\/tr>\n

<\/p>\n

12:30 – 14:00<\/td>\n

<\/p>\n

Lunch Break<\/strong><\/td>\n

<\/tr>\n

\t<\/p>\n

14:00 – 15:30<\/td>\n

<\/p>\n

Session VI – Dependability Analysis Processes IISession Chair:<\/strong>Marco Bozzano<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: DPN – Dependability Priority Numbers<\/strong>Zhensheng Guo and Marc Zeller<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2: Towards dependability and energy aware asset management framework for maintenance planning in smart grids <\/strong>Jose Ignacio Aizpurua, Unai Garro, Enaut Muxika, Mikel Mendicute and Ian Paul Gilbert<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 3: Network Interlocking Control by Distributed Signal Boxes <\/strong>Stylianos Basagiannis and Panagiotis Katsaros<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 4: SQUDfps: Integrated model-based machine safety and product quality for flexible production systems <\/strong>Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Hofig and Marc Zeller<\/td>\n

<\/tr>\n

15:30 – 16:00<\/td>\n

<\/p>\n

Coffee Break<\/strong><\/td>\n

<\/tr>\n

\t<\/p>\n

16:00 – 17:30<\/td>\n

<\/p>\n

Session VI – AI in Safety Assessment Session Chair: <\/strong>Joxe Aizpurua Unanue<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 1: Clustering Enviromental Conditions of Historical Accident Data to effeciently generate Testing Sceneries for Maritime Systems<\/strong>Tim Wullner, Sebastian Feuerstack and Axel Hahn<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Title 2:Pattern-Based Formal Approach to Analyze Security and Safety of Control Systems <\/strong>Inna Vistbakka and Elena Troubitsynal<\/td>\n

<\/tr>\n

<\/p>\n

17:30 – 18:00<\/td>\n

<\/p>\n

Closing Session<\/strong><\/td>\n

\t<\/p>\n

19:30 – 22:00<\/td>\n

<\/p>\n

Conference Dinner<\/strong><\/td>\n

<\/tr>\n

<\/tr>\n

<\/tbody>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.29.3″ _i=”7″ _address=”1.7″][et_pb_column type=”4_4″ _builder_version=”3.29.3″ _i=”0″ _address=”1.7.0″][et_pb_text module_id=”fri” _builder_version=”3.29.3″ _i=”0″ _address=”1.7.0.0″]<\/p>\n

Friday, 18 October 2019<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.29.3″ _i=”8″ _address=”1.8″][et_pb_column type=”4_4″ _builder_version=”3.29.3″ _i=”0″ _address=”1.8.0″][et_pb_code _builder_version=”3.29.3″ _i=”0″ _address=”1.8.0.0″]<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n<\/p>\n
08:00 – 08:30<\/td>\n

<\/p>\n

 Registration<\/td>\n

<\/tr>\n

<\/p>\n

08:30 – 09:30<\/td>\n

<\/p>\n

Tutorial ISession Chair: Panagiotis Katsaros Modeling Software Systems Security with SAM and EAST-ADL<\/strong>
Ramin Tavakoli<\/I><\/td>\n

<\/tr>\n

<\/p>\n

09:30 – 10:30<\/td>\n

<\/p>\n

Tutorial IISession Chair: Yiannis Papadopoulos Modeling and Verification with VECS and SAML<\/strong>
Tim Gonschorek <\/I><\/td>\n

<\/tr>\n

\t<\/p>\n

Tutorial III Rigorous Component-based Design in BIP<\/strong>
Simon Bliudze<\/I><\/td>\n

<\/tr>\n

\t<\/p>\n

10:30 – 11:00<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

\t\t<\/p>\n

11:00 – 13:15<\/td>\n

<\/p>\n

Tutorial IV Safety Modeling and Assessment with AltaRica 3.0<\/strong>
Michel Batteux et al.<\/I><\/td>\n

<\/tr>\n

\t<\/p>\n

Tutorial V Model-based safety assessment of complex system using the Component Fault Tree(CFT) methodology<\/strong>
Marc Zeller<\/I><\/td>\n

<\/tr>\n

\t<\/p>\n

Tutorial VI Using Digital Dependability Identities for Dependability Model Exchange and Integration across the Supply Chain<\/strong>
Sorokos et al.<\/I><\/td>\n

<\/tr>\n

\t\t\t<\/p>\n

13:15 – 14:30<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

<\/tbody>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

PROGRAM Here you can find the detailed schedule of the conference program PROGRAM Wednesday, 16 October 2019Thursday, 17 October 2019Friday, 18 October 2019<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/pages\/16"}],"collection":[{"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/comments?post=16"}],"version-history":[{"count":32,"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/pages\/16\/revisions"}],"predecessor-version":[{"id":585,"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/pages\/16\/revisions\/585"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/imbsa2019\/wp-json\/wp\/v2\/media?parent=16"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}