Model-based hazard analysis of undesirable environmental and components interaction
暂无分享,去创建一个
[1] Michael T. Goodrich,et al. Algorithm Design: Foundations, Analysis, and Internet Examples , 2001 .
[2] Bran Selic. On the Semantic Foundations of Standard UML 2.0 , 2004, SFM.
[3] J.T. Malin,et al. Vulnerabilities, influences and interaction paths: failure data for integrated system risk analysis , 2006, 2006 IEEE Aerospace Conference.
[4] Nancy G. Leveson,et al. Safety and Risk -Driven Design in Complex Systems -of - Systems , 2005 .
[5] Wim Dehaene,et al. UML 2 and SysML: an approach to deal with complexity in SoC/NoC design , 2005, Design, Automation and Test in Europe.
[6] Peter A. Fritzson,et al. Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .
[7] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[8] Tim Weilkiens,et al. Systems engineering with SysML / UML - modeling, analysis, design , 2007 .
[9] Bernard P. Zeigler,et al. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .
[10] Erik Hollnagel,et al. Barriers And Accident Prevention , 2004 .
[11] Averill M. Law,et al. Simulation Modeling and Analysis , 1982 .
[12] COIS E. CELLIER. Object{oriented Modeling: Means for Dealing with System Complexity , 1996 .
[13] Kristin L. Wood,et al. A heuristic method for identifying modules for product architectures , 2000 .
[14] H. Jaap van den Herik,et al. Progressive Strategies for Monte-Carlo Tree Search , 2008 .
[15] Matthew I. Campbell,et al. Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping , 2009 .
[16] Jack C. Wileden,et al. Ontologies for supporting engineering analysis models , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[17] Jeffrey S. Lavell,et al. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .
[18] Chokri Mraidha,et al. Enhancing UML extensions with operational semantics behaviored profiles with templates , 2007, MODELS'07.
[19] Mark W. Maier. Architecting Principles for Systems‐of‐Systems , 1996 .
[20] David John Pumfrey,et al. The principled design of computer system safety analyses , 1999 .
[21] Peter Checkland,et al. Systems Thinking, Systems Practice , 1981 .
[22] Nicolas Jouandeau,et al. A Parallel Monte-Carlo Tree Search Algorithm , 2008, Computers and Games.
[23] Rahul Rai,et al. Simulation-Based Design of Aircraft Electrical Power Systems , 2011 .
[24] Chris W. Johnson,et al. The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related ‘mishap’ , 2003, Softw. Pract. Exp..
[25] Leon F. McGinnis,et al. System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.
[26] Ole J. Mengshoel,et al. Advanced Diagnostics and Prognostics Testbed , 2007 .
[27] Vadim Kotov,et al. Systems of systems as communicating structures , 1999 .
[28] Henrik Lönn,et al. Advancing Traffic Efficiency and Safety through Software Technology phase 2 ( ATESST 2 ) Report type D 2 . 1 Appendix A 3 . 4 Report name Evaluation report EAST-ADL 2 behavior support , 2010 .
[29] Graham Jolliffe. Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview , 2010, SSS.
[30] Alberto L. Sangiovanni-Vincentelli,et al. Metamodels in Europe: Languages, Tools, and Applications , 2009, IEEE Design & Test of Computers.
[31] Rob Alexander,et al. Using Simulation for Systems of Systems Hazard Analysis , 2007 .
[32] Christiaan J. J. Paredis,et al. Reconfigurable Models: A Modeling Paradigm to Support Simulation-Based Design , 2000 .
[33] Sanford Friedenthal,et al. A Practical Guide to SysML: The Systems Modeling Language , 2008 .
[34] G. Rabadi,et al. System of systems engineering , 2003, IEEE Engineering Management Review.