Formal Management-Specifying Approach for Model-Based Safety Assessment

Article Properties
  • DOI (url)
    10.23919/jsee.2023.000154
  • Publication Date
    2023/12/01
  • Journal
    Journal of Systems Engineering and Electronics
  • Indian UGC (journal)
  • Refrences
    41
  • Changyi Xu School of Control Science and Engineering, Dalian University of Technology,Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education,Dalian,China,116024
  • Yiman Duan School of Mechanical Engineering, Zhejiang University,State Key Laboratory of Fluid Power and Mechatronic Systems,Hangzhou,China,310027
  • Chao Zhang School of Mechanical Engineering, Zhejiang University,State Key Laboratory of Fluid Power and Mechatronic Systems,Hangzhou,China,310027
Cite
Xu, Changyi, et al. “Formal Management-Specifying Approach for Model-Based Safety Assessment”. Journal of Systems Engineering and Electronics, vol. 34, no. 6, 2023, pp. 1589-01, https://doi.org/10.23919/jsee.2023.000154.
Xu, C., Duan, Y., & Zhang, C. (2023). Formal Management-Specifying Approach for Model-Based Safety Assessment. Journal of Systems Engineering and Electronics, 34(6), 1589-1601. https://doi.org/10.23919/jsee.2023.000154
Xu C, Duan Y, Zhang C. Formal Management-Specifying Approach for Model-Based Safety Assessment. Journal of Systems Engineering and Electronics. 2023;34(6):1589-601.
Journal Categories
Technology
Electrical engineering
Electronics
Nuclear engineering
Electric apparatus and materials
Electric circuits
Electric networks
Technology
Engineering (General)
Civil engineering (General)
Technology
Manufactures
Production management
Operations management
Technology
Mechanical engineering and machinery
Refrences
Title Journal Journal Categories Citations Publication Date
History-deterministic timed automata 2022
Generation of cyberattacks leading to safety top event using AltaRica: an automotive case study 2022
Combinatorial bayesian optimization using the graph cartesian product 2019
Discrete event system formal approaches contribution onto global reliability Markov chain generation 2018
GRIF- Bool: risk assessment using a multi-approach Boolean analysis tool 2016