{"id":"https://openalex.org/W4400939704","doi":"https://doi.org/10.1007/978-3-031-65630-9_10","title":"Monitoring Unmanned Aircraft: Specification, Integration, and\u00a0Lessons-Learned","display_name":"Monitoring Unmanned Aircraft: Specification, Integration, and\u00a0Lessons-Learned","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400939704","doi":"https://doi.org/10.1007/978-3-031-65630-9_10"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65630-9_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_10.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014234993","display_name":"Jan Baumeister","orcid":"https://orcid.org/0000-0002-8891-7483"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan Baumeister","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8891-7483","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048189898","display_name":"Bernd Finkbeiner","orcid":"https://orcid.org/0000-0002-4280-8441"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernd Finkbeiner","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4280-8441","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011361976","display_name":"Florian Kohn","orcid":"https://orcid.org/0000-0001-9672-2398"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Florian Kohn","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9672-2398","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104235961","display_name":"Florian L\u00f6hr","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Florian L\u00f6hr","raw_affiliation_strings":["Volocopter GmbH, Bruchsal, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Volocopter GmbH, Bruchsal, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000137455","display_name":"Guido Manfredi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guido Manfredi","raw_affiliation_strings":["Volocopter GmbH, Bruchsal, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Volocopter GmbH, Bruchsal, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077768481","display_name":"Sebastian Schirmer","orcid":"https://orcid.org/0000-0002-4596-2479"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Schirmer","raw_affiliation_strings":["German Aerospace Center (DLR), Cologne, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4596-2479","affiliations":[{"raw_affiliation_string":"German Aerospace Center (DLR), Cologne, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044958748","display_name":"Christoph Torens","orcid":"https://orcid.org/0000-0002-0651-4390"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Torens","raw_affiliation_strings":["German Aerospace Center (DLR), Cologne, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0651-4390","affiliations":[{"raw_affiliation_string":"German Aerospace Center (DLR), Cologne, Germany","institution_ids":["https://openalex.org/I2898391981"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014234993"],"corresponding_institution_ids":["https://openalex.org/I4210128801"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":12.4363,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.98795681,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"207","last_page":"218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.984000027179718,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7943230867385864},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42196720838546753},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.41127967834472656},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.384223073720932},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3557458221912384},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08682933449745178}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7943230867385864},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42196720838546753},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.41127967834472656},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.384223073720932},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3557458221912384},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08682933449745178}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-65630-9_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:elib.dlr.de:216241","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_10>.","pdf_url":null,"source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Konferenzbeitrag"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-65630-9_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320323803","display_name":"Bundesministerium f\u00fcr Wirtschaft und Energie","ror":"https://ror.org/02vgg2808"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400939704.pdf","grobid_xml":"https://content.openalex.org/works/W4400939704.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1972433423","https://openalex.org/W2785700716","https://openalex.org/W2899532715","https://openalex.org/W2961558634","https://openalex.org/W2969749685","https://openalex.org/W3046292244","https://openalex.org/W3096170609","https://openalex.org/W3184761245","https://openalex.org/W3210637143","https://openalex.org/W4384471375","https://openalex.org/W4384573255","https://openalex.org/W4390024190"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Abstract":[0],"This":[1,58],"paper":[2],"reports":[3],"on":[4],"the":[5,34,38,43,46,48,51,60,63,81,108,116,119,126,131,135,144,159,164,171,176,181,191,195,201,205,209],"integration":[6,61,120,142,182],"of":[7,20,37,45,50,62,92,143,180,200,208],"runtime":[8,25],"monitoring":[9,83,100,160],"into":[10,65,146],"fully-electric":[11],"aircraft":[12,18,210],"designed":[13],"by":[14],"Volocopter,":[15],"a":[16,90,140,154,212],"German":[17],"manufacturer":[19],"electric":[21],"multi-rotor":[22],"helicopters.":[23],"The":[24,178],"monitor":[26,39,52,64,145,165,202],"recognizes":[27],"hazardous":[28],"situations":[29],"and":[30,75,102,118,197],"system":[31],"faults.":[32],"Since":[33],"correct":[35],"operation":[36],"is":[40,114],"critical":[41],"for":[42,89],"safety":[44],"aircraft,":[47],"development":[49,67,132,137,207],"must":[53],"follow":[54],"strict":[55],"aeronautical":[56],"standards.":[57],"includes":[59],"different":[66,136],"environments,":[68],"such":[69],"as":[70],"log-file":[71],"analysis,":[72],"hardware/software-in-the-loop":[73],"testing,":[74],"test":[76],"flights.":[77],"We":[78,149],"have":[79],"used":[80],"stream-based":[82],"framework":[84,161],"RTLola":[85],"to":[86,122,166,187,190,204],"generate":[87],"monitors":[88],"range":[91],"requirements.":[93],"In":[94],"this":[95,151],"paper,":[96],"we":[97],"present":[98],"representative":[99],"specifications":[101],"our":[103],"lessons":[104],"learned":[105],"from":[106,175],"integrating":[107],"generated":[109,174],"monitors.":[110],"Our":[111],"main":[112],"finding":[113],"that":[115,162],"specification":[117,127],"need":[121],"be":[123],"decoupled,":[124],"because":[125],"remains":[128],"stable":[129],"throughout":[130],"process,":[133],"whereas":[134],"stages":[138],"require":[139],"separate":[141],"each":[147,167],"environment.":[148],"achieve":[150],"decoupling":[152,179],"with":[153],"novel":[155],"abstraction":[156],"layer":[157],"in":[158,194,211],"adapts":[163],"environment":[168,199],"without":[169],"affecting":[170],"core":[172],"component":[173],"specification.":[177],"has":[183],"also":[184],"allowed":[185],"us":[186],"react":[188],"quickly":[189],"frequent":[192],"changes":[193],"hardware":[196],"software":[198],"due":[203],"fast-paced":[206],"startup":[213],"company.":[214]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}