{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T18:12:38Z","timestamp":1717956758174},"reference-count":40,"publisher":"Institution of Engineering and Technology (IET)","issue":"2","license":[{"start":{"date-parts":[[2017,7,5]],"date-time":"2017-07-05T00:00:00Z","timestamp":1499212800000},"content-version":"vor","delay-in-days":4,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"},{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET cyber-phys. syst."],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1049\/iet-cps.2016.0046","type":"journal-article","created":{"date-parts":[[2017,6,6]],"date-time":"2017-06-06T02:15:13Z","timestamp":1496715313000},"page":"57-64","source":"Crossref","is-referenced-by-count":5,"title":["Execution time analysis and optimisation techniques in the model\u2010based development of a flight control software"],"prefix":"10.1049","volume":"2","author":[{"given":"Kajetan","family":"N\u00fcrnberger","sequence":"first","affiliation":[{"name":"Institute of Flight System DynamicsTechnical University MunichMunichGermany"}]},{"given":"Markus","family":"Hochstrasser","sequence":"additional","affiliation":[{"name":"Institute of Flight System DynamicsTechnical University MunichMunichGermany"}]},{"given":"Florian","family":"Holzapfel","sequence":"additional","affiliation":[{"name":"Institute of Flight System DynamicsTechnical University MunichMunichGermany"}]}],"member":"265","published-online":{"date-parts":[[2017,7,5]]},"reference":[{"key":"e_1_2_10_2_1","unstructured":"AC: 23.1309\u20101E: \u2018Advisory circular: system safety analysis and assessment for part 23 airplanes\u2019 November 2011"},{"key":"e_1_2_10_3_1","unstructured":"STANAG 4671 Edition 1: \u2018Unmanned aerial vehicles systems airworthiness requirements\u2019 May 2007"},{"key":"e_1_2_10_4_1","volume-title":"14th INCOSE Int. Symp. Annual","author":"Stecklein J.M.","year":"2004"},{"key":"e_1_2_10_5_1","volume-title":"Issues concerning integration of unmanned aerial vehicles in civil airspace","author":"DeGarmo M.","year":"2004"},{"key":"e_1_2_10_6_1","first-page":"1009","volume-title":"Int. Conf. on Unmanned Aircraft","author":"Braun S.","year":"2014"},{"key":"e_1_2_10_7_1","first-page":"18:1","volume-title":"SCI\u2010269 Symp. on \u2018Flight Testing of Unmanned Aerial Systems (UAS)\u2019","author":"Kreienfeld M.","year":"2015"},{"key":"e_1_2_10_8_1","volume-title":"14th Int. Conf. on Control, Automation, Robotics and Vision","author":"Karlsson E.","year":"2016"},{"key":"e_1_2_10_9_1","unstructured":"\u2018Simulink\u2019 https:\/\/de.mathworks.com\/products\/simulink.html accessed 18 April 2017"},{"key":"e_1_2_10_10_1","unstructured":"MathWorks: \u2018Embedded coder users's guide\u2019 (2016)"},{"key":"e_1_2_10_11_1","unstructured":"DO\u2010178C: \u2018Software considerations in airborne systems and equipment certification\u2019 December 2011"},{"key":"e_1_2_10_12_1","unstructured":"DO\u2010331: \u2018Model\u2010based development and verification supplement to DO\u2010178C and DO\u2010278A\u2019 December 2011"},{"key":"e_1_2_10_13_1","unstructured":"AMC RPAS.1309: \u2018Safety assessment of remotely piloted aircraft systems\u2019 November 2015"},{"key":"e_1_2_10_14_1","volume-title":"Aviation Technology, Integration, and Operations Conf.","author":"Weber G.","year":"2013"},{"key":"e_1_2_10_15_1","first-page":"1","volume-title":"2016 IEEE\/AIAA 35th Digital Avionics Systems Conf. (DASC)","author":"Walde G.","year":"2016"},{"key":"e_1_2_10_16_1","first-page":"59","volume-title":"PPES 2011: Predictability and Performance in Embedded Systems","author":"Fran\u00e7a R.B.","year":"2011"},{"key":"e_1_2_10_17_1","first-page":"2C5\u20101","volume-title":"Digital Avionics Systems Conf. (DASC)","author":"G\u00f6rke S.","year":"2013"},{"key":"e_1_2_10_18_1","first-page":"1","volume-title":"Mediterranean Conf. on Control Automation","author":"Alvis W.","year":"2007"},{"key":"e_1_2_10_19_1","volume-title":"25th AIAA Aerodynamic Measurement Technology and Ground Testing Conf.","author":"Klenke R.H.","year":"2006"},{"key":"e_1_2_10_20_1","unstructured":"DO\u2010254: \u2018Design assurance guidance for airborne electronic hardware\u2019 April 2000"},{"key":"e_1_2_10_21_1","first-page":"437","volume-title":"Handbook of real\u2010time and embedded systems","author":"Ermedahl A.","year":"2008"},{"key":"e_1_2_10_22_1","first-page":"1","volume-title":"14th Int. Conf. on Control, Automation, Robotics and Vision","author":"Krause C.","year":"2016"},{"key":"e_1_2_10_23_1","volume-title":"CEAS EuroGNC","author":"Schneider V.","year":"2017"},{"key":"e_1_2_10_24_1","first-page":"1","volume-title":"14th Int. Conf. on Control, Automation, Robotics and Vision","author":"K\u00fcgler M.E.","year":"2016"},{"key":"e_1_2_10_25_1","first-page":"157","volume-title":"Aerospace Electronics and Remote Sensing","author":"Schatz S.P.","year":"2014"},{"key":"e_1_2_10_26_1","volume-title":"CEAS EuroGNC","author":"Karlsson E.","year":"2017"},{"key":"e_1_2_10_27_1","volume-title":"CEAS EuroGNC","author":"Schatz S.P.","year":"2017"},{"key":"e_1_2_10_28_1","unstructured":"\u2018Simulink Code Inspector\u2019 https:\/\/de.mathworks.com\/products\/simulink\u2010code\u2010inspector.html accessed 18 April 2017"},{"key":"e_1_2_10_29_1","volume-title":"CEAS EuroGNC","author":"Hochstrasser M.","year":"2017"},{"issue":"7","key":"e_1_2_10_30_1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1538788.1538814","article-title":"Formal verification of a realistic compiler","volume":"52","author":"Leroy X.","year":"2009","journal-title":"Commun. ACM"},{"issue":"3","key":"e_1_2_10_31_1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10817-009-9148-3","article-title":"Mechanized semantics for the Clight subset of the C language","volume":"43","author":"Blazy S.","year":"2009","journal-title":"J. Autom. Reasoning"},{"key":"e_1_2_10_32_1","unstructured":"MISRA\u2010C: 2004: \u2018Guidelines for the use of the C language in critical systems\u2019 October 2004"},{"key":"e_1_2_10_33_1","volume-title":"The CompCert C verified compiler: documentation and user's manual","author":"Leroy X.","year":"2016"},{"key":"e_1_2_10_34_1","unstructured":"DO\u2010248C: \u2018Supporting information for DO\u2010178C and DO\u2010278A\u2019 December 2011"},{"key":"e_1_2_10_35_1","unstructured":"CAST\u201020: \u2018Addressing cache in airborne systems and equipment\u2019 June 2003"},{"key":"e_1_2_10_36_1","unstructured":"\u2018aiT\u2019 https:\/\/www.absint.com\/ait\/ accessed 18 April 2017"},{"issue":"3","key":"e_1_2_10_37_1","doi-asserted-by":"crossref","first-page":"36\u2009:\u20091","DOI":"10.1145\/1347375.1347389","article-title":"The worst\u2010case execution time problem overview of methods and survey of tools","volume":"7","author":"Wilhelm R.","year":"2008","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"e_1_2_10_38_1","volume-title":"AbsInt advanced analyzer for PowerPC e300 user documentation","author":"AbsInt Angewandte Informatik GmbH","year":"2016"},{"key":"e_1_2_10_39_1","first-page":"41","volume-title":"ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation","author":"Baufreton P.","year":"2007"},{"key":"e_1_2_10_40_1","first-page":"21","volume-title":"5th Int. Workshop on Worst\u2010Case Execution Time (WCET) Analysis","author":"Souyris J.","year":"2005"},{"key":"e_1_2_10_41_1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-24349-3_6","volume-title":"Advances in real\u2010time systems","author":"Wilhelm R.","year":"2012"}],"container-title":["IET Cyber-Physical Systems: Theory & Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/iet-cps.2016.0046","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1049\/iet-cps.2016.0046","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/iet-cps.2016.0046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T23:49:47Z","timestamp":1610754587000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1049\/iet-cps.2016.0046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["10.1049\/iet-cps.2016.0046"],"URL":"https:\/\/doi.org\/10.1049\/iet-cps.2016.0046","archive":["Portico"],"relation":{},"ISSN":["2398-3396","2398-3396"],"issn-type":[{"value":"2398-3396","type":"print"},{"value":"2398-3396","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7]]}}}