RACME: a framework to support V\&V and certification

Verification and Validation (VV) processes are largely applied to critical systems, and often imposed by certification needs. Many VV processes are defined in the state of the art, for different kind of systems and different kinds of dependability requirements. A very large set of techniques and tools have been developed to execute specific tasks within these VV processes. However, few instruments that guide and support the overall VV process can be identified in the literature. The RACME (Resiltech Assessment and Certification MEthodology) framework aims at filling this gap. RACME guides the entire VV process to support the VV experts, interconnecting the results of the various activities, organizing the relevant inputs and outputs, detecting inconsistencies, and finally offering support to the construction of the documents required (for certification purposes). We present the RACME motivation, specification and the current prototype, finally, we apply our prototype as support to the VV expert during a long-term project.