Advertisement

Research on Multi-view Based Embedded Software Safety Mechanism

  • Shidong Luo
  • Xiaohong Bao
  • Wang Wang
  • Tingdi Zhao
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 528)

Abstract

As embedded software is widely used in a variety of safety-critical control systems, the scale of the software and the complexity are constantly increasing, and the system safety problems caused by software have become more serious. Related fields of software for the current accident mechanism described angle is not comprehensive, so this research focuses on the safety mechanism of the embedded software. Through analysis and empirical data collection, the accident model of embedded system software is given. According to the accident model, the control strategies based on development view, structure view, logic view and environment view are proposed. Using this control strategy, the safety design, analysis, and software safety related development and management of embedded system software can be performed more comprehensively to provide effective protection for system safety.

Keyword

Embedded system software Software safety mechanism Software safety control 

Notes

Acknowledgements

This research has been supported by grants from the Major State Basic Research Development Program of China (973 Program) (No. 2014CB744904), and grants from a project of Ministry of Industry and Information Technology of China (No. JSZL2015601C008), and Civil Aviation Joint Funds established by National Nature Science Foundation of China and Civil Aviation Administration of China (No. U1533201).

References

  1. 1.
    X. Sun, X. Zhou, J. Lin, et al., Accident model theory development and applied research. Qual. Reliab. (2), 19–23 (2014)Google Scholar
  2. 2.
    N. Leveson, A new accident model for engineering safer systems. Saf. Sci. 42(4), 237–270 (2004)CrossRefGoogle Scholar
  3. 3.
    N. Leveson, J.P. Thomas, STPA Handbook (2018)Google Scholar
  4. 4.
    X. Zhou, X. Sun, Space software system accident mechanism and model research. Qual. Reliab. (4), 1–5 (2014)Google Scholar
  5. 5.
    P. Kruchten, Architecture blueprints—the “4+1” view model of software architecture (ACM, 1995), pp. 540–555Google Scholar
  6. 6.
    W. Wang, X. Bao, T. Zhao, A research for embedded system software accident mechanism, in International Conference on System Reliability and Safety (2017), pp. 460–464Google Scholar
  7. 7.
    P. Sui, B. Chen, Safety Principle and Accident Prediction (Metallurgical Industry Press, 1988)Google Scholar
  8. 8.
    Y. Jia, Robust control with decoupling performance for steering and traction of 4WS vehicles under velocity-varying motion. IEEE Trans. Control Syst. Technol. 8(3), 554–569 (2000)CrossRefGoogle Scholar
  9. 9.
    Y. Jia, Alternative proofs for improved LMI representations for the analysis and the design of continuous-time systems with polytopic type uncertainty: a predictive approach. IEEE Trans. Autom. Control 48(8), 1413–1416 (2003)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2019

Authors and Affiliations

  • Shidong Luo
    • 1
  • Xiaohong Bao
    • 1
  • Wang Wang
    • 1
  • Tingdi Zhao
    • 1
  1. 1.School of Reliability and Systems EngineeringBeihang UniversityBeijingChina

Personalised recommendations