Program

Program at a Glance

September 8 (Monday), 2014:

ISSE workshop: Auditorium al Duomo Florence – “Donatello room” – Via de Cerretani 54/r – Firenze
DEVVARTS workshop: Palazzo Coppini – “Komech room”, Via del Giglio, 10 – Firenze
ASCoMS workshop: Palazzo Coppini – “Beglaryan room”, Via del Giglio, 10 – Firenze

September 9 (Tuesday), 2014:

SASSUR workshop: Palazzo Coppini – “Komech room”, Via del Giglio, 10 – Firenze
DECSoS workshop: Auditorium al Duomo Florence – “Donatello room” – Via de Cerretani 54/r – Firenze
ReSA4CI workshop: Palazzo Coppini – “Beglaryan room”, Via del Giglio, 10 – Firenze

Please note that the registration will take place at Auditorium al Duomo Via de Cerretani 54/r – Firenze.

SAFECOMP Program

September 10-12, 2014
Auditorium al Duomo Florence
Via de Cerretani 54/r – Firenze

A pdf version of the program, together with some practical information, is also available for download.

Wednesday, 10 September morning
8:45 – 9:00	Welcome and Opening
9:00 – 10:00	Invited Talk by Henrique Madeira (Un. Coimbra) Quantitative safety assessment: experiments and field measurements
10:00 – 11:00	Session 1 – Fault Injection Techniques Session chair: Wolfgang Ehrenberger
	A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems Iban Ayestaran, Carlos F. Nicolas, Jon Perez, Asier Larrucea, Peter Puschner Rapid Fault-Space Exploration by Evolutionary Pruning Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
11:00 – 11:30	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
11:30 – 13:00	QEST Session – Applications, theory, and tools
	A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri and Sindhu Suresh Compositionality Results for Quantitative Information Flow Yusuke Kawamoto, Konstantinos Chatzikokolakis and Catuscia Palamidessi CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems (tool paper) An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol and Zbigniew Kalbarczyk
13:00 – 14:30	Lunch (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
Wednesday, 10 September afternoon
14:30 – 15:30	Joint program with QEST Invited Talk by Samuel Kounev (Universität Würzburg) Quantitative Evaluation of Service Dependability in Shared Execution Environments
15:30 – 16:30	QEST Session – Probabilistic Model Checking
	Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov and Youssef Hamadi Accelerating Parametric Probabilistic Verification Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker
16:30 – 17:00	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
17:00 – 18:00	Session 2 – Verification & Validation Techniques Session chair: Nobuyasu Kanekawa
	Safety Validation of Sense and Avoid Algorithms using Simulation and Evolutionary Search Xueyi Zou, Rob Alexander, John McDermid Proving the Absence of Stack Overflows Daniel Kästner, Christian Ferdinand
Wednesday, 10 September evening Reception
19:30	HARRY’S BAR – Lungarno Vespucci, 22/R Firenze www.harrysbarfirenze.it
Thursday, 11 September morning
9:00 – 10:00	Invited Talk by Philippe Quere (Renault) Key Challenges for the Automotive Industry and Renault
10:00 – 11:00	Session 3 – Automotive Systems Session chair: Barbara Gallina
	Systematic Derivation of Functional Safety Requirements for Automotive Systems Kristian Beckers, Isabelle Cote, Thomas Frese, Denis Hatebur, Maritta Heisel Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case Thomas Arts, Michele Dorigatti, Stefano Tonetta
11:00 – 11:30	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
11:30 – 12:30	Invited Talk by Philip Koopman (CMU) Software Quality, Dependability and Safety in Embedded Systems The video of Philip Koopman giving the Toyota UA case study talk is on line: http://betterembsw.blogspot.com/2014/09/a-case-study-of-toyota-unintended.html
12:30 – 13:00	Session 3 – Automotive Systems – Resume Session chair: Barbara Gallina
	Securing Vehicle Diagnostics in Repair Shops Pierre Kleberger, Tomas Olovsson
13:00 – 14:30	Lunch (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
Thursday, 11 September afternoon
14:30 – 15:00	EWICS session
15:00 – 16:00	Session 4 – Coverage Models and Mitigation Techniques Session chair: Alexander Romanovsky
	Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno Exploiting Narrow Data-width to Mask Soft Errors in Register Files Jianjun Xu, Qingping Tan, Zeming Shao, Hong Ning
16:00 – 16:30	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
16:30 – 18:00	Session 5 – Assurance cases and arguments Session chair: Francesca Saglietti
	Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence Patrick Graydon Assurance Cases for Block-configurable Software Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands Generation of Safety Case Argument-Fragments from Safety Contracts Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Thursday, 11 September evening Banquet
20:00 – 23:00	Hotel Astoria, Ristorante Palazzo Gaddi – Via del Giglio, 9/11 – Firenze www.ristorantegaddifirenze.it
Friday, 12 September morning
9:00 – 10:00	Invited Talk by Werner Steinhoegl (European Commission) Cyber-Physical Systems in Horizon 2020 – Trends in EU research and innovation activities
10:00 – 11:00	Session 6 – System Analysis Session chair: Elena Troubitsyna
	Estimating worst case failure dependency with partial knowledge of the difficulty function Peter Bishop, Lorenzo Strigini Debugging with Timed Automata Mutations Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
11:00 – 11:30	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
11:30 – 13:00	Session 7 – Security and Trust Session chair: Floor Koornneef
	Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks Francesco Buccafurri, Luigi Coppolino, Salvatore D’Antonio, Alessia Garofalo,Gianluca Lax, Antonino Nocera, Luigi Romano A Petri Net Pattern-oriented approach for the Design of Physical Protection Systems Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini On two models of noninterference: Rushby and Greve, Wilding, and Vanfleet Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
13:00 – 14:30	Lunch (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
Friday, 12 September afternoon
14:30 – 16:00	Session 8 – Notations/Languages for safety-related aspects Session chair: Lorenzo Strigini
	Specifying Safety Monitors for Autonomous Systems using Model-checking Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jeremie Guiochet, David Powell, Hélène Waeselynck Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser Querying Safety Cases Ewen Denney, Dwight Naylor, Ganesh Pai
16:00 – 16:30	Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
16:30 – 18:00	Session 9 – Safety and Security Session chair: Francesco Buccafurri
	Security Application of Failure Mode and Effect Analysis (FMEA) Christoph Schmittner, Thomas Gruber, Peter Puschner, Erwin Schoitsch Safety and security interactions modeling using the BDMP formalism: case study of a pipeline Siwar Kriaa, Marc Bouissou, Freredic Colin, Yoran Halgand, Ludovic Pietre-Cambacedes A Pragmatic Approach towards Safe and Secure Medical Device Integration Christoph Woskowski
	Closing and adjourn