-
1
-
-
84868197549
-
-
NECTISE Project Issue 1-Operational Architecture. Technical Report. Cranfield University.
-
Adcock, R.D., 2006. NECTISE Project Issue 1-Operational Architecture. Technical Report. Cranfield University.
-
(2006)
-
-
Adcock, R.D.1
-
2
-
-
79960574330
-
A risk modelling approach for a communicating system of systems
-
Proceedings of the IEEE International Systems Conference.
-
Aitken, J.M., Alexander, R.D., Kelly, T.P., 2011. A risk modelling approach for a communicating system of systems. In: Proceedings of the IEEE International Systems Conference.
-
(2011)
-
-
Aitken, J.M.1
Alexander, R.D.2
Kelly, T.P.3
-
3
-
-
67650154635
-
Using Simulation for Systems of Systems Hazard Analysis
-
PhD Thesis., Department of Computer Science, University of York.
-
Alexander, R.D., 2007. Using Simulation for Systems of Systems Hazard Analysis. PhD Thesis., Department of Computer Science, University of York.
-
(2007)
-
-
Alexander, R.D.1
-
4
-
-
33750967299
-
Characterisation of systems of systems failures
-
Proceedings of the 22nd International Systems Safety Conference (ISSC 2004), Providence, USA,
-
Alexander, R.D., Hall-May, M., Kelly, T.P., 2004. Characterisation of systems of systems failures. In: Proceedings of the 22nd International Systems Safety Conference (ISSC 2004), Providence, USA, pp. 499-508.
-
(2004)
, pp. 499-508
-
-
Alexander, R.D.1
Hall-May, M.2
Kelly, T.P.3
-
5
-
-
37249055799
-
-
International Atomic Energy Agency
-
Ammirato F., Bieth M., Chapman O.J.V., Davies L.M., Engl G., Faidy C., Seldis T., Szabo D., Trampus P., Kang K.-S., Zdarek J. Improvement of In-service Inspection in Nuclear Power Plants. Technical Report 2004, International Atomic Energy Agency.
-
(2004)
Improvement of In-service Inspection in Nuclear Power Plants. Technical Report
-
-
Ammirato, F.1
Bieth, M.2
Chapman, O.J.V.3
Davies, L.M.4
Engl, G.5
Faidy, C.6
Seldis, T.7
Szabo, D.8
Trampus, P.9
Kang, K.-S.10
Zdarek, J.11
-
6
-
-
0007003079
-
Weak at the knees? Arthroscopic surgery simulation user requirements, capturing the psychological impact of VR innovaton through risk-based design
-
IOS Press, M.A. Sasse, C. Johnson (Eds.)
-
Arthur J.G., McCarthy A.D., Wynn H.P., Harley P.J., Baber C. Weak at the knees? Arthroscopic surgery simulation user requirements, capturing the psychological impact of VR innovaton through risk-based design. Human-Computer Interaction - INTERACT '99 1999, IOS Press. M.A. Sasse, C. Johnson (Eds.).
-
(1999)
Human-Computer Interaction - INTERACT '99
-
-
Arthur, J.G.1
McCarthy, A.D.2
Wynn, H.P.3
Harley, P.J.4
Baber, C.5
-
8
-
-
84881147794
-
Safety risk assessment by Monte Carlo simulation of complex safety critical operations
-
Springer, Bristol, UK, F. Redmill, T. Anderson (Eds.)
-
Blom H.A.P., Stroeve S.H., de Jong H.H. Safety risk assessment by Monte Carlo simulation of complex safety critical operations. Proceedings of the Fourteenth Safety-critical Systems Symposium 2006, 47-67. Springer, Bristol, UK. F. Redmill, T. Anderson (Eds.).
-
(2006)
Proceedings of the Fourteenth Safety-critical Systems Symposium
, pp. 47-67
-
-
Blom, H.A.P.1
Stroeve, S.H.2
de Jong, H.H.3
-
9
-
-
0003975273
-
-
Harvard University Press, Cambridge, MA
-
Bratman M. Intention, Plans, and Practical Reason 1987, Harvard University Press, Cambridge, MA.
-
(1987)
Intention, Plans, and Practical Reason
-
-
Bratman, M.1
-
10
-
-
3543099865
-
Using event-based simulation to reduce collateral damage during military operations
-
Jones, M.H., Patek, S.D., Tawney, B.E. (Eds.), Proceedings of the 2004 Systems and Information Engineering Design, Symposium
-
Brooks, H., DeKeyser, T., Jaskot, D., Sibert, D., Sledd, R., Stilwell, W., Scherer, W., 2004. Using event-based simulation to reduce collateral damage during military operations. In: Jones, M.H., Patek, S.D., Tawney, B.E. (Eds.), Proceedings of the 2004 Systems and Information Engineering Design, Symposium, pp. 71-78.
-
(2004)
, pp. 71-78
-
-
Brooks, H.1
DeKeyser, T.2
Jaskot, D.3
Sibert, D.4
Sledd, R.5
Stilwell, W.6
Scherer, W.7
-
11
-
-
84868202801
-
Measuring hazard identification
-
Proceedings of the 1st IET Conference on System Safety.
-
Caseley, P.R., Guerra, S., Froome, P., 2006. Measuring hazard identification. In: Proceedings of the 1st IET Conference on System Safety.
-
(2006)
-
-
Caseley, P.R.1
Guerra, S.2
Froome, P.3
-
12
-
-
84868211284
-
-
CISHEC, A Guide to Hazard and Operability Studies. The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd.
-
CISHEC, 1977. A Guide to Hazard and Operability Studies. The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd.
-
(1977)
-
-
-
13
-
-
84868202807
-
Defence Modelling and Simulation Office
-
DoD Modeling and Simulation (M&S) Glossary. Technical Report. US Department of Defence.
-
Defence Modelling and Simulation Office, 2010. DoD Modeling and Simulation (M&S) Glossary. Technical Report. US Department of Defence.
-
(2010)
-
-
-
14
-
-
67650112525
-
Addressing challenges of hazard analysis in systems of systems
-
Proceedings of the 3rd IEEE Systems Conference. IEEE.
-
Despotou, G., Alexander, R., Kelly, T., 2009. Addressing challenges of hazard analysis in systems of systems. In: Proceedings of the 3rd IEEE Systems Conference. IEEE.
-
(2009)
-
-
Despotou, G.1
Alexander, R.2
Kelly, T.3
-
15
-
-
84868202808
-
-
Credible Uses of the Distributed Interactive Simulation (DIS) System. Technical Report. RAND.
-
Dewar, J.A., Bankes, S.C., Hodges, J.S., Lucas, T., Saunders-Newton, D.K., Vye, P., 1996. Credible Uses of the Distributed Interactive Simulation (DIS) System. Technical Report. RAND.
-
(1996)
-
-
Dewar, J.A.1
Bankes, S.C.2
Hodges, J.S.3
Lucas, T.4
Saunders-Newton, D.K.5
Vye, P.6
-
16
-
-
22944433259
-
Multi-agent based simulation: where are the agents?
-
Proceedings of the Third International Workshop on Multi-Agent-Based Simulation, Bologna, Italy.
-
Drogoul, A., Vanbergue, D., Meurisse, T., 2002. Multi-agent based simulation: where are the agents? In: Proceedings of the Third International Workshop on Multi-Agent-Based Simulation, Bologna, Italy.
-
(2002)
-
-
Drogoul, A.1
Vanbergue, D.2
Meurisse, T.3
-
17
-
-
84868197544
-
-
Final Version of DSOS Conceptual Model (CSDA1). Technical Report. University of Newcastle upon Tyne.
-
Gaudel, M.-C., Issarny, V., Jones, C., Kopetz, H., Marsden, E., Moffat, N., Paulitsch, M., Powell, D., Randell, B., Romanovsky, A., Stroud, R., Taiani, F., 2003. Final Version of DSOS Conceptual Model (CSDA1). Technical Report. University of Newcastle upon Tyne.
-
(2003)
-
-
Gaudel, M.-C.1
Issarny, V.2
Jones, C.3
Kopetz, H.4
Marsden, E.5
Moffat, N.6
Paulitsch, M.7
Powell, D.8
Randell, B.9
Romanovsky, A.10
Stroud, R.11
Taiani, F.12
-
18
-
-
58149400380
-
Scenarios, Probability and Possible Futures
-
Centre international de recherche sur l'environnement et le développement (CIRED). (07.07.11).
-
Ha-Duong, M., 2005. Scenarios, Probability and Possible Futures. Centre international de recherche sur l'environnement et le développement (CIRED). (07.07.11). http://halshs.archives-ouvertes.fr/halshs-00003925/en/.
-
(2005)
-
-
Ha-Duong, M.1
-
19
-
-
77955952857
-
-
Software safety assurance - what is sufficient? In: Proceedings of the 4th IET System Safety Conference. Institute of Engineering and Technology, London, UK.
-
Hawkins, R.D., Kelly, T.P., 2009. Software safety assurance - what is sufficient? In: Proceedings of the 4th IET System Safety Conference. Institute of Engineering and Technology, London, UK.
-
(2009)
-
-
Hawkins, R.D.1
Kelly, T.P.2
-
21
-
-
84868211285
-
-
Why-Because Analysis: Formal Reasoning about Incidents. Technical Report. Bielefeld University.
-
Ladkin, P.B., Loer, K., 1998. Why-Because Analysis: Formal Reasoning about Incidents. Technical Report. Bielefeld University.
-
(1998)
-
-
Ladkin, P.B.1
Loer, K.2
-
22
-
-
33750534692
-
Comprehending agent software
-
Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), Utrecht, Netherlands.
-
Lam, D.N., Barber, K.S., 2005. Comprehending agent software. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), Utrecht, Netherlands.
-
(2005)
-
-
Lam, D.N.1
Barber, K.S.2
-
23
-
-
0012978826
-
-
A New Accident Model for Engineering Safer Systems, Proceedings of the 20th International System Safety Society Conference (ISSC 2002). System Safety Society, Unionville, Virginia,
-
Leveson, N.G., 2002. A New Accident Model for Engineering Safer Systems, Proceedings of the 20th International System Safety Society Conference (ISSC 2002). System Safety Society, Unionville, Virginia, pp. 476-486.
-
(2002)
, pp. 476-486
-
-
Leveson, N.G.1
-
24
-
-
84868197145
-
The illusion of method: challenges of model-based safety assessment
-
The 28th International System Safety Conference (ISSC '10).
-
Lisagor, O., Sun, L., Kelly, T.P., 2010. The illusion of method: challenges of model-based safety assessment. In: The 28th International System Safety Conference (ISSC '10).
-
(2010)
-
-
Lisagor, O.1
Sun, L.2
Kelly, T.P.3
-
25
-
-
84868197546
-
-
MASON: a new multi-agent simulation toolkit. In: Proceedings of the 2004 SwarmFest Workshop.
-
Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., 2004. MASON: a new multi-agent simulation toolkit. In: Proceedings of the 2004 SwarmFest Workshop.
-
(2004)
-
-
Luke, S.1
Cioffi-Revilla, C.2
Panait, L.3
Sullivan, K.4
-
26
-
-
33847084307
-
The epistemology of fault tree analysis: an ethical critique
-
Manion M. The epistemology of fault tree analysis: an ethical critique. International Journal of Risk Assessment 2007, 7:382-430.
-
(2007)
International Journal of Risk Assessment
, vol.7
, pp. 382-430
-
-
Manion, M.1
-
27
-
-
61849170213
-
Moving beyond normal accidents and high reliability organizations: a systems approach to safety in complex systems
-
Marais K., Dulac N., Leveson N.G. Moving beyond normal accidents and high reliability organizations: a systems approach to safety in complex systems. Organization Studies 2009, 30:227-249.
-
(2009)
Organization Studies
, vol.30
, pp. 227-249
-
-
Marais, K.1
Dulac, N.2
Leveson, N.G.3
-
28
-
-
84868197548
-
-
Air combat tactics implementation in the Smart Whole AiR Mission Model (SWARMM). In: Proceedings of the First International SimTecT Conference, Melbourne, Australia.
-
McIlroy, D., Heinze, C., 1996. Air combat tactics implementation in the Smart Whole AiR Mission Model (SWARMM). In: Proceedings of the First International SimTecT Conference, Melbourne, Australia.
-
(1996)
-
-
McIlroy, D.1
Heinze, C.2
-
29
-
-
84868208062
-
Ministry of Defence
-
MOD Architecture Framework (MODAF).
-
Ministry of Defence, 2012. MOD Architecture Framework (MODAF). http://www.mod.uk/DefenceInternet/AboutDefence/WhatWeDo/InformationManagement/MODAF/.
-
(2012)
-
-
-
31
-
-
84993782433
-
Extending DoDAF to allow integrated DEVS-based modeling and simulation
-
Mittal S. Extending DoDAF to allow integrated DEVS-based modeling and simulation. Journal of Defense Modeling and Simulation 2006, 3:95-123.
-
(2006)
Journal of Defense Modeling and Simulation
, vol.3
, pp. 95-123
-
-
Mittal, S.1
-
32
-
-
60249097741
-
Incorporating organizational factors into Probabilistic Risk Assessment (PRA) of complex socio-technical systems: a hybrid technique formalization
-
Mohaghegh Z., Kazemia R., Mosleha A. Incorporating organizational factors into Probabilistic Risk Assessment (PRA) of complex socio-technical systems: a hybrid technique formalization. Reliability Engineering & System Safety 2009, 94:1000-1018.
-
(2009)
Reliability Engineering & System Safety
, vol.94
, pp. 1000-1018
-
-
Mohaghegh, Z.1
Kazemia, R.2
Mosleha, A.3
-
33
-
-
77952091886
-
Object Management Group
-
Unified Profile for DoDAF and MODAF (UPDM) Version 1.0.
-
Object Management Group, 2009. Unified Profile for DoDAF and MODAF (UPDM) Version 1.0.
-
(2009)
-
-
-
35
-
-
0038502155
-
Simulation models as opaque thought experiments
-
Proceedings of the Seventh International Conference on Artificial Life. MIT Press,
-
Paolo, E.A.D., Noble, J., Bullock, S., 2000. Simulation models as opaque thought experiments. in: Proceedings of the Seventh International Conference on Artificial Life. MIT Press, pp. 497-506.
-
(2000)
, pp. 497-506
-
-
Paolo, E.A.D.1
Noble, J.2
Bullock, S.3
-
37
-
-
84868202805
-
Increasing UAV intelligence through learning
-
Proceedings of AIAA Unmanned Unlimited, Chicago IL.
-
Platts, J.T., Peeling, E., Thie, C., Lock, Z., Smith, P.R., Howell, S.E., 2004. Increasing UAV intelligence through learning. In: Proceedings of AIAA Unmanned Unlimited, Chicago IL.
-
(2004)
-
-
Platts, J.T.1
Peeling, E.2
Thie, C.3
Lock, Z.4
Smith, P.R.5
Howell, S.E.6
-
38
-
-
0003726975
-
The Principled Design of Computer System Safety Analyses
-
DPhil Thesis. Department of Computer Science, University of York.
-
Pumfrey, D.J., 1999. The Principled Design of Computer System Safety Analyses. DPhil Thesis. Department of Computer Science, University of York.
-
(1999)
-
-
Pumfrey, D.J.1
-
39
-
-
84868202804
-
-
C4.5: Programs for Machine Learning. Morgan Kauffman.
-
Quinlan, J.R., 1993. C4.5: Programs for Machine Learning. Morgan Kauffman.
-
(1993)
-
-
Quinlan, J.R.1
-
40
-
-
79851488582
-
The state of practice in system safety research evaluation
-
Proceedings of the 5th IET System Safety Conference, Manchester, UK.
-
Rae, A.J., Alexander, R.D., Nicholson, M., 2010. The state of practice in system safety research evaluation. In: Proceedings of the 5th IET System Safety Conference, Manchester, UK.
-
(2010)
-
-
Rae, A.J.1
Alexander, R.D.2
Nicholson, M.3
-
42
-
-
0031279121
-
Risk management in a dynamic society: a modelling problem
-
Rasmussen J. Risk management in a dynamic society: a modelling problem. Safety Science 1997, 27:183-213.
-
(1997)
Safety Science
, vol.27
, pp. 183-213
-
-
Rasmussen, J.1
-
43
-
-
61449182893
-
A System of Systems Interface Hazard Analysis Technique
-
MS Thesis. Naval Postgraduate School, Monterey, CA.
-
Redmond, P.J., 2007. A System of Systems Interface Hazard Analysis Technique. MS Thesis. Naval Postgraduate School, Monterey, CA.
-
(2007)
-
-
Redmond, P.J.1
-
44
-
-
61449135964
-
Interface hazard analysis for system of systems
-
IEEE International Conference on System of Systems Engineering.
-
Redmond, P.J., Michael, J.B., Shebalin, P.V., 2008. Interface hazard analysis for system of systems. In: IEEE International Conference on System of Systems Engineering.
-
(2008)
-
-
Redmond, P.J.1
Michael, J.B.2
Shebalin, P.V.3
-
48
-
-
84881148948
-
Distinguishing fact from fiction in a system of systems safety case
-
Proceedings of the Safety-critical Systems Symposium. Springer, Southampton, UK.
-
Stephenson, Z., Fairburn, C., Despotou, G., Kelly, T., Herbert, N., Daughtrey, B., 2011. Distinguishing fact from fiction in a system of systems safety case. In: Proceedings of the Safety-critical Systems Symposium. Springer, Southampton, UK.
-
(2011)
-
-
Stephenson, Z.1
Fairburn, C.2
Despotou, G.3
Kelly, T.4
Herbert, N.5
Daughtrey, B.6
-
49
-
-
0024634632
-
On the problems and future of safety and risk analysis
-
Suokas J., Kakko R. On the problems and future of safety and risk analysis. Journal of Hazardous Materials 1989, 21:105-124.
-
(1989)
Journal of Hazardous Materials
, vol.21
, pp. 105-124
-
-
Suokas, J.1
Kakko, R.2
-
50
-
-
84868197547
-
-
US Department of Defense, MIL-STD-882D - System Safety Program Requirements. US Department of Defence.
-
US Department of Defense, 2000. MIL-STD-882D - System Safety Program Requirements. US Department of Defence.
-
(2000)
-
-
-
51
-
-
84868197143
-
-
VT MAK, 2009. VR-Forces Brochure. (07.07.11).
-
VT MAK, 2009. VR-Forces Brochure. (07.07.11). http://www.mak.com/pdfs/br_vrforces.pdf.
-
-
-
-
52
-
-
0031681718
-
Functional hazard analysis for highly integrated aerospace systems
-
Proceedings of the 1998 IEE Seminar on Certification of Ground/Air Systems, London, UK.
-
Wilkinson, P.J., Kelly, T.P., 1998. Functional hazard analysis for highly integrated aerospace systems. In: Proceedings of the 1998 IEE Seminar on Certification of Ground/Air Systems, London, UK.
-
(1998)
-
-
Wilkinson, P.J.1
Kelly, T.P.2
-
53
-
-
84859460728
-
Finding and understanding bugs in C compilers
-
Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Jose, CA.
-
Yang, X., Chen, Y., Eide, E., Regehr, J., 2011. Finding and understanding bugs in C compilers. In: Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Jose, CA.
-
(2011)
-
-
Yang, X.1
Chen, Y.2
Eide, E.3
Regehr, J.4
-
54
-
-
27944496616
-
The Use of Integrated Architectures to Support Agent Based Simulation: an Initial Investigation
-
MS Thesis. Air Force Institute of Technology.
-
Zinn, A.W., 2004. The Use of Integrated Architectures to Support Agent Based Simulation: an Initial Investigation. MS Thesis. Air Force Institute of Technology.
-
(2004)
-
-
Zinn, A.W.1
|