Journal of Systems Engineering and Electronics ›› 2023, Vol. 34 ›› Issue (6): 15891601.doi: 10.23919/JSEE.2023.000154
• SYSTEMS ENGINEERING • Previous Articles Next Articles
Changyi XU^{1}(), Yiman DUAN^{2}(), Chao ZHANG^{2}^{,}*()
Received:
20221104
Online:
20231218
Published:
20231229
Contact:
Chao ZHANG
Email:changyixu@dlut.edu.cn;ymduan@zju.edu.cn;chao.zhang@zju.edu.cn
About author:
Supported by:
Changyi XU, Yiman DUAN, Chao ZHANG. Formal managementspecifying approach for modelbased safety assessment[J]. Journal of Systems Engineering and Electronics, 2023, 34(6): 15891601.
Table 1
Management requirement satisfying the transition function of SPA1"
SPA1 transition function  Transition event  EDA1 transition function  SP1 transition function 
f_{1}  
r_{1}  
f_{2}  
r_{2}  
f_{1}  
r_{1}  
f_{2} 
1 
HEGDE J, ROKSETH B Applications of machine learning methods for engineering risk assessmenta review. Safety science, 2020, 122, 104492.
doi: 10.1016/j.ssci.2019.09.015 
2  HENDRIX B, LEWIS T, EMERY M, et al. Model based functional safetyhow functional is it? Journal of system safety, 2022, 57: 32−38. 
3  CROWDER J A, HOFF C W. Requirements engineering: laying a firm foundation. Cham: Springer, 2022: 197−216. 
4  DIATTE K, O’HALLORAN B, VAN BOSSUYT D L The integration of reliability, availability, and maintainability into modelbased systems engineering. Systems, 2022, 10 (4): 101. 
5 
KOOHSARI A, KALATEHJARI R, MOOSAZADEH S, et al A critical investigation on the reliability, availability, and maintainability of EPB machines: a case study. Applied Sciences, 2022, 12 (21): 11245.
doi: 10.3390/app122111245 
6  TORENS C, JUENGER F, SCHIRMER S, et al. Machine learning verification and safety for unmanned aircrafta literature study. Proc. of the AIAA SCITECH 2022 Forum, 2022: 1133. 
7  VARANASI S C, ARIAS J, SALAZAR, E, et al Modeling and verification of realtime systems with the event calculus and s (CASP). Proc. of the 24th International Symposium, 2022, 13165, 181 190. 
8 
LIU Y X, GUSAK A, JING S Y, et al Fast prediction of electromigration lifetime with modified meantimetofailure equation. Materials Letters, 2022, 325, 132880.
doi: 10.1016/j.matlet.2022.132880 
9 
LI Y X, MU L X, GAO P Y Particle swarm optimization fractional slope entropy: a new time series complexity indicator for bearing fault diagnosis. Fractal and Fractional, 2022, 6 (7): 345.
doi: 10.3390/fractalfract6070345 
10 
HEO T, LIU D P, MANUEL L Weather window analysis in operations and maintenance policies for offshore floating multipurpose platforms. Journal of Offshore Mechanics and Arctic Engineering, 2023, 145 (4): 041701.
doi: 10.1115/1.4056344 
11 
KHATIB M E, ALHOSANI A, ALHOSANI I, et al Simulation in project and program management: utilization, challenges and opportunities. American Journal of Industrial and Business Management, 2022, 12 (4): 731 749.
doi: 10.4236/ajibm.2022.124037 
12  VIDAL G H, HERNANDEZ J R C, MINNAARD C, et al Statistical analysis of manufacturing system complexity. The International Journal of Advanced Manufacturing Technology, 2022, 120 (5/6): 3427 3436. 
13 
JIANG W, ZHOU K Q, SARKHEYLIHAGELE A, et al Modeling, reasoning, and application of fuzzy Petri net model: a survey. Artificial Intelligence Review, 2022, 55 (8): 6567 6605.
doi: 10.1007/s10462022101610 
14 
KUMAR K, SUMIT, KUMAR S, et al Predicting reliability of software in industrial systems using a Petri netbased approach: a case study on a safety system used in nuclear power plant. Information and Software Technology, 2022, 146, 106895.
doi: 10.1016/j.infsof.2022.106895 
15  BASILE D, BEEK M H T. Contract automata library. Science of Computer Programming, 2022, 221, 102841. 
16  HENZINGER T A, LEHTINEN K, TOTZKE P. Historydeterministic timed automata. Proc. of the 33rd International Conference on Concurrency Theory, 2022. DOI: 10.4230/LIPICS.CONCUR.2022.14. 
17 
TAI R C, LIN L Y, ZHU Y T, et al A new modeling framework for networked discreteevent systems. Automatica, 2022, 138, 110139.
doi: 10.1016/j.automatica.2021.110139 
18 
CHEN X L, PENG H, WANG J, et al Supervisory control of discrete event systems under asynchronous spiking neuron P systems. Information Sciences, 2022, 597, 253 273.
doi: 10.1016/j.ins.2022.03.003 
19  CLAVE N, CACHEUX P, DUTERTRE A, et al. GRIFBool: risk assessment using a multiapproach Boolean analysis tool. Proc. of the Lambda Mu 20 congress on risk management and operational safety, 2016. DOI:10.4267/2042/61803. 
20  ZHOU T M, LI D L, QIN F, et al. Dynamic Reliability Analysis of Level Control System of Steam Generator based on BDMP. Preprints 2022, 2022080254. https://doi.org/10.20944/preprints202208.0254.v1. 
21  SERRU T, NGUYEN N, BATTEUX M, et al. Generation of cyberattacks leading to safety top event using AltaRica: an automotive case study. Proc. of the 23rd Lambda Mu Congress, 2022. https://hal.science/hal03814648. 
22 
XIE J, TAN W, YANG Z B, et al SysMLbased compositional verification and safety analysis for safetycritical cyberphysical systems. Connection Science, 2022, 34 (1): 911 941.
doi: 10.1080/09540091.2021.2017853 
23  RIVIERE P, SINGH N K, AITAMEUR Y. EB4EB: a framework for reflexive EventB. Proc. of the 26th International Conference on Engineering of Complex Computer Systems, 2022: 71−80. 
24  GUSTAVSSON A, ERMEDAHL A, LISPER B, et al. Towards WCET analysis of multicore architectures using UPPAAL. Proc. of 10th International Workshop on WorstCase Execution Time Analysis, 2010. https://doi.org/10.4230/OASIcs.WCET.2010.101. 
25 
HAGEMANN P, HERTRICH J, STEIDL G Stochastic normalizing flows for inverse problems: a Markov chains viewpoint. SIAM/ASA Journal on Uncertainty Quantification, 2022, 10 (3): 1162 1190.
doi: 10.1137/21M1450604 
26 
XU C, HANSEN M C, WIUF C Structural classification of continuous time Markov chains with applications. Stochastics, 2022, 94 (7): 1003 1030.
doi: 10.1080/17442508.2021.2017937 
27  LUNDTEIGEN M A, RAUSAND M, INGRID B U, et al. Integrating RAMS engineering and management with the safety life cycle of IEC 61508. Reliability Engineering and System Safety, 2009, 94(12): 1894−1903. 
28  XU C Y. Operational dependability model generation. Lyon: University of Lyon, 2020. 
29 
DUER S, WOZNIAK M, PAS J, et al Reliability testing of wind farm devices based on the mean time between failures (MTBF). Energies, 2023, 16 (4): 1659.
doi: 10.3390/en16041659 
30  PENA G, MORENO V, BARRAZA N. Stochastic modeling of the mean time between software failures: a review. JOHRI P, ANAND A, VAIN J, et al, ed. System Assurances, 2022: 355−370. 
31 
GAO S Availability and reliability analysis of a retrial system with warm standbys and second optional repair service. Communications in StatisticsTheory and Methods, 2023, 52 (4): 1039 1057.
doi: 10.1080/03610926.2021.1922702 
32  BOGGERO L, FIORITI M, DONELLI G, et al. Modelbased mission assurance/ modelbased reliability, availability, maintainability, and safety (RAMS). MADNI A M, AUGUSTINE N, SIEVERS M, ed. Handbook of modelbased systems engineering. Cham: Springer, 2022. 
33  MISRA K B. Handbook of advanced performability engineering. Cham: Sprnger, 2021. 
34  IONESCU D. Quantitative evaluation of safety event sequences using probabilistic language theory. Lorraine: University of Lorraine, 2016. 
35  XU C Y, NIEL E, BRINZEI N. Discrete event system formal approaches contribution onto global reliability Markov chain generation. Proc. of the 21st Congress on Risk Control and Operational Safety, 2018. https://hal.science/hal02064997/. 
36 
GARG V, KUMAR K, MARCUS S A probabilistic language formalism for stochastic discreteevent systems. IEEE Trans. on Automatic Control, 1999, 44 (2): 280 293.
doi: 10.1109/9.746254 
37  LIN F, YING H Modeling and control of fuzzy discrete event systems. IEEE Trans. on Systems, Man, and Cybernetics, Part B (Cybernetics), 2002, 32 (4): 408 415. 
38  RODGER S H, BILSKA A O, KENNETH H, et al. A collection of tools for making automata theory and formal languages come alive. Proc. of the 28th SIGCSE technical symposium on Computer science education, 1997. https://doi.org/10.1145/268084.268089. 
39  ANAND V, CARROLL A E, BIONDICH P G, et al Pediatric decision support using adapted Arden Syntax. Artificial intelligence in medicine, 2018, 92, 15 23. 
40  IMRICH W, KLAVZAR S, RALL D F. Topics in graph theory: graphs and their gartesian product. Massachusetts:AK Peters Ltd, 2008. 
41  OH C Y, TOMCZAK J M, GAVVES E, et al. Combinatorial bayesian optimization using the graph cartesian product. Proc. of the 33rd Conference on Neural Information Processing Systems, 2019. https://doi.org/10.48550/arXiv.1902.00448. 
[1]  Ya WANG, Mei CAI, Xinglian JIAN. Consensus model of social network group decisionmaking based on trust relationship among experts and expert reliability [J]. Journal of Systems Engineering and Electronics, 2023, 34(6): 15761588. 
[2]  Xinfeng WANG, Tao WANG, Xin ZHOU, Yanfeng WANG. Research on strategic risk identification method of equipment system development based on system dynamics [J]. Journal of Systems Engineering and Electronics, 2023, 34(5): 12251234. 
[3]  Shunqi YANG, Ying ZENG, Xiang LI, Yanfeng LI, Hongzhong HUANG. Reliability analysis for wireless communication networks via dynamic Bayesian network [J]. Journal of Systems Engineering and Electronics, 2023, 34(5): 13681374. 
[4]  Guangming ZHANG, Siqian REN, Weiwei ZHAO, Xiuyi LI. Research on FMC analytic algorithm of PBN track transition coding [J]. Journal of Systems Engineering and Electronics, 2023, 34(4): 10421052. 
[5]  Delanyo Kwame Bensah KULEVOME, Hong WANG, Xuegang WANG. Rolling bearing fault diagnostics based on improved data augmentation and ConvNet [J]. Journal of Systems Engineering and Electronics, 2023, 34(4): 10741084. 
[6]  Zhiwei CHEN, Ziming ZHOU, Luogeng ZHANG, Chaowei CUI, Jilong ZHONG. Mission reliability modeling and evaluation for reconfigurable unmanned weapon systemofsystems based on effective operation loop [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 588597. 
[7]  Chenggang SHAN, Chuge WU, Yuanqing XIA, Zehua GUO, Danyang LIU, Jinhui ZHANG. Adaptive resource allocation for workflow containerization on Kubernetes [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 723743. 
[8]  Cheng YANG, Qingwei LIANG, Xinyu HAO, Sheng LIN. Reliability analysis of torpedo loading based on fractionalorder optimization model [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 798803. 
[9]  Hui CAO, Fuhai DUAN, Yu’nan DUAN. Reliabilitybased selective maintenance for redundant systems with dependent performance characteristics of components [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 804814. 
[10]  Bei XU, Yining FANG, Guanghan BAI, Yun’an ZHANG, Junyong TAO. Search for dMPs without duplicates in twoterminal multistate networks based on MPs [J]. Journal of Systems Engineering and Electronics, 2022, 33(6): 13321341. 
[11]  Yuqiang FU, Xiaoyang MA. Component reallocation and system replacement maintenance based on availability and cost in series systems [J]. Journal of Systems Engineering and Electronics, 2022, 33(6): 13421353. 
[12]  Jun TANG, Gang LIU, Qingtao PAN. Review on artificial intelligence techniques for improving representative air traffic management capability [J]. Journal of Systems Engineering and Electronics, 2022, 33(5): 11231134. 
[13]  Yumeng SU, Hongyuan GAO, Shibo ZHANG. Energyefficient resource management for CCFD massive MIMO systems in 6G networks [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 877886. 
[14]  ZHANG Ao, Zhihua WANG, Qiong WU, Chengrui LIU. Generalized degradation reliability model considering phase transition [J]. Journal of Systems Engineering and Electronics, 2022, 33(3): 748758. 
[15]  Xiaomei LIU, Naiming XIE. Greybased approach for estimating software reliability under nonhomogeneous Poisson process [J]. Journal of Systems Engineering and Electronics, 2022, 33(2): 360369. 
Viewed  
Full text 


Abstract 

