Program at a Glance
- 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 |
|
|
||
11:00 – 11:30 |
Coffee break (at Ristorante Sabatini Via Panzani, 9/a – Firenze)
|
|
11:30 – 13:00 |
QEST Session – Applications, theory, and tools
|
|
|
||
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
|
|
|
||
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 |
|
|
||
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 |
|
|
||
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: |
|
12:30 – 13:00 |
Session 3 – Automotive Systems – Resume
Session chair: Barbara Gallina |
|
|
||
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 |
|
|
||
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 |
|
|
||
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 |
|
|
||
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 |
|
|
||
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 |
|
|
||
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 |
|
|
||
Closing and adjourn
|