Event-based safety and reliability analysis integration in model-based space mission design
Author
Abstract
Suggested Citation
DOI: 10.1016/j.ress.2022.108866
Download full text from publisher
As the access to this document is restricted, you may want to search for a different version of it.
References listed on IDEAS
- Li, Rui & Verhagen, Wim J.C. & Curran, Richard, 2020. "A systematic methodology for Prognostic and Health Management system architecture definition," Reliability Engineering and System Safety, Elsevier, vol. 193(C).
- Martin, H. & Ma, Z. & Schmittner, Ch. & Winkler, B. & Krammer, M. & Schneider, D. & Amorim, T. & Macher, G. & Kreiner, Ch., 2020. "Combined automotive safety and security pattern engineering approach," Reliability Engineering and System Safety, Elsevier, vol. 198(C).
- Desgeorges, Loïc & Piriou, Pierre-Yves & Lemattre, Thibault & Chraibi, Hassane, 2021. "Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata," Reliability Engineering and System Safety, Elsevier, vol. 208(C).
- Cressent, Robin & David, Pierre & Idasiak, Vincent & Kratz, Frederic, 2013. "Designing the database for a reliability aware Model-Based System Engineering process," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 171-182.
- Li, Xiang-Yu & Xiong, Xiaoyan & Guo, Junyu & Huang, Hong-Zhong & Li, Xiaopeng, 2022. "Reliability assessment of non-repairable multi-state phased mission systems with backup missions," Reliability Engineering and System Safety, Elsevier, vol. 223(C).
- Bozzano, Marco & Cimatti, Alessandro & Katoen, Joost-Pieter & Katsaros, Panagiotis & Mokos, Konstantinos & Nguyen, Viet Yen & Noll, Thomas & Postma, Bart & Roveri, Marco, 2014. "Spacecraft early design validation using formal methods," Reliability Engineering and System Safety, Elsevier, vol. 132(C), pages 20-35.
- David, Pierre & Idasiak, Vincent & Kratz, Frédéric, 2010. "Reliability study of complex physical systems using SysML," Reliability Engineering and System Safety, Elsevier, vol. 95(4), pages 431-450.
- Nejad, Hamed S. & Parhizkar, Tarannom & Mosleh, Ali, 2022. "Automatic generation of event sequence diagrams for guiding simulation based dynamic probabilistic risk assessment (SIMPRA) of complex systems," Reliability Engineering and System Safety, Elsevier, vol. 222(C).
- Stewart, Danielle & Liu, Jing (Janet) & Cofer, Darren & Heimdahl, Mats & Whalen, Michael W. & Peterson, Michael, 2021. "AADL-Based safety analysis using formal methods applied to aircraft digital systems," Reliability Engineering and System Safety, Elsevier, vol. 213(C).
- Parhizkar, Tarannom & Utne, Ingrid Bouwer & Vinnem, Jan Erik & Mosleh, Ali, 2021. "Supervised dynamic probabilistic risk assessment of complex systems, part 2: Application to risk-informed decision making, practice and results," Reliability Engineering and System Safety, Elsevier, vol. 208(C).
Citations
Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
Cited by:
- den Heijer, Frank & Kok, Matthijs, 2024. "Risk-based portfolio planning of dike reinforcements," Reliability Engineering and System Safety, Elsevier, vol. 242(C).
- Dasgupta, Agnimitra & Johnson, Erik A., 2024. "REIN: Reliability Estimation via Importance sampling with Normalizing flows," Reliability Engineering and System Safety, Elsevier, vol. 242(C).
- Gan, Chenyu & Ding, Shuiting & Qiu, Tian & Liu, Peng & Ma, Qinglin, 2024. "Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal–mechanical systems of aero-engines," Reliability Engineering and System Safety, Elsevier, vol. 243(C).
Most related items
These are the items that most often cite the same works as this one and are cited by the same works as this one.- Park, Jong Woo & Lee, Seung Jun, 2022. "Simulation optimization framework for dynamic probabilistic safety assessment," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
- Matsuoka, Takeshi, 2023. "Reliability analysis of a BWR plant system at startup stage  - analysis by the GO-FLOW methodology with consideration of loop structures and phased mission problem -," Reliability Engineering and System Safety, Elsevier, vol. 233(C).
- Mobin, Mohammadsadegh & Li, Zhaojun & Cheraghi, S. Hossein & Wu, Gongyu, 2019. "An approach for design Verification and Validation planning and optimization for new product reliability improvement," Reliability Engineering and System Safety, Elsevier, vol. 190(C), pages 1-1.
- Lipaczewski, Michael & Ortmeier, Frank & Prosvirnova, Tatiana & Rauzy, Antoine & Struck, Simon, 2015. "Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica," Reliability Engineering and System Safety, Elsevier, vol. 140(C), pages 191-199.
- Jayaraman, Deepan & Ramu, Palaniappan, 2023. "L-moments and Bayesian inference for probabilistic risk assessment with scarce samples that include extremes," Reliability Engineering and System Safety, Elsevier, vol. 235(C).
- Zang, Yu & Shangguan, Wei & Cai, Baigen & Wang, Huasheng & Pecht, Michael. G., 2021. "Hybrid remaining useful life prediction method. A case study on railway D-cables," Reliability Engineering and System Safety, Elsevier, vol. 213(C).
- Chelouati, Mohammed & Boussif, Abderraouf & Beugin, Julie & El Koursi, El-Miloudi, 2023. "Graphical safety assurance case using Goal Structuring Notation (GSN) — challenges, opportunities and a framework for autonomous trains," Reliability Engineering and System Safety, Elsevier, vol. 230(C).
- Cressent, Robin & David, Pierre & Idasiak, Vincent & Kratz, Frederic, 2013. "Designing the database for a reliability aware Model-Based System Engineering process," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 171-182.
- Guo, Jian & Luo, Cheng & Ma, Kaijiang, 2023. "Risk coupling analysis of road transportation accidents of hazardous materials in complicated maritime environment," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
- Wang, Chaonan & Wang, Shuli & Xing, Liudong & Guan, Quanlong, 2023. "Efficient performability analysis of dynamic multi-state k-out-of-n: G systems," Reliability Engineering and System Safety, Elsevier, vol. 237(C).
- Cheng, Ruijun & Cheng, Yu & Chen, Dewang & Song, Haifeng, 2021. "Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
- Nejad, Hamed S. & Parhizkar, Tarannom & Mosleh, Ali, 2022. "Automatic generation of event sequence diagrams for guiding simulation based dynamic probabilistic risk assessment (SIMPRA) of complex systems," Reliability Engineering and System Safety, Elsevier, vol. 222(C).
- Bolbot, Victor & Theotokatos, Gerasimos & Bujorianu, Luminita Manuela & Boulougouris, Evangelos & Vassalos, Dracos, 2019. "Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review," Reliability Engineering and System Safety, Elsevier, vol. 182(C), pages 179-193.
- Zou, Xinyu & Tao, Laifa & Sun, Lulu & Wang, Chao & Ma, Jian & Lu, Chen, 2023. "A case-learning-based paradigm for quantitative recommendation of fault diagnosis algorithms: A case study of gearbox," Reliability Engineering and System Safety, Elsevier, vol. 237(C).
- MartÃnez-Galán Fernández, Pablo & Guillén López, Antonio J. & Márquez, Adolfo Crespo & Gomez Fernández, Juan Fco. & Marcos, Jose Antonio, 2022. "Dynamic Risk Assessment for CBM-based adaptation of maintenance planning," Reliability Engineering and System Safety, Elsevier, vol. 223(C).
- Bolton, Matthew L. & Molinaro, Kylie A. & Houser, Adam M., 2019. "A formal method for assessing the impact of task-based erroneous human behavior on system safety," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 168-180.
- Vrignat, Pascal & Kratz, Frédéric & Avila, Manuel, 2022. "Sustainable manufacturing, maintenance policies, prognostics and health management: A literature review," Reliability Engineering and System Safety, Elsevier, vol. 218(PA).
- Cheng, Ruijun & Zhou, Jin & Chen, Dewang & Song, Yongduan, 2016. "Model-based verification method for solving the parameter uncertainty in the train control system," Reliability Engineering and System Safety, Elsevier, vol. 145(C), pages 169-182.
- Jain, Amit Kumar & Lad, Bhupesh Kumar, 2020. "Prognosticating RULs while exploiting the future characteristics of operating profiles," Reliability Engineering and System Safety, Elsevier, vol. 202(C).
- Yang, Zhe & Baraldi, Piero & Zio, Enrico, 2022. "A method for fault detection in multi-component systems based on sparse autoencoder-based deep neural networks," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
More about this item
Keywords
Model-based safety and reliability analysis; Complex space missions; Multi-state phased mission system; Model-based systems engineering; SysML;All these keywords.
Statistics
Access and download statisticsCorrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:reensy:v:229:y:2023:i:c:s0951832022004835. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.