Final Program is online

Program at a Glance

program-at-a-glanceSeptember 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.

 

Conference Program

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

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
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

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

A pdf version of the Workshops Program is available for download.

Share: Queste icone linkano i siti di social bookmarking sui quali i lettori possono condividere e trovare nuove pagine web.
  • Twitter
  • Facebook
  • Google Bookmarks
  • Digg
  • del.icio.us
  • StumbleUpon
  • Reddit