Method Based on SEFT-to-Petri for Safety Analysis of Software

Method Based on SEFT-to-Petri for Safety Analysis of Software

System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Enginee...

Full description

Bibliographic Details
Main Authors: Sai-sai Xu, Jing Chen, Yu-ning Sun, Xin-rui Gao, Bo-han Wang, Kun-long Wang
Format: Article
Language:English
Published: EDP Sciences 2018-01-01
Series:MATEC Web of Conferences
Online Access:https://doi.org/10.1051/matecconf/201817903030

Similar Items

Similar Items