{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:49Z","timestamp":1740098929394,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"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-67531-2_3","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"33-49","source":"Crossref","is-referenced-by-count":18,"title":["Stream Runtime Monitoring on UAS"],"prefix":"10.1007","author":[{"given":"Florian-Michael","family":"Adolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Faymonville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Schirmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Torens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Adolf, F., Thielecke, F.: A sequence control system for onboard mission management of an unmanned helicopter. In: AIAA Infotech@Aerospace Conference (2007)","DOI":"10.2514\/6.2007-2769"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174. IEEE Computer Society Press, June 2005","DOI":"10.1109\/TIME.2005.26"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-41010-9_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"JA Davis","year":"2013","unstructured":"Davis, J.A., Clark, M., Cofer, D., Fifarek, A., Hinchman, J., Hoffman, J., Hulbert, B., Miller, S.P., Wagner, L.: Study on the barriers to the industrial adoption of formal methods. In: Pecheur, C., Dierkes, M. (eds.) FMICS 2013. LNCS, vol. 8187, pp. 63\u201377. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41010-9_5"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Dill, E.T., Young, S.D., Hayhurst, K.J.: SAFEGUARD: an assured safety net technology for UAS. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC). IEEE, September 2016. https:\/\/doi.org\/10.1109\/dasc.2016.7778009","DOI":"10.1109\/DASC.2016.7778009"},{"key":"3_CR5","unstructured":"European Aviation Safety Agency (EASA): Advance Notice of Proposed Amendment 2015-10, Introduction of a regulatory framework for the operation of drones (2015)"},{"key":"3_CR6","unstructured":"European Aviation Safety Agency (EASA): Concept of Operations for Drones, A risk based approach to regulation of unmanned aircraft (2015)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-46982-9_10","volume-title":"Runtime Verification","author":"P Faymonville","year":"2016","unstructured":"Faymonville, P., Finkbeiner, B., Schirmer, S., Torfah, H.: A stream-based specification language for network monitoring. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 152\u2013168. Springer, Cham (2016). doi: 10.1007\/978-3-319-46982-9_10"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-11164-3_18","volume-title":"Runtime Verification","author":"J Geist","year":"2014","unstructured":"Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 215\u2013230. Springer, Cham (2014). doi: 10.1007\/978-3-319-11164-3_18"},{"issue":"4","key":"3_CR9","first-page":"232","volume":"14","author":"KH Gross","year":"2017","unstructured":"Gross, K.H., Clark, M.A., Hoffman, J.A., Swenson, E.D., Fifarek, A.W.: Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control. J. Aerosp. Inf. Syst. 14(4), 232\u2013246 (2017). https:\/\/doi.org\/10.2514\/1.i010471","journal-title":"J. Aerosp. Inf. Syst."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Gaboury, S., Khoury, R.: A glue language for event stream processing. In: BigData, pp. 2384\u20132391. IEEE (2016)","DOI":"10.1109\/BigData.2016.7840873"},{"key":"3_CR11","unstructured":"Joint Authorities for Rulemaking of Unmanned Systems (JARUS): JARUS Guidelines on Specific Operations Risk Assessment (SORA) (2016)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-29860-8_23","volume-title":"Runtime Verification","author":"L Pike","year":"2012","unstructured":"Pike, L., Niller, S., Wegmann, N.: Runtime verification for ultra-critical systems. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 310\u2013324. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_23"},{"key":"3_CR13","unstructured":"Radio Technical Commission for Aeronautics (RTCA): DO-178C\/ED-12C Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"3_CR14","unstructured":"Radio Technical Commission for Aeronautics (RTCA): DO-333\/ED-216 Formal Methods Supplement to DO-178C and DO-278A (2011)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-54862-8_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Reinbacher","year":"2014","unstructured":"Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 357\u2013372. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_24"},{"key":"3_CR16","unstructured":"Schirmer, S.: Runtime Monitoring with Lola. Master\u2019s Thesis, Saarland University (2016)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-23820-3_15","volume-title":"Runtime Verification","author":"J Schumann","year":"2015","unstructured":"Schumann, J., Moosbrugger, P., Rozier, K.Y.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 233\u2013249. Springer, Cham (2015). doi: 10.1007\/978-3-319-23820-3_15"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Torens, C., Adolf, F.: Software verification considerations for the ARTIS unmanned rotorcraft. In: 51st AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition, American Institute of Aeronautics and Astronautics, January 2013. http:\/\/dx.doi.org\/10.2514\/6.2013-593","DOI":"10.2514\/6.2013-593"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Torens, C., Adolf, F.: Using formal requirements and model-checking for verification and validation of an unmanned rotorcraft. In: American Institute of Aeronautics and Astronautics, AIAA Infotech @ Aerospace, AIAA SciTech, 05\u201309 January 2015. http:\/\/dx.doi.org\/10.2514\/6.2015-1645","DOI":"10.2514\/6.2015-1645"},{"issue":"10","key":"3_CR20","first-page":"649","volume":"11","author":"C Torens","year":"2014","unstructured":"Torens, C., Adolf, F.M., Goormann, L.: Certification and software verification considerations for autonomous unmanned aircraft. J. Aerosp. Inf. Syst. 11(10), 649\u2013664 (2014)","journal-title":"J. Aerosp. Inf. Syst."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Torens, C., Adolf, F.M.: Automated verification and validation of an onboard mission planning and execution system for uavs. In: AIAA Infotech@Aerospace (I@A) Conference, Boston, MA, 19\u201322 August 2013. http:\/\/dx.doi.org\/10.2514\/6.2013-4564","DOI":"10.2514\/6.2013-4564"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T00:19:08Z","timestamp":1570061948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}