Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

Conference Paper
Publication Date:
2019
abstract:
The research project SISTER aims to improve the safety and autonomy of light rail trains by developing and integrating novel technologies for remote sensing and object detection, safe positioning, and broadband radio communication. To prove safety of the SISTER solution, CENELEC-compliant Verification and Validation (V&V) is obviously required. In the SISTER project, we tackled the challenge of defining and applying a compact V&V methodology, able to provide convincing safety evidence on the solution, but still within the reduced resources available for the project. A relevant characteristic of the methodology is to produce V&V results that can be reused for future industrial exploitation of SISTER outcomes after project termination. This paper presents the V&V methodology that is currently applied in parallel to the progress of project activities, with preliminary results from its application.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Design; Hazard analysis; Model checking; Model-Driven Engineering; Railway standards; Stochastic modeling; Verification and Validation
List of contributors:
Fantechi, Alessandro; Basile, Davide
Authors of the University:
BASILE DAVIDE
Handle:
https://iris.cnr.it/handle/20.500.14243/362305
  • Overview

Overview

URL

http://www.scopus.com/record/display.url?eid=2-s2.0-85072895381&origin=inward
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)