1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)

September 8th 2014, Firenze, Italy

The Workshop will be held at “Palazzo Coppini – Komech room”, Via del Giglio, 10 – Florence

The registration will take place at Auditorium al Duomo Florence – Via de Cerretani 54/r, Firenze
Update: The workshop program is now available here. A pdf version of the program is also available for download.

In Critical Systems the necessary effort for V&V frequently exceeds the core development time when using traditional methods. The “soft” IT industry rapidly turns to system integration based on the reuse of hardware and software components, but for safety related applications this will still evolve primarily due to the lack of composable V&V and certification. All this poses serious difficulties to companies, which are on one hand constrained to meet predefined quality goals, whereas, on the other hand, are required to deliver systems at acceptable cost and time to market.

Large companies mainly follow a brute-force approach by focused large volume investment into tooling and in-house training, but even high-tech SMEs are highly vulnerable to the new challenges. Definition of methods, strategies and tools assuring an   adequate and simultaneously productive V&V is one of the most challenging goals.

It is hard to establish a proper tradeoff between achievable quality with a particular technique (in terms of RAMS attributes) and the costs required for achieving it. The situation is even worse in the case of integration of existing SW in a safety critical system to be certified, since, assessing products which encompass COTS software is a challenge although modern standards consider this possibility.

An additional concern is the usage of recently adopted methods for SW development like MDD, since the certification of systems using software developed with these supports is at the limit of the applicability of the existing standards, and only the most recent ones are aligned with these ‘modern’ methods.

Topics of particular interest include, but are not limited to:

  • Model-based design and certification
  • Experimental assessment of safety, reliability and security
  • Effort evaluation and prediction models for V&V activities
  • SW-FMEA methodologies
  • Certifiability of critical architectures based on diversity of HW and SW COTS
  • Component integration and V&V
  • Tool certification
  • Human skill aspects of V&V
  • Design for certifiability
  • Interactions and contradictions between safety and security from a certification point of view
  • Techniques for dependable and secure services

The PDF version of the call for papers is also available for download.

Submission Guidelines

Authors should prepare a Portable Document Format (PDF) versions of their full paper. Regular papers must be no longer than 12 pages, following Instruction for LNCS Authors provided by Springer.

Papers are submitted electronically using the EasyChair online submission system:
https://www.easychair.org/conferences/?conf=devvarts2014.

Publication

All submitted papers will be peer-reviewed and the accepted papers will be included in a Workshop Proceedings distributed at the SAFECOMP conference. The SAFECOMP organization team will provide companion proceedings covering all the papers of DEVVARTS workshop and plan to make all workshop papers published by Springer in the LNCS series.

Special Issue

A special issue of best papers from this workshop will be published in the International Journal of Critical Computer-Based Systems (IJCCBS). Authors of accepted papers for the workshop will be provided an opportunity to submit significantly extended versions of their workshop papers, which will undergo a separate, rigorous review.

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

Important Dates

Submission deadline: 20 May, 2014 31 May 2014, 24:00 CEST
Notification acceptance: 20 June, 2014
Final version paper: 1st July, 2014
DEVVARTS’14 Workshop: 8 September, 2014

Organizing Committee

Francesco Brancati ResilTech s.r.l. francesco.brancati@resiltech.com
Nuno Laranjeiro University of Coimbra cnl@dei.uc.pt
Ábel Hegedüs Budapest University of Technology and Economics abel.hegedus@mit.bme.hu

Program Committee

Marco Vieira University of Coimbra (PT)
Alessandro Cimatti Bruno Kessler Foundation (IT)
Melinda Kocsis-Magyar PROLAN zrt (HU)
Hardi Hungar German Aerospace Center – Braunschweig (DE)
Michaela Huhn Technische Universität Clausthal (DE)
Rui Lopes Critical Software SA (PT)
Francesco Rossi ResilTech s.r.l. (IT)
Roberto Natella University of Naples Federico II (IT)
Stefano Russo University of Naples Federico II (IT)
Henrique Madeira University of Coimbra (PT)
Andrea Ceccarelli Università di Firenze (IT)
Barbara Gallina Mälardalen University (SWE)
Istvan Majzik Budapest University of Technology and Economics (HU)
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