SysML aided safety analysis for safety-critical systems

  • Authors:

  • Guoqi Li;Boxuan Wang

  • Affiliations:

  • School of Reliability and System Engineering, Beihang University, Beijing, China;School of Reliability and System Engineering, Beihang University, Beijing, China

  • Venue:
  • AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Traditionally safety analysis on hardware and software are carried out separately, so the analysis on the interface of hardware and software is a difficult problem and a week point of the kind of analysis. To meet the challenge, this paper present a SysML aided method for safety analysis by providing heuristic rules of transforming diagrams of SysML to FMEA and FTA. A case study on a typical control system is given for illustration.