Program at a glance
Wednesday 25 September 2013 |
|||||
| 8:30-8:45 | REGISTRATION | ||||
| 8:45-9:00 | WELCOME NOTE | ||||
| 9:00-10:00 | INVITED TALK 1: Logic and Epistemology in Safety Cases. John Rushby, SRI, USA | ||||
| SESSION 1 : Safety requirements and assurance (Session chair : Tim Kelly) | |||||
| 10:00-10:30 | Comparative conformance cases for monitoring multiple implementations of critical requirements. Janusz Gorski, Aleksander Jarzebowicz and Jakub Miler | ||||
| 10:30-11:00 | A Formal Basis for Safety Case Patterns. Ewen Denney and Ganesh Pai | ||||
| 11:00-11:30 | Coffee break | ||||
| SESSION 2 : Testing and verification (Session chair : Francesca Saglietti) | |||||
| 11:30-12:00 | Testing Autonomous Robot Control Software using Procedural Content Generation. James Arnold and Rob Alexander | ||||
| 12:00-12:30 | Fine-grained implementation of fault tolerance mechanisms with AOP: to what extent? Jimmy Lauret, Jean-Charles Fabre and Hélène Waeselynck | ||||
| 12:30-13:00 | Formalisation of an Industrial Approach to Monitoring Critical Data. Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic and Timo Latvala | ||||
| 13:00-14:00 | LUNCH BREAK | ||||
| SESSION 3 : Security (Session chair : Robert Stroud) | |||||
| 14:00-14:30 | Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties. Pierre Kleberger and Tomas Olovsson | ||||
| 14:30-15:00 | Vulnerability Analysis on Smart Cards using Fault Tree. Guillaume Bouffard, Bhagyalekshmy N Thampi and Jean-Louis Lanet | ||||
| 15:00-15:30 | Does Malware Detection Improve With Diverse AntiVirus Products? An Empirical Study. Ilir Gashi, Vladimir Stankovic, Michel Cukier and Bertrand Sobesto | ||||
| 15:30-16:00 | EWICS presentation | ||||
| 16:00-16:15 | SESSION 4 : Fast Abstracts 60' (Session chair : Marc-Olivier Killijian) | ||||
| 16:15-16:30 | Coffee break | ||||
| 16:30-17:30 | Fast Abstract Posters | ||||
| 18:30-21:00 | GUIDED CITY TOUR and WINE TASTING | ||||
|
Thursday 26 September 2013 |
|||||
| 8:30-9:00 | REGISTRATION | ||||
| 9:00-10:00 | INVITED TALK 2 :Embedded Systems Dependability (fly-by-wire). Pascal Traverse, Airbus, FR | ||||
| SESSION 5 : Software reliability assessment (Session chair : Jean-Paul Blanquart) | |||||
| 10:00-10:30 | Software fault-freeness and reliability predictions. Lorenzo Strigini and Andrey Povyakalo. | ||||
| 10:30-11:00 | Does Software have to be Ultra Reliable in Safety Critical Systems? Peter Bishop. | ||||
| 11:00-11:30 | Coffee break | ||||
| SESSION 6 : Practical experience reports and tools I (Session chair : Frank Ortmeier) | |||||
| 11:30-12:00 | The SafeCap Platform for Modelling Railway Safety and Capacity. Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky. | ||||
| 12:00-12:30 | Embedded System Platform for Safety-critical Road Traffic Signal Applications. Thomas Novak and Christoph Stoegerer | ||||
| 12:30-13:00 | Low-level Attacks on Avionics Embedded Systems. Anthony Dessiatnikoff, Vincent Nicomette, Eric Alata and Yves Deswarte | ||||
| 13:00-14:00 | LUNCH BREAK | ||||
| SESSION 7 : Safety assurance in automotive (Session chair : Mario Trapp) | |||||
| 14:00-14:30 | Safety Cases and their role in ISO 26262 Functional Safety Assessment. Ibrahim Habli, John Birch, Helen Monkhouse, Roger Rivett, Dave Higham, John Botham, Rob Palin, Ben Bradshaw and Peter Jesty | ||||
| 14:30-15:00 | Structuring Safety Requirements in ISO 26262 using Contract Theory. Jonas Westman, Mattias Nyberg and Martin Törngren | ||||
| SESSION 8 : Error control codes (Session chair : Phil Koopman) | |||||
| 15:00-15:30 | Flexible Unequal Error Control Codes with SelectableError Detection and Correction Levels. Luis-J. Saiz-Adalid, Pedro-J. Gil-Vicente, Juan-Carlos Ruiz-García, Daniel Gil-Tomás, J.-Carlos Baraza and Joaquin Gracia-Morán. | ||||
| 15:30-16:00 | Safety Transformations: Sound and Complete? Ute Schiffel | ||||
| 16:30-18:30 | AIRBUS A380 Visit | ||||
| 19:00 | APÉRITIF / DRINKS | ||||
| 20:00 | BANQUET | ||||
Friday 27 September 2013 |
|||||
| 8:30-9:00 | REGISTRATION | ||||
| 9:00-10:00 | INVITED TALK 3 : It is (almost) all about human safety: a novel paradigm for robot design, control, and planning. Sami Haddadin, DLR, DE | ||||
| SESSION 9 : Dependable user interfaces (Session chair : Floor Koornneef) | |||||
| 10:00-10:30 |
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study. Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark Alexander Sujan and David Navarre. |
||||
| 10:30-11:00 |
Model-based development of the Generic PCA infusion pump user interface within PVS. Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky and Harold Thimbleby. |
||||
| 11:00-11:30 | Coffee break | ||||
| SESSION 10 : Practical experience reports and tools II (Session chair : Amund Skavhaug) | |||||
| 11:30-12:00 | Characterization of Failure Effects on AADL Models. Bernhard Ern, Viet Yen Nguyen and Thomas Noll | ||||
| 12:00-12:30 |
Derived Hazard Analysis Method for Critical Infrastructures. Thomas Gruber, Georg Neubauer, Andreas Weinfurter, Petr Böhm and Kurt Lamedschwandner |
||||
| 12:30-13:00 |
A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution. Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson and Johan Karlsson |
||||
| 13:00-14:00 | LUNCH BREAK | ||||
| SESSION 11 : Hazard and failure mode analysis (Session chair: Andrea Bondavalli) | |||||
| 14:00-14:30 | OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. Ermeson Andrade, Marcelo Alves, Rubens Matos, Bruno Silva and Paulo Maciel | ||||
| 14:30-15:00 | A Controlled Experiment on Component Fault Trees. Jessica Jung, Andreas Jedlitschka, Kai Hoefig, Dominik Domis and Martin Hiller. | ||||
| 15:00-15:30 | DFTCalc: A Tool for Efficient Fault Tree Analysis. Florian Arnold, Freark Van der Berg, Dennis Guck, Marielle Stoelinga and Axel Belinfante | ||||
| 15:30-16:00 | Closing session / SAFECOMP 2014 | ||||
Fast abstracts Posters
1 - Fault-Tolerant Real-Time Scheduling Algorithm for Energy-Aware Embedded Systems, C. Arar, H. Kalla, S. Kalla and B. S. Sabrina,
2 - Common Cause Failure Analysis for Wireless Sensor Networks, I. Silva and L. A. Guedes, P. Portugal and F. Vasques
3 - An Approach for Security Evaluation and Analysis in Cloud Computing, T. Probst, E. Alata, M. Kaâniche, V. Nicomette, Y. Deswarte
4 - Specifying Safety Monitors for Autonomous Systems, M. Machin, J.-P. Blanquart, J. Guiochet, D. Powell and H. Waeselynck
5 - Multimedia Systems as Immune System to Improve Automotive Security?, J. Dittmann, T. Hoppe, C. Vielhauer
6 - Assure-It: A Runtime Synchronization Tool of Assurance Cases, S. Shida, A. Uchida, M. Ishii, M. Ide, and K. Kuramitsu
7 - Integrating agile practices into critical software development, K. Łukasiewicz, J. Górski
8 - Outsourced Linear Algebra, A. Kumar
9 - Security-informed Safety, R. Bloomfield and R. Stroud
10 - Adequacy of Contract Grammars for Component Certification, A. Ruiz, H. Espinoza, T. Kelly
11 - Communication Integrity for Slow-dynamic Critical Embedded Systems, A. Zammali, A. de Bonneval, Y. Crouzet
12 - Robust by "Let it Crash", C. Woskowski, M. Trzeciecki, F. Schwedes
14 - Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product Lines, A. L. de Oliveira, R. T. V. Braga, P. C. Masiero, I. Habli, T. Kelly
15 - A Study on the Reliability Improvement Factor of Fault Tolerant Mechanisms, J. Na, D. Lee
