AASK, survivable aviation accidents, evacuation procedure, aviation safety

Galea, Edwin R. ORCID: https://orcid.org/0000-0002-0001-6665, Finney, Kate M., Dixon, Andrew J., Siddiqui, Asim ORCID: https://orcid.org/0000-0003-1090-871X and Cooney, David P. ORCID: https://orcid.org/0000-0002-2341-0315 (2006) Aircraft accident statistics and knowledge database: analyzing passenger behavior in aviation accidents. Journal of Aircraft, 43 (5). pp. 1272-1281. ISSN 0021-8669 (Print), 1533-3868 (Online) (doi:10.2514/1.19388)

Aircraft Accident Statistics and Knowledge (AASK) database, aircraft accidents, survivor accounts

Galea, E.R. ORCID: https://orcid.org/0000-0002-0001-6665, Finney, K.M., Dixon, A.J.P, Siddiqui, A. ORCID: https://orcid.org/0000-0003-1090-871X and Cooney, D.P. ORCID: https://orcid.org/0000-0002-2341-0315 (2004) The AASK database V4.0: aircraft accident statistics and knowledge. A database to record human experience of evacuation in aviation accidents. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

accident prevention, aircraft emergency exits, aircraft seats, behavioral research, cabins (aircraft), crashworthiness, database systems, aircraft evacuation models, aircraft accidents

Galea, E.R ORCID: https://orcid.org/0000-0002-0001-6665, Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: https://orcid.org/0000-0003-1090-871X and Cooney, D.P. ORCID: https://orcid.org/0000-0002-2341-0315 (2003) An analysis of human behaviour during aircraft evacuation situations using the AASK v3.0 database. The Aeronautical Journal, 107 (1070). pp. 219-231. ISSN 0001-9240

aircraft accident, evacuation, database, evacuation data, AASK

Galea, E.R. ORCID: https://orcid.org/0000-0002-0001-6665, Finney, K.M., Dixon, A.J.P., Cooney, D.P. ORCID: https://orcid.org/0000-0002-2341-0315 and Siddiqui, A. ORCID: https://orcid.org/0000-0003-1090-871X (2003) The AASK Database V3.0: a database of human experience during aircraft evacuation incidents. In: Fire Safety Science - Proceedings of the Seventh International Symposium. IAFSS Symposiums (7). International Association for Fire Safety Science, Greenwich, London, UK, pp. 865-876. ISBN 0954534808 ISSN 1817-4299 (doi:10.3801/IAFSS.FSS.7-865)

Galea, Edwin R. ORCID: https://orcid.org/0000-0002-0001-6665, Cooney, David P. ORCID: https://orcid.org/0000-0002-2341-0315, Dixon, Andrew J., Finney, Kate M. and Siddiqui, Asim ORCID: https://orcid.org/0000-0003-1090-871X (2003) The AASK database: Aircraft Accident Statistics and Knowledge. Technical Report. UK Civil Aviation Authority (CAA), London, UK.

aviation accidents, exit availability, exit usage, exit selection

Galea, E.R. ORCID: https://orcid.org/0000-0002-0001-6665, Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: https://orcid.org/0000-0003-1090-871X and Cooney, D.P. ORCID: https://orcid.org/0000-0002-2341-0315 (2006) An analysis of exit availability, exit usage and passenger exit selection behaviour exhibited during actual aviation accidents. The Aeronautical Journal, 110 (1106). ISSN 0001-9240

comprehensibility, Z specifications, measurement

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:10.1016/S0164-1212(98)00003-X)

cost effectiveness, formal languages, reliability, software engineering, software package Z, computer software

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:10.1016/S0164-1212(96)00122-7)

empirical study, specification readability

Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407

formal specification, mathematics, reading Z

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:10.1109/32.485225)

formal specification, software quality, specification languages

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

knowledge database, human experience of evacuation, aviation accidents, Civil Aviation Authority,

Galea, E. R. ORCID: https://orcid.org/0000-0002-0001-6665, Finney, K. M., Dixon, A. J. P., Siddiqui, A. ORCID: https://orcid.org/0000-0003-1090-871X and Cooney, D. P. ORCID: https://orcid.org/0000-0002-2341-0315 (2008) CAA paper 2006/01: a database to record human experience of evacuation in aviation accidents: the aircraft accident statistics and knowledge database (AASK). Project Report. Civil Aviation Authority, London, UK.

passenger, train, emergency, systems, development, prototype, railEXODUS, software

Galea, E. R. ORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID: https://orcid.org/0000-0002-2341-0315 (2014) Passenger train emergency systems: development of prototype railEXODUS software for U.S. passenger rail car egress. Technical Report. Fire Safety Engineering Group (FSEG).

rail car evacuation, evacuation model, railExodus

Galea, Edwin Richard ORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, Darren ORCID: https://orcid.org/0000-0001-8940-0024, Lawrence, Peter J. ORCID: https://orcid.org/0000-0002-0269-0231, Finney, Kate and Cooney, David ORCID: https://orcid.org/0000-0002-2341-0315 (2013) The development and validation of a rail car evacuation. In: Conference Proceedings: Interflam 2013: 13th International Fire Science and Engineering Conference. Interscience Communications, Greenwich, London, UK, pp. 1023-1034. ISBN 9780955654893