Formal management-specifying approach for model-based safety assessment

doi:10.23919/JSEE.2023.000154

Journal of Systems Engineering and Electronics ›› 2023, Vol. 34 ›› Issue (6): 1589-1601.doi: 10.23919/JSEE.2023.000154

• SYSTEMS ENGINEERING • Previous Articles Next Articles

Formal management-specifying approach for model-based safety assessment

Changyi XU¹(), Yiman DUAN²(), Chao ZHANG²^,*()

¹ School of Control Science and Engineering, Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, Dalian University of Technology, Dalian 116024, China
² State Key Laboratory of Fluid Power and Mechatronic Systems, School of Mechanical Engineering, Zhejiang University, Hangzhou 310027, China

Received:2022-11-04 Online:2023-12-18 Published:2023-12-29
Contact: Chao ZHANG E-mail:changyixu@dlut.edu.cn;ymduan@zju.edu.cn;chao.zhang@zju.edu.cn
About author:
XU Changyi was born in 1989. He received his bachelor degree in electronic information science and technology from Jilin University, Changchun, China, in 2012. He received his master degree from Chinese Academy of Sciences, Changchun, China in 2015, and Ph.D degree in automatic in University of Lyon, Lyon, France in 2021. He is currently an associate professor in Dalian University of Technology. His research interests are systems engineering, electronic technology, electronic technology, control theory and practice, reliability. E-mail: changyixu@dlut.edu.cn

DUAN Yiman was born in 1996. She received her B.S. and M.S. degrees from Yanshan University in 2019 and 2022, respectively. She is currently working toward Ph.D. degree in the College of Mechanical Engineering, Zhejiang University, Hangzhou, China. Her research interests include systems engineering, control theory and practice, high-performance mechatronic equipment. E-mail: ymduan@zju.edu.cn

ZHANG Chao was born in 1990. He received his B.S. degree in 2012 and M.S. degree in 2015, from Northwestern Polytechnical University, Xi’an, China. He received his Ph.D. degree in 2019 from University of Lyon, France. He is currently a professor at the Institute of Mechatronics and Control Engineering, Zhejiang University. His research interests include systems engineering, control theory and practice, high-performance mechatronic equipment. E-mail: chao.zhang@zju.edu.cn
Supported by:
This work was supported by the National Natural Science Foundation of China (52105070; U21B2074) and Department of Science and Technology of Liaoning Province China (2033JH1/10400007).

Abstract

Abstract:

In the field of model-based system assessment, mathematical models are used to interpret the system behaviors. However, the industrial systems in this intelligent era will be more manageable. Various management operations will be dynamically set, and the system will be no longer static as it is initially designed. Thus, the static model generated by the traditional model-based safety assessment (MBSA) approach cannot be used to accurately assess the dependability. There mainly exists three problems. Complex: huge and complex behaviors make the modeling to be trivial manual; Dynamic: though there are thousands of states and transitions, the previous model must be resubmitted to assess whenever new management arrives; Unreusable: as for different systems, the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same. Motivated by solving the above problems, this research studies a formal management specifying approach with the advantages of agility modeling, dynamic modeling, and specification design that can be re-suable. Finally, three typical managements are specified in a series-parallel system as a demonstration to show the potential.

Key words: model-based safety assessment (MBSA), management, availability, reliability, maintainability, continuous time Markov chain

Changyi XU, Yiman DUAN, Chao ZHANG. Formal management-specifying approach for model-based safety assessment[J]. Journal of Systems Engineering and Electronics, 2023, 34(6): 1589-1601.

Figures/Tables 9

Fig 1

Fig 2

Fig 3

Table 1

Management requirement satisfying the transition function of SPA1"

SPA1 transition function	Transition event	EDA1 transition function	SP1 transition function
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{W}1.\rm{W}2.\rm{S}2} \right),{{\rm{f}}_1} } \right) = \rm{B}1.\rm{W}2.\rm{S}1$	f₁	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{W}1.\rm{W}2} \right),{{\rm{f}}_1} } \right) = \rm{B}1.\rm{W}2$	$ {\delta _{\rm{EDA}1}}\left( {\rm{S}2,{f_1}} \right) = \rm{S}1 $
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{W}1.\rm{W}2.\rm{S}1} \right),{{\rm{r}}_1} } \right) = \rm{W}1.\rm{W}2.\rm{S}2$	r₁	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{W}1.W_2} \right),{{\rm{r}}_1} } \right) = \rm{W}1.\rm{W}2$	${\delta _{\rm{EDA}1} }\left( { {\rm{S} }{\text{1} },{{\rm{r}}_1} } \right) = \rm{S}2$
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{W}1.\rm{W}2.\rm{S}2} \right),{ {\rm{f} }_{\text{2} } } } \right) = {\rm{W}}{\text{1} }{\text{.} }\rm{B}2.S{\text{0} }$	f₂	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{W}1.\rm{W}2} \right),{{\rm{f}}_{\text{2} } } } \right) = \rm{W}1.\rm{B}2$	${\delta _{\rm{EDA}1} }\left( {\rm{S}2,{f_{\text{2} } } } \right) = {\rm{S}}{\text{0} }$
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{W}1.\rm{B}2.\rm{S}2} \right),{{\rm{r}}_2} } \right) = \rm{W}1.\rm{W}2.\rm{S}2$	r₂	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{W}1.\rm{B}2} \right),{{\rm{r}}_2} } \right) = \rm{W}1.\rm{W}2$	${\delta _{\rm{EDA}1} }\left( { {\rm{S} }{\text{0} },{{\rm{r}}_{\text{2} } } } \right) = \rm{S}2$
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{W}1.\rm{W}2.\rm{S}2} \right),{{\rm{f}}_1} } \right) = \rm{B}1.\rm{B}2.\rm{S}1$	f₁	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{W}1.\rm{B}2} \right),{{\rm{f}}_1} } \right) = \rm{B}1.\rm{B}2$	$ {\delta _{\rm{EDA}1}}\left( {\rm{S}2,{f_1}} \right) = \rm{S}1 $
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{B}1.\rm{B}2.\rm{S}1} \right),{{\rm{r}}_1} } \right) = \rm{W}1.\rm{B}2.\rm{S}2$	r₁	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{B}1.\rm{B}2} \right),{{\rm{r}}_1} } \right) = \rm{W}1.\rm{B}2$	${\delta _{\rm{EDA}1} }\left( { {\rm{S} }{\text{1} },{{\rm{r}}_1} } \right) = {\rm{S} }{\text{1} }$
${\delta _{\rm{SPA}1} }\left( {\left( {\rm{B}1.\rm{W}2.\rm{S}1} \right),{{\rm{f}}_2} } \right) = \rm{W}1.\rm{B}2.\rm{S}1$	f₂	${\delta _{\rm{EDA}1} }\left( {\left( {\rm{B}1.\rm{W}2} \right),{{\rm{f}}_{\text{2} } } } \right) = \rm{W}1.\rm{B}2$	$ {\delta _{\rm{EDA}1}}\left( {\rm{S}2,{f_{\text{2}}}} \right) = \rm{S}1 $

Table 1

Fig 4

Fig 5

Table 2

Fig 6

Fig 7

References 41

1	HEGDE J, ROKSETH B Applications of machine learning methods for engineering risk assessment-a 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 safety-how 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 model-based 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 aircraft-a 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 real-time 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 mean-time-to-failure 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 multi-purpose 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, SARKHEYLI-HAGELE 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/s10462-022-10161-0
14	KUMAR K, SUMIT, KUMAR S, et al Predicting reliability of software in industrial systems using a Petri net-based 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. History-deterministic 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 discrete-event 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. GRIF-Bool: risk assessment using a multi-approach 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/hal-03814648.
22	XIE J, TAN W, YANG Z B, et al SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. Connection Science, 2022, 34 (1): 911- 941. doi: 10.1080/09540091.2021.2017853
23	RIVIERE P, SINGH N K, AIT-AMEUR Y. EB4EB: a framework for reflexive Event-B. 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 Worst-Case 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 Statistics-Theory and Methods, 2023, 52 (4): 1039- 1057. doi: 10.1080/03610926.2021.1922702
32	BOGGERO L, FIORITI M, DONELLI G, et al. Model-based mission assurance/ model-based reliability, availability, maintainability, and safety (RAMS). MADNI A M, AUGUSTINE N, SIEVERS M, ed. Handbook of model-based 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/hal-02064997/.
36	GARG V, KUMAR K, MARCUS S A probabilistic language formalism for stochastic discrete-event 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.

CTMC	EDA
Transition	Transition	By rate
λ₁	f₁	λ₁
λ₂	f₂	λ₂
λ₃	f₃	λ₃
μ₁	r₁	μ₁
μ₂	r₂	μ₂
μ₃	r₃	μ₃

[1]	Ya WANG, Mei CAI, Xinglian JIAN. Consensus model of social network group decision-making based on trust relationship among experts and expert reliability [J]. Journal of Systems Engineering and Electronics, 2023, 34(6): 1576-1588.
[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): 1225-1234.
[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): 1368-1374.
[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): 1042-1052.
[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): 1074-1084.
[6]	Zhiwei CHEN, Ziming ZHOU, Luogeng ZHANG, Chaowei CUI, Jilong ZHONG. Mission reliability modeling and evaluation for reconfigurable unmanned weapon system-of-systems based on effective operation loop [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 588-597.
[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): 723-743.
[8]	Cheng YANG, Qingwei LIANG, Xinyu HAO, Sheng LIN. Reliability analysis of torpedo loading based on fractional-order optimization model [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 798-803.
[9]	Hui CAO, Fuhai DUAN, Yu’nan DUAN. Reliability-based selective maintenance for redundant systems with dependent performance characteristics of components [J]. Journal of Systems Engineering and Electronics, 2023, 34(3): 804-814.
[10]	Bei XU, Yining FANG, Guanghan BAI, Yun’an ZHANG, Junyong TAO. Search for d-MPs without duplicates in two-terminal multistate networks based on MPs [J]. Journal of Systems Engineering and Electronics, 2022, 33(6): 1332-1341.
[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): 1342-1353.
[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): 1123-1134.
[13]	Yumeng SU, Hongyuan GAO, Shibo ZHANG. Energy-efficient resource management for CCFD massive MIMO systems in 6G networks [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 877-886.
[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): 748-758.
[15]	Xiaomei LIU, Naiming XIE. Grey-based approach for estimating software reliability under nonhomogeneous Poisson process [J]. Journal of Systems Engineering and Electronics, 2022, 33(2): 360-369.

Formal management-specifying approach for model-based safety assessment

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

Share this article

Figures/Tables 9

References 41

Related Articles 15

Recommended Articles

Metrics

Comments