1 |
Department of Defense Practice: System Safety, Department of Defense Standard, MIL-STD-882E, 2012.
|
2 |
Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC Standard, 61508, 2010.
|
3 |
Road Vehicles - Functional Safety, ISO Standard, 26262, 2011.
|
4 |
C. Paredis, "Model-Based Systems Engineering: A roadmap for academic research", in Lecture, Atlanta, Georgia, 2008.
|
5 |
S. Friedenthal, "Model Based Systems Engineering NASA PM Challenge 2009", in Lecture, Feb. 25, 2009.
|
6 |
P. Y. Piriou, J. M. Faure, and G. Deleuze, "A meta-model to support the integration of dependability concerns into systems engineering processes: An example from power production", IEEE Systems Journal, Vol.10, No.1, pp. 1-10, Jul. 9, 2014. DOI: https://doi.org/10.1109/jsyst.2014.2328663
DOI
|
7 |
M. Hillenbrand, M. Heinz, J. Matheis, and K. D. Muller-Glaser, "Development of Electric/Electronic Architectures for Safety-Related Vehicle Functions", Software: Practice and Experience, Vol.42, No.7 pp. 817-851, Jan. 31, 2012. DOI: https://doi.org/10.1002/spe.1154
DOI
|
8 |
S. Sharvia and Y. Papadopoulos, "Integrating Model Checking with HiP-HOPS in Model-Based Safety Analysis", Reliability Engineering and System Safety, Vol.135, pp. 64-80, Mar. 2015. DOI: https://doi.org/10.1016/j.ress.2014.10.025
DOI
|
9 |
H. Mehrpouyan, "Model-Based hazard analysis of undesirable environmental and components interaction", M.S. thesis, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden, Aug. 2011.
|
10 |
G. Duan, J. Tian, and J. Wu, "Extended FRAM by integrating with model checking to effectively explore hazard evolution", Mathematical Problems in Engineering, Vol.2015, Oct. 31, 2015. DOI: https://doi.org/10.1155/2015/196107
|
11 |
A. Joshi and M. P. E. Heimdahl, "Behavioral fault modeling for model-based safety analysis", in Proc. High Assurance Systems Engineering Symposium, Plano, TX, Nov. 14, 2007, pp. 199-208.
|
12 |
Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner, "Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure", Reliability Engineering & System Safety, Vol.71, No.3, pp. 229-247, Mar. 31, 2001. DOI: https://doi.org/10.1016/s0951-8320(00)00076-4
DOI
|
13 |
P. Mauborgne, S. Deniaud, E. Levrat, E. Bonjour, J.-P. Micaelli, and D. Loise, "Operational and System Hazard Analysis in a Safe Systems Requirement Engineering Process - Application to automotive industry", Safety Science, Vol.87, pp. 256-268, Aug. 2016. DOI: https://doi.org/10.1016/j.ssci.2016.04.011
DOI
|
14 |
J. Guiochet, "Hazard analysis of human-robot interactions with HAZOP-UML", Safety Science, Vol.84, pp. 225-237, Apr. 30, 2016. DOI: https://doi.org/10.1016/j.ssci.2015.12.017
|
15 |
O. Jaradat, "Automated architecture-based verification of safety-critical systems", M.S. thesis, School of Innovation, Design and Engineering, Malardalen University, Vasteras, Sweden, Feb. 2012.
|
16 |
Q. Wei, J. Jiao, and T. Zhao, "Flight control system failure modeling and verification based on SPIN", Engineering Failure Analysis, Vol.82, Apr. 18, 2017. DOI: https://doi.org/10.1016/j.engfailanal.2017.04.004
|