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
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
Panel Discussion:
“Towards cost-effective certification of critical systems: is it really possible?”


  • Philip Koopman – Carnegie Mellon University
  • Henrique Madeira – University of Coimbra
  • Vincenzo Manni – RINA Services
17:20-17:30 Conclusions & Closing Remarks

For more details, contact the organizing committee or visit:
This workshop is organized within the FP7 PEOPLE-IAPP project CECRIS.

András Pataricza

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
  • StumbleUpon
  • Reddit