The Sister Approach For Verification And Validation: A Lightweight Process For Reusable Results

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019(2019)

引用 1|浏览6
暂无评分
摘要
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.
更多
查看译文
关键词
Design, Verification and Validation, Hazard analysis, Model checking, Model-Driven Engineering, Stochastic modeling, Railway standards
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要