Research on Verification for STPA-Based Avionic System Software Safety

DOI

10.2991/iccia-17.2017.72How to use a DOI?

Keywords

STPA, software safety, verification, Introduction

Abstract

Software safety problems resulting from relevant faults are increasingly highlighted as systems become more and more complex. Thus, the static verification method is inapplicable to complex system. This paper adopts System-Theoretic Process Analysis (STPA) to identify hazards in system, and obtain software-relevant safety needs. Safety verification adapting for complex system is clarified with the combination of STPA and model test software safety analysis and verification. Analysis and research adopting STPA method are conducted and their feasibility are proved.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yuan Sun
AU  - Jingguo Tang
AU  - Haifeng Yang
PY  - 2016/07
DA  - 2016/07
TI  - Research on Verification for STPA-Based Avionic System Software Safety
BT  - Proceedings of the 2nd International Conference on Computer Engineering, Information Science & Application Technology (ICCIA 2017)
PB  - Atlantis Press
SP  - 432
EP  - 437
SN  - 2352-538X
UR  - https://doi.org/10.2991/iccia-17.2017.72
DO  - 10.2991/iccia-17.2017.72
ID  - Sun2016/07
ER  -