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

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
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.
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.
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
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-AT-resiltech.com
Nuno Laranjeiro University of Coimbra cnl-AT-dei.uc.pt
A?bel Hegedu?s Budapest University of Technology and Economics hegedusa-AT-mit.bme.hu
Program Committee
Marco Vieira University of Coimbra (PT)
Alessandro Cimatti Bruno Kessler Foundation (IT)
Melinda Kocsis PROLAN zrt (HU)
Hardi Hungar German Aerospace Center ? Braunschweig (DE)
Michaela Huhn Technische Universita?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 Universita? di Firenze (IT)
Barbara Gallina Ma?lardalen University (SWE)
Istvan Majzik Budapest University of Technology and Economics (HU)