-
1
-
-
77952551923
-
-
FAA System Security Testing and Evaluation. Mitre Center for Advanced Aviation System Development, McLean, Virginia.
-
Abrams, D.M., 2003. FAA System Security Testing and Evaluation. Mitre Center for Advanced Aviation System Development, McLean, Virginia.
-
(2003)
-
-
Abrams, D.M.1
-
2
-
-
77952548029
-
-
Dear Sir, yours faithfully: an everyday story of formality invited keynote address, in " practical elements of safety" In: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK. Springer-Verlag. ISBN 1-85233-800-8.
-
Amey, P., 2004. Dear Sir, yours faithfully: an everyday story of formality invited keynote address, in " practical elements of safety" In: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK. Springer-Verlag. ISBN 1-85233-800-8.
-
(2004)
-
-
Amey, P.1
-
3
-
-
84942044938
-
-
Safety Analysis for Advanced Separation Concepts. In: USA/Europe ATM R&D Seminar, Baltimore, MD, 27-30 June, 2005.
-
Andrews, J.W., Welch, J.D., Erzberger, H., 2005. Safety Analysis for Advanced Separation Concepts. In: USA/Europe ATM R&D Seminar, Baltimore, MD, 27-30 June, 2005.
-
(2005)
-
-
Andrews, J.W.1
Welch, J.D.2
Erzberger, H.3
-
4
-
-
77952547069
-
-
Aviation Policy Group - Australia (APG), Joint Consultation Paper: Transition to Satellite Technology for Navigation & Surveillance. July, 2007.
-
Aviation Policy Group - Australia (APG), 2007. Joint Consultation Paper: Transition to Satellite Technology for Navigation & Surveillance. July, 2007.
-
(2007)
-
-
-
6
-
-
77952546986
-
-
Validation of safety aspects of novel ATM systems. In: Weikert, C. (Ed.), Human Factors and Safety in Aviation, Proceedings of a Conference September 26-27, 2002, Lund, Sweden,
-
Bieder, C., Makins, N., 2002. Validation of safety aspects of novel ATM systems. In: Weikert, C. (Ed.), Human Factors and Safety in Aviation, Proceedings of a Conference September 26-27, 2002, Lund, Sweden, pp. 41-46.
-
(2002)
, pp. 41-46
-
-
Bieder, C.1
Makins, N.2
-
7
-
-
0030196627
-
Anchoring the software process
-
Boehm B. Anchoring the software process. IEEE Software 1996, 13(4):73-82.
-
(1996)
IEEE Software
, vol.13
, Issue.4
, pp. 73-82
-
-
Boehm, B.1
-
8
-
-
4344568618
-
Consistent and up-to-date aviation safety targets
-
Brooker P. Consistent and up-to-date aviation safety targets. Aeronautical Journal 2004, 108(1085):345-356.
-
(2004)
Aeronautical Journal
, vol.108
, Issue.1085
, pp. 345-356
-
-
Brooker, P.1
-
9
-
-
48249135176
-
Air traffic safety: continued evolution or a new paradigm?
-
Brooker P. Air traffic safety: continued evolution or a new paradigm?. Aeronautical Journal 2008, 112(1132):333-344.
-
(2008)
Aeronautical Journal
, vol.112
, Issue.1132
, pp. 333-344
-
-
Brooker, P.1
-
10
-
-
41549089627
-
SESAR and NextGen: investing in new paradigms
-
Brooker P. SESAR and NextGen: investing in new paradigms. Journal of Navigation 2008, 61(2):195-208.
-
(2008)
Journal of Navigation
, vol.61
, Issue.2
, pp. 195-208
-
-
Brooker, P.1
-
11
-
-
70350749375
-
Simple models for airport delays during transition to a trajectory-based air traffic system
-
Brooker P. Simple models for airport delays during transition to a trajectory-based air traffic system. Journal of Navigation 2009, 62(4):555-570.
-
(2009)
Journal of Navigation
, vol.62
, Issue.4
, pp. 555-570
-
-
Brooker, P.1
-
12
-
-
77952552343
-
-
Comprehensive study of the wake vortex phenomena to the assessment of its incorporation to ATM for safety and capacity improvements. Doctor of Philosophy dissertation, University of Zilina.
-
Choroba, P., 2006. Comprehensive study of the wake vortex phenomena to the assessment of its incorporation to ATM for safety and capacity improvements. Doctor of Philosophy dissertation, University of Zilina. http://www.eurocontrol.int.
-
(2006)
-
-
Choroba, P.1
-
13
-
-
77952548825
-
-
Guidelines for the identification of hazards: how to make unimaginable hazards imaginable? Eurocontrol Contract, NLR-CR-2004-094.
-
de Jong, H.H., 2004. Guidelines for the identification of hazards: how to make unimaginable hazards imaginable? Eurocontrol Contract, NLR-CR-2004-094.
-
(2004)
-
-
de Jong, H.H.1
-
14
-
-
77952552925
-
-
Department of Defense, USA (DoD), VV&A Recommended Practices Guide (RPG). What is Simulation Validation and Why is it Important? .
-
Department of Defense, USA (DoD), 2006. VV&A Recommended Practices Guide (RPG). What is Simulation Validation and Why is it Important? http://vva.msco.mil.
-
(2006)
-
-
-
15
-
-
77952549155
-
-
EPISODE 3, a. SESAR Detailed Operational Description: Arrival and Departure - High and Medium/Low Density Operations - E5. EC Project EPISODE 3 Consortium. Document ID. E3-D2.2-027 Version 3.0, 28-07-2008.
-
EPISODE 3, 2008a. SESAR Detailed Operational Description: Arrival and Departure - High and Medium/Low Density Operations - E5. EC Project EPISODE 3 Consortium. Document ID. E3-D2.2-027 Version 3.0, 28-07-2008.
-
(2008)
-
-
-
16
-
-
77952544873
-
-
EPISODE 3, b. SESAR Detailed Operational Description: Conflict Management in En-Route High & Medium/Low Density Operations - E6. EC Project EPISODE 3 Consortium. Document ID E3-D2.2-028. Version 3.0, 28-07-2008.
-
EPISODE 3, 2008b. SESAR Detailed Operational Description: Conflict Management in En-Route High & Medium/Low Density Operations - E6. EC Project EPISODE 3 Consortium. Document ID E3-D2.2-028. Version 3.0, 28-07-2008.
-
(2008)
-
-
-
17
-
-
77952543241
-
-
Eurocontrol, Safety Case Development Manual. DAP/SSH/091. 13 October, 2006.
-
Eurocontrol, 2006. Safety Case Development Manual. DAP/SSH/091. 13 October, 2006.
-
(2006)
-
-
-
18
-
-
77952549874
-
-
Eurocontrol, a. Eurocontrol EATMP, European Operational Concept Validation Methodology: E-OCVM, Version 2.0, 17 March, 2007.
-
Eurocontrol, 2007a. Eurocontrol EATMP, European Operational Concept Validation Methodology: E-OCVM, Version 2.0, 17 March, 2007.
-
(2007)
-
-
-
19
-
-
77952540994
-
-
Eurocontrol,b. P-RNAV Safety Assessment FHA and PSSA. Edition No. V1.3. December, 2007.
-
Eurocontrol, 2007b. P-RNAV Safety Assessment FHA and PSSA. Edition No. V1.3. December, 2007. http://www.ecacnav.com.
-
(2007)
-
-
-
20
-
-
77952550850
-
-
European Commission, European Air Traffic Management Master Plan, first ed.
-
European Commission, 2009. European Air Traffic Management Master Plan, first ed.
-
(2009)
-
-
-
21
-
-
58249090216
-
Developing a framework for safety validation of multi-stakeholder changes in air transport operations
-
Everdij M.H.C., Blom H.A.P., Scholte J.J., Nollet J.W., Kraan B. Developing a framework for safety validation of multi-stakeholder changes in air transport operations. Safety Science 2009, 47(3):405-420.
-
(2009)
Safety Science
, vol.47
, Issue.3
, pp. 405-420
-
-
Everdij, M.H.C.1
Blom, H.A.P.2
Scholte, J.J.3
Nollet, J.W.4
Kraan, B.5
-
22
-
-
77952546229
-
-
FAA/Eurocontrol, Aviation System Safety Principles: Safety Action Plan-15. Version 2.0, June 10, 2005.
-
FAA/Eurocontrol, 2005. Aviation System Safety Principles: Safety Action Plan-15. Version 2.0, June 10, 2005.
-
(2005)
-
-
-
23
-
-
77952546168
-
-
FAA/Eurocontrol, Operational concept validation strategy document. (E-OCVM) Action Plan 5: Validation and Verification strategies, Ed. 2.0a, 31 March, 2008.
-
FAA/Eurocontrol, 2008. Operational concept validation strategy document. (E-OCVM) Action Plan 5: Validation and Verification strategies, Ed. 2.0a, 31 March, 2008.
-
(2008)
-
-
-
24
-
-
77952554508
-
-
What is justified belief? In: Pappas, G. (Ed.), Justification and Knowledge. Reidel,
-
Goldman, A.I., 1979. What is justified belief? In: Pappas, G. (Ed.), Justification and Knowledge. Reidel, pp. 1-23.
-
(1979)
, pp. 1-23
-
-
Goldman, A.I.1
-
25
-
-
77952549787
-
-
Reliabilism. Stanford Encyclopedia of Philosophy.
-
Goldman, A.I., 2008. Reliabilism. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu.
-
(2008)
-
-
Goldman, A.I.1
-
26
-
-
77952547950
-
-
Arrival Management with Required Navigation Performance and 3D Paths. 7th USA - Europe. ATM R&D Seminar.
-
Haraldsdottir, A., Scharl, J., Berge, M.E., Schoemig, E.G., Coats, M.L., 2007. Arrival Management with Required Navigation Performance and 3D Paths. 7th USA - Europe. ATM R&D Seminar.
-
(2007)
-
-
Haraldsdottir, A.1
Scharl, J.2
Berge, M.E.3
Schoemig, E.G.4
Coats, M.L.5
-
27
-
-
77952543476
-
-
Is it you or your model talking? A framework for model validation, Tech. Report R-J11J-AF/A/OSD, RAND Corporation P.O. Box 2138, Santa Monica, CA 90407-2138, USA.
-
Hodges, J.S., Dewar, J.A., 1992. Is it you or your model talking? A framework for model validation, Tech. Report R-J11J-AF/A/OSD, RAND Corporation P.O. Box 2138, Santa Monica, CA 90407-2138, USA.
-
(1992)
-
-
Hodges, J.S.1
Dewar, J.A.2
-
28
-
-
84937550545
-
-
Resilience Engineering: Concepts and Precepts. Ashgate.
-
Hollnagel, E., Woods, D.D., Leveson, N. (Eds.), 2006. Resilience Engineering: Concepts and Precepts. Ashgate.
-
(2006)
-
-
Hollnagel, E.1
Woods, D.D.2
Leveson N.(Eds.)3
-
29
-
-
77952543416
-
-
ICAO, Manual on Airspace Planning Methodology for the Determination of Separation Minima. ICAO Doc 9689-AN/953.
-
ICAO, 1998. Manual on Airspace Planning Methodology for the Determination of Separation Minima. ICAO Doc 9689-AN/953.
-
(1998)
-
-
-
30
-
-
77952554211
-
-
Software for Dependable Systems: Sufficient Evidence? National Research Council. National Academies Press, 2007.
-
Jackson, D., Thomas, M., Millett, L. (Eds.), 2007. Software for Dependable Systems: Sufficient Evidence? National Research Council. National Academies Press, 2007. http://books.nap.edu/openbook.php?isbn=0309103940.
-
(2007)
-
-
Jackson, D.1
Thomas, M.2
Millett L.(Eds.)3
-
32
-
-
84942019052
-
-
Ground-side perspective on mixed operations with self-separating and controller-managed aircraft. In: The Sixth International ATM R&D Seminar ATM-2005, Baltimore, MD, July, 2005.
-
Lee, P., Prevot, T., Mercer, J., Smith, N., Palmer, E., 2005. Ground-side perspective on mixed operations with self-separating and controller-managed aircraft. In: The Sixth International ATM R&D Seminar ATM-2005, Baltimore, MD, July, 2005.
-
(2005)
-
-
Lee, P.1
Prevot, T.2
Mercer, J.3
Smith, N.4
Palmer, E.5
-
33
-
-
0343353411
-
Occupational accident research and systems approach
-
John Wiley & Sons, New York, J. Rasmussen, K. Duncan, J. Leplat (Eds.)
-
Leplat J. Occupational accident research and systems approach. New Technology and Human Error 1987, 181-191. John Wiley & Sons, New York. J. Rasmussen, K. Duncan, J. Leplat (Eds.).
-
(1987)
New Technology and Human Error
, pp. 181-191
-
-
Leplat, J.1
-
35
-
-
0038668969
-
-
MIT Press, Cambridge, Mass, (Chapter 9)
-
MacKenzie D. Mechanizing Proof: Computing, Risk, and Trust 2001, MIT Press, Cambridge, Mass, (Chapter 9).
-
(2001)
Mechanizing Proof: Computing, Risk, and Trust
-
-
MacKenzie, D.1
-
36
-
-
77952548186
-
-
Beyond normal accidents and high reliability organizations: the need for an alternative approach to safety in complex systems. In: Engineering Systems Division Symposium. MIT, Cambridge, MA.
-
Marais, K., Dulac, N., Leveson, N.G., 2004. Beyond normal accidents and high reliability organizations: the need for an alternative approach to safety in complex systems. In: Engineering Systems Division Symposium. MIT, Cambridge, MA. http://sunnyday.mit.edu/papers/hro.pdf.
-
(2004)
-
-
Marais, K.1
Dulac, N.2
Leveson, N.G.3
-
37
-
-
33746252972
-
Software in safety critical systems: achievement and prediction
-
McDermid J.A., Kelly T.P. Software in safety critical systems: achievement and prediction. Nuclear Future 2006, 2(3):140-145.
-
(2006)
Nuclear Future
, vol.2
, Issue.3
, pp. 140-145
-
-
McDermid, J.A.1
Kelly, T.P.2
-
38
-
-
77952543905
-
-
Analysis of accident sequences and source terms at treatment and storage facilities for waste generated by US Department of Energy waste management operations. Argonne National Laboratory Technical Report.
-
Mueller, C., Nabelssi, B., Roglans-Ribas, J., Folga, S., Policastro, A., Freeman, W., Jackson, R., Mishima, J., Turner, S., 1996. Analysis of accident sequences and source terms at treatment and storage facilities for waste generated by US Department of Energy waste management operations. Argonne National Laboratory Technical Report. http://www.osti.gov/bridge/index.jsp.
-
(1996)
-
-
Mueller, C.1
Nabelssi, B.2
Roglans-Ribas, J.3
Folga, S.4
Policastro, A.5
Freeman, W.6
Jackson, R.7
Mishima, J.8
Turner, S.9
-
39
-
-
77952552204
-
-
OECD NEA, The Use and Development of Probabilistic Safety Assessment in NEA Member Countries. NEA/CSNI/R(2002)18, OECD, Nuclear Energy Agency, Committee on the Safety of Nuclear Installations, Paris, 2002, .
-
OECD NEA, 2002. The Use and Development of Probabilistic Safety Assessment in NEA Member Countries. NEA/CSNI/R(2002)18, OECD, Nuclear Energy Agency, Committee on the Safety of Nuclear Installations, Paris, 2002, http://www.nea.fr.
-
(2002)
-
-
-
40
-
-
0028763687
-
Verification, validation, and confirmation of numerical models in the earth sciences
-
Oreskes N., Shrader-Frechette K., Belitz K. Verification, validation, and confirmation of numerical models in the earth sciences. Science 1994, 263:641-646.
-
(1994)
Science
, vol.263
, pp. 641-646
-
-
Oreskes, N.1
Shrader-Frechette, K.2
Belitz, K.3
-
41
-
-
77952542192
-
-
Pace, D.K., The referent in simulation development and assessment. Paper E04-SIW-024. In: Proc. 2004 European Simulation Interoperability Workshop.
-
Pace, D.K., 2004. The referent in simulation development and assessment. Paper E04-SIW-024. In: Proc. 2004 European Simulation Interoperability Workshop. http://www.sisostds.org.
-
(2004)
-
-
-
42
-
-
77952543108
-
-
Cognitive and Operational Implications of Non-homogeneous Aircraft Equipage for Aviation System Transformation. Report No. ICAT-2007-4. September 2007.
-
Pina, P.E., Hansman, R.J., 2007. Cognitive and Operational Implications of Non-homogeneous Aircraft Equipage for Aviation System Transformation. Report No. ICAT-2007-4. September 2007. http://hdl.handle.net/1721.1/42198.
-
(2007)
-
-
Pina, P.E.1
Hansman, R.J.2
-
43
-
-
77958502910
-
-
Human-in-the-Loop Evaluation of Ground-Based Automated Separation Assurance for NextGen. AIAA, 2008-8885. The 26th Congress of International Council of the Aeronautical Sciences (ICAS) 14-19 September, 2008, Anchorage, Alaska.
-
Prevot, T., Homola, J., Mercer, J., 2008. Human-in-the-Loop Evaluation of Ground-Based Automated Separation Assurance for NextGen. AIAA, 2008-8885. The 26th Congress of International Council of the Aeronautical Sciences (ICAS) 14-19 September, 2008, Anchorage, Alaska.
-
(2008)
-
-
Prevot, T.1
Homola, J.2
Mercer, J.3
-
46
-
-
0030274304
-
Testing ecological models: the meaning of validation
-
Rykiel E.R. Testing ecological models: the meaning of validation. Ecological Modelling 1996, 90:229-244.
-
(1996)
Ecological Modelling
, vol.90
, pp. 229-244
-
-
Rykiel, E.R.1
-
47
-
-
77952541831
-
-
Safety Regulation Commission (SRC), Eurocontrol Safety Regulatory Requirement 6, ESARR 6: Software in ATM Systems. Edition Date 1.0, 06 November 2003.
-
Safety Regulation Commission (SRC), 2003. Eurocontrol Safety Regulatory Requirement 6, ESARR 6: Software in ATM Systems. Edition Date 1.0, 06 November 2003.
-
(2003)
-
-
-
48
-
-
77952544872
-
-
SESAR Joint Undertaking (SESARJU), Documents & reports webpage.
-
SESAR Joint Undertaking (SESARJU), 2010. Documents & reports webpage. http://www.sesarju.eu/news-press/documents-reports.
-
(2010)
-
-
-
49
-
-
77952553855
-
-
Next generation air transportation system: human-automation interaction and organizational risks. In: Resilience Engineering Symposium, Juan les Pins, France, November 8-10, 2006.
-
Sheridan, T.B., 2006. Next generation air transportation system: human-automation interaction and organizational risks. In: Resilience Engineering Symposium, Juan les Pins, France, November 8-10, 2006.
-
(2006)
-
-
Sheridan, T.B.1
-
50
-
-
0006446982
-
-
John Wiley & Sons, Inc., New York
-
Shooman M.L. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design 2002, John Wiley & Sons, Inc., New York.
-
(2002)
Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design
-
-
Shooman, M.L.1
-
51
-
-
77952552995
-
-
SESAR - The Concept and Architecture. ICAO Forum on Integration and Harmonization of NextGen and SESAR into the Global ATM Framework. ICAO, Montreal.
-
Standar, M. 2008. SESAR - The Concept and Architecture. ICAO Forum on Integration and Harmonization of NextGen and SESAR into the Global ATM Framework. ICAO, Montreal.
-
(2008)
-
-
Standar, M.1
-
52
-
-
77952543039
-
-
The dilemma of ill-defining the safety performance of systems if using a non-resilient safety assessment approach. In: 2nd Symposium on Resilience Engineering. Nice, France.
-
Straeter, O., Leonhardt, J., Durrett, D., Hartung J., 2006. The dilemma of ill-defining the safety performance of systems if using a non-resilient safety assessment approach. In: 2nd Symposium on Resilience Engineering. Nice, France.
-
(2006)
-
-
Straeter, O.1
Leonhardt, J.2
Durrett, D.3
Hartung, J.4
-
53
-
-
35248821444
-
Issues in safety assurance
-
Springer, S. Anderson, M. Felici, B. Littlewood (Eds.)
-
Thomas M. Issues in safety assurance. Computer Safety, Reliability and Security. LNCS 2788 2003, 1-7. Springer. S. Anderson, M. Felici, B. Littlewood (Eds.).
-
(2003)
Computer Safety, Reliability and Security. LNCS 2788
, pp. 1-7
-
-
Thomas, M.1
-
54
-
-
77952544248
-
-
Comparison of the SESAR and NextGen Concepts of Operations. NCOIC™ Aviation IPT. 1.0 May, 2008.
-
Ulfbratt, E., McConville, J., and contributors, 2008. Comparison of the SESAR and NextGen Concepts of Operations. NCOIC™ Aviation IPT. 1.0 May, 2008.
-
(2008)
-
-
Ulfbratt, E.1
McConville, J.2
-
55
-
-
77952552854
-
-
USA Environmental Protection Agency (EPA),Guiding Principles For Monte Carlo Analysis. Risk Assessment Forum, Washington, DC, EPA/630/R-97/001.
-
USA Environmental Protection Agency (EPA), 1997.Guiding Principles For Monte Carlo Analysis. Risk Assessment Forum, Washington, DC, EPA/630/R-97/001. http://www.epa.gov/ncea/raf/montecar.pdf.
-
(1997)
-
-
-
56
-
-
77952544524
-
-
USA Institute of Medicine of the National Academies, Escherichia coli O157:H7 in Ground Beef, Review of a Draft Risk Assessment. The National Academies Press, Washington, DC.
-
USA Institute of Medicine of the National Academies, 2002. Escherichia coli O157:H7 in Ground Beef, Review of a Draft Risk Assessment. The National Academies Press, Washington, DC. http://www.nap.edu.
-
(2002)
-
-
-
57
-
-
77952544810
-
-
Methodology Report for a Safety Target Achievement Roadmap (STAR). Eurocontrol 10th May, 2007.
-
Vernon, G., Perrin, E., 2007. Methodology Report for a Safety Target Achievement Roadmap (STAR). Eurocontrol 10th May, 2007.
-
(2007)
-
-
Vernon, G.1
Perrin, E.2
-
58
-
-
77952542892
-
-
Is there a Place for Nuclear Waste? Scientific American August,
-
Wald, M.L., 2009. Is there a Place for Nuclear Waste? Scientific American August, pp. 40-47.
-
(2009)
, pp. 40-47
-
-
Wald, M.L.1
-
59
-
-
77952551544
-
-
Europe's emerging trajectory-based ATM environment. In: 22nd Digital Avionics Systems Conference, Indianapolis, USA.
-
Wichman, K.D., Lindberg, L.G.V., Kilchert, L., Bleeker, O.F., 2003. Europe's emerging trajectory-based ATM environment. In: 22nd Digital Avionics Systems Conference, Indianapolis, USA.
-
(2003)
-
-
Wichman, K.D.1
Lindberg, L.G.V.2
Kilchert, L.3
Bleeker, O.F.4
-
60
-
-
77952543172
-
-
Yucca Mountain Project, Las Vegas, Nevada Yucca Mountain Site Characterization Project Design Package 1C System Safety Analysis. Report No. BAB000000-01717-0200-00146, Rev. 01.
-
Yucca Mountain Project, 1995. Las Vegas, Nevada Yucca Mountain Site Characterization Project Design Package 1C System Safety Analysis. Report No. BAB000000-01717-0200-00146, Rev. 01. http://www.osti.gov/bridge/index.jsp.
-
(1995)
-
-
|