Programme

Tuesday, September 12

08:00 - 09:00
Registration Desk
 09:00 - 10:30Workshops Session
 10:30 - 11:00Coffee Break
 11:00 - 12:30Workshops Session
 12:30 - 13:30Lunch 
 13:30 - 15:30Workshops Session
 15:30 - 16:00Coffee Break 
 16:00 - 18:00Workshops Session 
 18:00Social Event: Workshops Aperitivo at Grand Hotel Trento 


Wednesday, September 13

 08:00 - 08:45
Registration Desk
 08:45 - 09:00Welcome Note
 09:00 - 10:00Keynote: From Documents to Models: Towards Digital Continuity
by Marcel Verhoef
(session chair: Alessandro Cimatti)
 10:00 - 10:30
Coffee Break 
 10:30 - 12:30
Joint IMBSA/SAFECOMP Session
(session chair: Jean-Paul Blanquart)

IMBSA Session
  • Tatiana Prosvirnova, Estelle Saez, Christel Seguin and Pierre Virelizier. Handling consistency between safety and system models 
  • Anthony Legendre, Agnes Lanusse and Antoine Rauzy. Toward models synchronization between safety analysis and architecture system in industrial contexts 
SAFECOMP Session 1: Dynamic Fault Trees
  • Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk. Model-Based Safety Analysis of Vehicle Guidance Systems
  • Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer and Mariëlle Stoelinga. Rare Event Simulation for Dynamic Fault Trees
 12:30 - 14:00
Lunch Break 
 14:00 - 15:30
Session 2: Safety Case
(session chair: Ewen Denney)
  • Carmen Carlan, Barbara Gallina, Severin Kacianka and Ruth Breu. Arguing on Software-Level Verification Techniques Appropriateness
  • Rui Wang, Jérémie Guiochet and Gilles Motet. Confidence Assessment Framework for Safety Arguments
  • Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford and Tom Maibaum. Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach
 15:30 - 16:00
Coffee Break 
 16:00 - 17:30
Session 3: Formal Verification
(session chair: Joost-Pieter Katoen)
  • Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi and Federico Vicentini. Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 
  • Martin Becker, Emanuel Regnath and Samarjit Chakraborty. Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
  • Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka and Scott D. Stoller. A Simplex Architecture for Hybrid Systems using Barrier Certificates
 18:30Social Event: Conference Welcome Reception at Castello Buonconsiglio 

Thursday, September 14

 08:00 - 09:00
Registration desk
 09:00 - 10:00
Keynote: Safety of Autonomy: Challenges and Strategies
by John McDermid
(session chair: Tullio Vardanega)
 10:00 - 10:30
Coffee Break 
 10:30 - 12:30
Session 4: Autonomous Systems
(session chair: Elena Troubitsyna)
  • Patrik Feth, Daniel Schneider, and Rasmus Adler. A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems
  • Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Stig Ursing, Fredrik Warg and Anders Werneman. A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles
  • Ewen Denney, Ganesh Pai and Iain Whiteside. Modeling the Safety Architecture of UAS Flight Operations
  • Philipp Schleiss, Christian Drabek, Gereon Weiss and Bernhard Bauer. Generic Management of Availability in Fail-Operational Automotive Systems
 12:30 - 14:00
Lunch Break 
 14:00 - 14:30
EWICS
 14:30 - 16:00
Session 5: Static Analysis and Testing
(session chair: Francesca Saglietti)
  • Jörg Herter, Daniel Kästner, Christoph Mallon and Reinhard Wilhelm. Benchmarking Static Code Analyzers
  • Mariano Moscato, Laura Titolo, Aaron Dutle and Cesar Munoz. Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
  • Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi and Cyrille Valentin Artho. Classification Tree Method with Parameter Shielding
 17:30 - 19:00
Guided Tour of Trento
 Social Event: Conference Dinner at Imperial Grand Hotel in Levico Terme
Buses leave at 19:15 from Grand Hotel
Dinner at 20:00 in Levico Terme

Friday, September 15

 08:00 - 09:00
Registration desk
 09:00 - 10:00
Keynote: CPS/IoT: Drivers of the Next IT Revolution
by Radu Grosu
(session chair: Erwin Schoitsch)
 10:00 - 10:30
Coffee Break 
 10:30 - 12:30
Session 6: Safety Analysis
(session chair: Christel Seguin)
  • Mustafa Saraoglu, Andrey Morozov, Turan Soylemez and Klaus Janschek. ErrorSim: a Tool for Error Propagation Analysis of Simulink Models
  • Garazi Juez, Estibaliz Amparan, Ray Lattarulo, Alejandra Ruiz, Joshue Perez and Huascar Espinoza. Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework
  • Juliane Höbel, Georg Jäger, Sebastian Zug and Andreas Wendemuth. Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept
  • Kevin Delmas, Rémi Delmas and Claire Pagetti. SMT-Based Synthesis of Fault-Tolerant Architectures
 12:30 - 14:00
Lunch Break 
 14:00 - 15:30
Session 7: Safety and Security
(session chair: Barbara Gallina)
  • Jürgen Dürrwang, Kristian Beckers and Reiner Kriesten. A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain
  • Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser and Neeraj Suri. A Security Architecture for Railway Signalling
  • Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher, Bernhard Winkler, Martin Krammer and Christian Kreiner. Systematic Pattern Approach for Safety and Security Co-Engineering in the Automotive Domain
 15:30 - 16:00
Closing