September 8th 2014, Firenze, Italy
The Workshop will be held at “Palazzo Coppini – Komech room”, Via del Giglio, 10 – Florence
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.
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:
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.
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.
|Notification acceptance:||20 June, 2014|
|Final version paper:||1st July, 2014|
|DEVVARTS’14 Workshop:||8 September, 2014|
|Francesco Brancati||ResilTech email@example.com|
|Nuno Laranjeiro||University of Coimbrafirstname.lastname@example.org|
|Ábel Hegedüs||Budapest University of Technology and Economicsemail@example.com|
|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)|