{"id":18,"date":"2019-12-13T07:18:53","date_gmt":"2019-12-13T07:18:53","guid":{"rendered":"http:\/\/easyconferences.eu\/imbsa2020\/?page_id=18"},"modified":"2020-09-15T07:28:35","modified_gmt":"2020-09-15T07:28:35","slug":"program","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/imbsa2020\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.0.7″ background_image=”http:\/\/easyconferences.eu\/imbsa2020\/wp-content\/uploads\/2019\/12\/tour_img-1187177-148.jpg” min_height=”234px” bottom_divider_style=”arrow2″][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.0.7″ custom_padding=”16px|||||”][et_pb_row _builder_version=”4.0.7″ custom_padding=”0px|||||”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ custom_margin=”18px|||||”]<\/p>\n

Program <\/h1>\n

[\/et_pb_text][et_pb_text _builder_version=”4.0.7″]<\/p>\n

All times depicted below are in Central European Summer Time (CEST)\u00a0<\/span><\/h3>\n

[\/et_pb_text][et_pb_divider _builder_version=”4.0.7″][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”4.0.7″][et_pb_column type=”1_3″ _builder_version=”4.0.7″][et_pb_button button_url=”#monday” button_text=”Monday, 14th September” button_alignment=”center” _builder_version=”4.0.7″ custom_button=”on” button_text_size=”19px” button_text_color=”#ffffff” button_bg_color=”#0c71c3″ button_border_width=”0px” button_border_color=”#ffffff” custom_css_main_element=”min-width:100%;”][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.0.7″][et_pb_button button_url=”#tuesday” button_text=”Tuesday, 15th September” button_alignment=”center” _builder_version=”4.0.7″ custom_button=”on” button_text_size=”19px” button_text_color=”#ffffff” button_bg_color=”#0c71c3″ button_border_width=”0px” button_border_color=”#ffffff” custom_css_main_element=”min-width:100%;”][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.0.7″][et_pb_button button_url=”#wednesday” button_text=”Wednesday, 16th September” button_alignment=”center” _builder_version=”4.0.7″ custom_button=”on” button_text_size=”19px” button_text_color=”#ffffff” button_bg_color=”#0c71c3″ button_border_width=”0px” button_border_color=”#ffffff” custom_css_main_element=”min-width:100%;”][\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″ custom_margin=”|||auto|false|false”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text module_id=”monday” _builder_version=”4.0.7″]<\/p>\n

Monday, 14th September<\/h2>\n

[\/et_pb_text][et_pb_code _builder_version=”4.0.7″ hover_enabled=”0″]\t\t<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n\t <\/p>\n <\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n
12:30 – 13:00<\/td>\n

<\/p>\n

Welcome Note<\/strong> Kai H\u00f6fig and Marc Zeller<\/td>\n

<\/tr>\n

<\/p>\n

13:00 – 14:00<\/td>\n

<\/p>\n

IMBSA Keynote Talk<\/strong> (joint session with SafeComp 2020<\/a>)<\/strong> “Why models really matter for safety assurance” Prof. Mario Trapp
Download the presentation slides<\/a> <\/pee><\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

Break<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 16:15<\/td>\n

<\/p>\n

Tool Demo Session (joint session with SafeComp 2020<\/a>) <\/strong>Chair: Marco Bozzano<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 14:45 <\/td>\n

<\/p>\n

“Generative engineering for safety-critical system design”<\/strong> Amr Hany Saleh, Jonathan Menu, Johan Vanhuyse and Mike Nicolai<\/td>\n

<\/tr>\n

<\/p>\n

14:45 – 15:15<\/td>\n

<\/p>\n

“Modelwise Paitron \u2013 A tool for automated FMEA”<\/strong> Florian Grigoleit, Arnold Bitner and Iliya Valchev<\/td>\n

<\/tr>\n

<\/p>\n

15:15 – 15:45<\/td>\n

<\/p>\n

“An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities”<\/strong> Jan Reich, Ioannis Sorokos and Marc Zeller<\/td>\n

<\/tr>\n

<\/p>\n

15:45 – 16:15<\/td>\n

<\/p>\n

“Lowering Barriers for Applying Model-based FMEA \u2013 Results of the qSafe Project”<\/strong> Florian Grigoleit, Peter Struss, Jana von Wedel, Markus Heine and Julian Rhein<\/td>\n

<\/tr>\n

\t<\/p>\n

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

\t <\/p>\n

Break<\/td>\n

<\/tr>\n

\t<\/p>\n

16:30 – 18:30<\/td>\n

<\/p>\n

Paper Session 1 <\/strong>Chair: Marc Zeller <\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital De-pendability Identities”<\/strong> Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller and Martin Rothfelder<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Model-based Risk Analysis for an Open Source PCA Pump using the AADL Error Modeling Annex”<\/strong> Hariharan Thiagarajan, Brian Larson, John Hatcliff and Yi Zhang<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles”<\/strong> Iwo Kurzidem, Ahmad Saad and Philipp Schleiss<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“An integrated approach to support the process-based certification of variant-intensive systems”<\/strong> Lucas Bressan, Andr\u00e9 Luiz de Oliveira, Yiannis Papadopoulos and David Parker<\/td>\n

<\/tr>\n

<\/tbody>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text module_id=”tuesday” _builder_version=”4.0.7″]<\/p>\n

Tuesday, 15th September<\/h2>\n

[\/et_pb_text][et_pb_code _builder_version=”4.0.7″]\t<\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n<\/p>\n<\/p>\n <\/p>\n <\/p>\n\t <\/p>\n <\/p>\n<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n
13:00 – 14:00<\/td>\n

<\/p>\n

IMBSA Keynote Talk<\/strong> “How Rolls-Royce takes off into electrical propulsion” Maria Kimmerle<\/pee><\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

Break<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 15:45<\/td>\n

<\/p>\n

Best Paper Award Session<\/strong>Chair: Antoine Rauzy<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 14:45 <\/td>\n

<\/p>\n

“Identification and Quantification of Hazardous Scenarios for Automated Driving”<\/strong> Birte Kramer, Christian Neurohr, Matthias B\u00fcker, Eckard B\u00f6de, Martin Fr\u00e4nzle and Werner Damm<\/td>\n

<\/tr>\n

<\/p>\n

14:45 – 15:15<\/td>\n

<\/p>\n

“A Visual Notation for the Representation of Assurance Cases using SACM”<\/strong> Nungki Selviandro, Richard Hawkins and Ibrahim Habli<\/td>\n

<\/tr>\n

<\/p>\n

15:15 – 15:45<\/td>\n

<\/p>\n

“SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures”<\/strong> Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari and Yiannis Papadopoulos<\/td>\n

<\/tr>\n

\t<\/p>\n

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

\t <\/p>\n

Break<\/td>\n

<\/tr>\n

\t<\/p>\n

16:30 – 18:30<\/td>\n

<\/p>\n

Paper Session 2 <\/strong>Chair: Kai H\u00f6fig <\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation”<\/strong> Koorosh Aslansefat, Gholamreza Latif-Shabgahi and Mehrdad Mohammadi<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems”<\/strong> Stefan Kaalen and Mattias Nyberg<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming”<\/strong> Anas Abdelkarim and Ping Zhang<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Counterexample Interpretation for Contract-based Design”<\/strong> Arut Prakash Kaleeswarn, Arne Nordmann, Thomas Vogel and Lars Grunske<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

Virtual Reception<\/strong><\/pee><\/td>\n

<\/tr>\n

<\/tbody>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text module_id=”wednesday” _builder_version=”4.0.7″]<\/p>\n

Wednesday, 16th September<\/h2>\n

[\/et_pb_text][et_pb_code _builder_version=”4.0.7″]\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
09:00 – 10:00<\/td>\n

<\/p>\n

Keynote Talk (joint session with SafeComp 2020<\/a>)<\/strong> “Towards AI trustworthiness”Guillaume Soudain<\/pee><\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

Paper Session 3 <\/strong>Chair: Leila Kloul<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Failure Mode Reasoning in Model Based Safety Analysis”<\/strong>Hamid Jahanian, David Parker, Marc Zeller, Yannis Papadopoulos and Anna-belle McIver<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems”<\/strong>Athira Varma Jayakumar and Carl Elks<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“Model-based Error Detection for Industrial Automation Systems using LSTM Net-works”<\/strong>Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich and Klaus Janschek<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

“U-Map: A reference map for safe handling of runtime uncertainties”<\/strong>Nishanth Laxman, Chee Hung Koo and Peter Liggesmeyer<\/td>\n

<\/tr>\n

<\/p>\n

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

<\/p>\n

Break<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 15:45<\/td>\n

<\/p>\n

Tutorials <\/strong>Chair: Yiannis Papadopoulos<\/td>\n

<\/tr>\n

<\/p>\n

14:15 – 14:45 <\/td>\n

<\/p>\n

“Finite Degradation Structures”<\/strong>Liu Yang and Antoine RauzyTutorial information<\/a><\/td>\n

<\/tr>\n

<\/p>\n

14:45 – 15:15<\/td>\n

<\/p>\n

“Safety Analysis and Requirements Allocation for Software Product Lines”<\/strong>Andr\u00e9 L. de OliveiraTutorial information<\/a><\/td>\n

<\/tr>\n

<\/p>\n

15:15 – 15:45<\/td>\n

<\/p>\n

Closing Session<\/strong><\/pee><\/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 All times depicted below are in Central European Summer Time (CEST)\u00a0Monday, 14th SeptemberTuesday, 15th SeptemberWednesday, 16th September<\/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\/imbsa2020\/wp-json\/wp\/v2\/pages\/18"}],"collection":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/comments?post=18"}],"version-history":[{"count":14,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/18\/revisions"}],"predecessor-version":[{"id":411,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/18\/revisions\/411"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/media?parent=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}