[FTNews] Call for Papers: DEVVARTS 2014

Nuno Laranjeiro cnl at dei.uc.pt
Wed May 21 16:56:29 EDT 2014


1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems
September 8, 2014 - Firenze, Italy

Held in conjunction with SAFECOMP 2014, http://www.safecomp2014.unifi.it

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.


Submission deadline:    May 31th, 2014
Author notification:    June 20th, 2014
Camera-ready:           July 1st, 2014


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



Authors should prepare a Portable Document Format (PDF) version of their full paper. Regular papers must be no longer than 12 pages, following Instruction for LNCS Authors provided by Springer, available at:
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.
For more details, contact the organizing committee or visit: 

This workshop is organized within the FP7 PEOPLE-IAPP project CECRIS.



- Francesco Brancati (ResilTech s.r.l., Italy)
- Nuno Laranjeiro (University of Coimbra, Portugal)
- Ábel Hegedüs (Budapest University of Technology and Economics, Hungary)

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

More information about the FTTC mailing list