SysML aided safety analysis for safety-critical systems

  • Guoqi Li*
  • , Boxuan Wang
  • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationArtificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Proceedings
Pages270-275
Number of pages6
EditionPART 1
DOIs
StatePublished - 2011
Event3rd International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011 - Taiyuan, China
Duration: 24 Sep 201125 Sep 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume7002 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011
Country/TerritoryChina
CityTaiyuan
Period24/09/1125/09/11

Keywords

  • SysML
  • safety analysis
  • safety-critical system

Fingerprint

Dive into the research topics of 'SysML aided safety analysis for safety-critical systems'. Together they form a unique fingerprint.

Cite this