Programme - Safecomp2016
Conference Programme
Wednesday 21 September 2016
| 8:30-8:45 | REGISTRATION |
| 8:45-9:00 | WELCOME NOTE - A. Skavhaug |
| 9:00-10:00 |
INVITED TALK 1: Manuel Oriol (ABB), Transfering R to D: Going the Extra Mile |
|
SESSION 1 : FAULT INJECTION (Session Chair: E. Troubitsyna) |
|
| 10:00-10:30 | FISSC: a Fault Injection and Simulation Secure Collection Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen and Philippe de Choudens |
| 10:30-11:00 | FIDL: A Fault Injection Description Language for Compiler-based SFI Tools Maryam Raiyat Aliabadi and Karthik Pattabiraman |
| 11:00-11:30 | Coffee break |
|
SESSION 2 : SAFETY ASSURANCE (Session Chair: B. Gallina) |
|
| 11:30-12:00 | Using Process Models in System Assurance Richard Hawkins, Thomas Richardson and Tim Kelly |
| 12:00-12:30 | The Indispensable Role Of Rationale In Safety Standards John Knight and Jonathan Rowanhill |
| 12:30-13:00 | Composition of Safety Argument Patterns Ewen Denney and Ganesh Pai |
| 13:00-14:00 | LUNCH BREAK |
|
SESSION 3 : FORMAL VERIFICATION (Session Chair: H.Waeselynck) |
|
| 14:00-14:30 | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol Maxime Puys, Marie-Laure Potet and Pascal Lafourcade |
| 14:30-15:00 | A dedicated algorithm for verification of interlocking systems Quentin Cappart and Pierre Schaus |
| 15:00-15:30 | Catalogue of System and Software Properties Victor Bos, Harold Bruintjes and Stefano Tonetta |
| 15:30-16:00 | A High-Assurance, High-Performance Hardware-Based Cross-Domain System David Hardin, Konrad Slind, Mark Bortz, James Potts and Scott Owens |
|
SESSION 4 : Fast Abstracts 60'' (session Chair: J.Guiochet) |
|
| 16:00-17:00 | Fast abstracts to be announced / Coffee break |
| 18:00-20:30 | Social Events |
Thursday 22 September 2016
| 8:30-9:00 | REGISTRATION |
| 9:00-10:00 | INVITED TALK 2 : Alan Burns (Univ. York) (Session Chair: F.Saglietti) |
|
SESSION 5 : AUTOMOTIVE (Session Chair: M.Heisel) |
|
| 10:00-10:30 | Using STPA in an ISO 26262 compliant process Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford and Alan Wassyng |
| 10:30-11:00 | A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context Georg Macher, Eric Armengaud, Eugen Brenner and Christian Kreiner |
| 11:00-11:30 | Coffee break |
|
SESSION 6 : ANOMALY DETECTION AND RESILIENCE (Session Chair: C. Seguin) |
|
| 11:30-12:00 | Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures Tommaso Zoppi, Andrea Ceccarelli and Andrea Bondavalli |
| 12:00-12:30 | Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis William Excoffon, Jean-Charles Fabre and Michael Lauer |
| 12:30-13:00 | Automatic Invariant Selection for Online Anomaly Detection Flavio Frattini, Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Leonardo Querzoni and Stefano Russo |
| 13:00-14:00 | LUNCH BREAK |
|
SESSION 7 : CYBER SECURITY 1 (Session Chair: C.Schmitz) |
|
| 14:00-14:30 | Modelling Cost-efficiency of Defenses in Industrial Control Systems Andrew Fielder, Tingting Li and Chris Hankin |
| 14:30-15:00 | Your Industrial Facility and Its IP Address: a First Approach for Cyber-Physical Attack Modeling Robert Clausing, Robert Fischer, Jana Dittmann and Yongjian Ding |
| 15:00-15:30 | Towards Security-Explicit Formal Modelling of Safety-Critical Systems Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic and Timo Latvala |
|
EWICS presentation |
|
| 15:30-16:00 | EWICS presentation |
|
17.00- 22.00 |
Sightseeing by river-boat which starts at Ravnkloa and banquet at Munkholmen island. |
| 22.00-22.30 | return by boat |
Friday 23 September 2016
| 8:30-9:00 | REGISTRATION |
| 9:00-10:00 | INVITED TALK 3 : Håkon Olsen (Lloyd's Register), Integerating security in design of safety-critical control systems – a change in mindset for engineers. (Session Chair: A.Skavhaug) |
|
SESSION 9 : FAULT TREES (Session Chair: F.Ortmeier) |
|
| 10:00-10:30 | Advancing Dynamic Fault Tree Analysis - Get succinct state spaces fast and synthesise failure rates Matthias Volk, Sebastian Junges and Joost-Pieter Katoen |
| 10:30-11:00 | Effective Static and Dynamic Fault Tree Analysis Ola Baeckstroem, Yuliya Butkova, Holger Holger Hermanns, Jan Krcal and Pavel Krcal |
| 11:00-11:30 | Coffee break |
|
SESSION 10 : SAFETY ANALYSIS (Session Chair: P.Heegaard) |
|
| 11:30-12:00 | SAFER-HRC: Safety Analysis through Formal vERification in Human-Robot Collaboration Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi and Federico Vicentini |
| 12:00-12:30 | Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain Nuno Silva and Marco Vieira |
| 12:30-13:00 | Towards Cloud-Based Enactment of Safety-Related Processes Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander Romanovsky and Petter Isberg |
| 13:00-14:00 | LUNCH BREAK |
|
SESSION 11 : CYBER SECURITY 2 (Session Chair: Y.Laarouchi) |
|
| 14:00-14:30 | A New SVM-Based Fraud Detection Model for AMI Marcelo Zanetti, Edgard Jamhour, Marcelo Pellenz and Manoel Penna |
| 14:30-15:00 | Exploiting trust in deterministic builds Christopher Jämthagen, Patrik Lantz and Martin Hell |
|
Closing session / SAFECOMP 2017 |
|
| 15:00-15:30 | Closing session / SAFECOMP 2017 |
Download Proceedings
SAFECOMP 2016
SAFECOMP 2016 Workshops
SAFECOMP 2016 Fast Abstracts
Important dates
Worksshops
20 September 2016
Conference
21 – 23 September 2016
