DEVVARTS’14 Workshop
1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems
Monday, September 8th 2014
The Workshop will be held at “Palazzo Coppini – Komech room”, Via del Giglio, 10 – Firenze The registration will take place at Auditorium al Duomo Florence – Via de Cerretani 54/r – Firenze
|
||
---|---|---|
9:00-9:10 |
Welcome Speech
|
Francesco Brancati ResilTech s.r.l. |
9:10-10:00 | Keynote
“Towards Effort and Quality Estimation of V&V Processes” |
András Pataricza Department of Measurement and Information Systems Budapest University of Technology and Economics |
10:00-11:00 | Session 1: Model-checking approaches Session Chair: Barbara Gallina, Mälardalen University |
|
Verification of fault-tolerant system architectures using model checking” | Jussi Lahtinen | |
Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics | András Vörös, Tamás Tóth and István Majzik | |
11:00-11:30 | Coffee Break | |
11:30-12:30 | Session 2: Tools Session Chair: Ilaria Matteucci, IIT-CNR |
|
Visualization of Model-Implemented Fault Injection Experiments | S. Daniel Skarin, Jonny Vinter and Rickard Svenningsson | |
Cost-Effective Testing for Critical Off-The-Shelf Services | Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi and Andrea Bondavalli. | |
12:30-13:00 | Session 1 & 2 Closing Discussion | |
13:00-14:30 | Lunch | |
14:30-15:30 | Session 3: System and tool assessment Session Chair: Nuno Antunes, University of Coimbra |
|
On Security Countermeasures Ranking through Threat Analysis | Andrea Bondavalli, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Ilaria Matteucci and Nicola Nostro | |
Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts | Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl and Arjan Geven | |
15:30-16:00 | Session 3 Closing Discussion | |
16:00-16:30 | Coffee Break | |
16:30-17:20 |
Panel Discussion:
“Towards cost-effective certification of critical systems: is it really possible?” Panelists:
|
|
17:20-17:30 | Conclusions & Closing Remarks |
For more details, contact the organizing committee or visit:
http://www.cecris-project.eu/DEVVARTS
This workshop is organized within the FP7 PEOPLE-IAPP project CECRIS.
http://www.cecris-project.eu/