{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:49:08Z","timestamp":1758476948690,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662657"},{"type":"electronic","value":"9783319662664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66266-4_11","type":"book-chapter","created":{"date-parts":[[2017,8,15]],"date-time":"2017-08-15T22:33:31Z","timestamp":1502836411000},"page":"162-178","source":"Crossref","is-referenced-by-count":14,"title":["Modeling the Safety Architecture of UAS Flight Operations"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[]},{"given":"Iain","family":"Whiteside","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"11_CR1","unstructured":"FAA Air Traffic Organization: Transforming Risk Management: Understanding the Challenges of Safety Risk Measurement, December 2016. https:\/\/go.usa.gov\/xXxea"},{"key":"11_CR2","unstructured":"UK Civil Aviation Authority: Bowtie Risk Assessment Models (2015). http:\/\/www.caa.co.uk\/Safety-Initiatives-and-Resources\/Working-with-industry\/Bowtie\/"},{"key":"11_CR3","unstructured":"Acfield, A.P., Weaver, R.A.: Integrating safety management through the bowtie concept: a move away from the safety case focus. In: Australian System Safety Conference, pp. 3\u201312, May 2012"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.ssci.2015.06.007","volume":"79","author":"RA Clothier","year":"2015","unstructured":"Clothier, R.A., Williams, B.P., Fulton, N.L.: Structuring the safety case for unmanned aircraft system operations in non-segregated airspace. Saf. Sci. 79, 213\u2013228 (2015)","journal-title":"Saf. Sci."},{"key":"11_CR5","unstructured":"Joint Authorities for Rulemaking of Unmanned Systems: JARUS Guidelines on Specific Operations Risk Assessment (SORA) (External Consultation Draft), August 2016"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: Safety considerations for UAS ground-based detect and avoid. In: 35th IEEE\/AIAA Digital Avionics Systems Conference, pp. 1\u201310, September 2016","DOI":"10.1109\/DASC.2016.7778077"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Prevot, T., Rios, J., Kopardekar, P., Robinson III, J., Johnson, M., Jung, J.: UAS Traffic Management (UTM) concept of operations to safely enable low altitude fight operations. In: 16th AIAA Aviation Technology, Integration, and Operations Conference, AIAA-2016-3292, June 2016","DOI":"10.2514\/6.2016-3292"},{"key":"11_CR8","unstructured":"Denney, E., Pai, G.: A methodology for the development of assurance arguments for unmanned aircraft systems. In: 33rd International System Safety Conference, August 2015"},{"key":"11_CR9","unstructured":"Denney, E., Pai, G.: Architecting a safety case for UAS flight operations. In: 34th International System Safety Conference, August 2016"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: Argument-based airworthiness assurance of small UAS. In: 34th IEEE\/AIAA Digital Avionics Systems Conference, pp. 5E4-1\u20135E4-17, September 2015","DOI":"10.1109\/DASC.2015.7311439"},{"key":"11_CR11","unstructured":"Adelard LLP: Assurance and Safety Case Environment. http:\/\/www.adelard.com\/asce\/"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33675-1_2"},{"key":"11_CR13","unstructured":"NASA Office of Safety and Mission Assurance: NASA General Safety Program Requirements. NPR 8715.3C (2008)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Dugan, J., Pai, G., Xu, H.: Combining software quality analysis with dynamic event\/fault trees for high assurance systems engineering. In: 10th IEEE High Assurance Systems Engineering Symposium, pp. 245\u2013255, November 2007","DOI":"10.1109\/HASE.2007.73"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1016\/j.ress.2008.03.031","volume":"94","author":"NJ Duijm","year":"2009","unstructured":"Duijm, N.J.: Safety-barrier diagrams as a safety management tool. Reliab. Eng. Syst. Saf. 94(2), 332\u2013341 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR16","unstructured":"FAA Air Traffic Organization: Safety Management System Manual version 4.0, May 2014"},{"issue":"5","key":"11_CR17","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/j.ssci.2005.11.004","volume":"44","author":"P Brooker","year":"2006","unstructured":"Brooker, P.: Air Traffic Management Accident Risk. Part 1: The Limits of Realistic Modelling. Saf. Sci. 44(5), 419\u2013450 (2006)","journal-title":"Saf. Sci."},{"key":"11_CR18","unstructured":"Feiler, P., Gluch, D., Mcgregor, J.: An Architecture-led Safety Analysis Method. In: 8th European Congress on Embedded Real Time Software and Systems, January 2016"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-45477-1_5","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2016","unstructured":"Denney, E., Pai, G.: Composition of safety argument patterns. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9922, pp. 51\u201363. Springer, Cham (2016). doi: 10.1007\/978-3-319-45477-1_5"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-319-10506-2_20","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2014","unstructured":"Denney, E., Naylor, D., Pai, G.: Querying safety cases. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 294\u2013309. Springer, Cham (2014). doi: 10.1007\/978-3-319-10506-2_20"},{"key":"11_CR21","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Reading (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:38:42Z","timestamp":1570005522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}