{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T23:26:00Z","timestamp":1726010760379},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030110291"},{"type":"electronic","value":"9783030110307"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-11030-7_17","type":"book-chapter","created":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T04:13:06Z","timestamp":1548907986000},"page":"380-405","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C\/DO-331 Process"],"prefix":"10.1007","author":[{"given":"Markus","family":"Hochstrasser","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Myschik","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Holzapfel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,1]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Basagiannis, S.: Software certification of airborne cyber-physical systems under DO-178C. In: Proceedings of 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp. 1\u20136. IEEE (2016)","DOI":"10.1109\/SNR.2016.7479378"},{"key":"17_CR2","unstructured":"National Research Council (U.S.), National Academies Press (U.S.): Critical Code: Software Producibility for Defense. National Academies Press, Washington, D.C. (2010)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Broy, M., Kirstan, S., Krcmar, H., Sch\u00e4tz, B.: What is the benefit of a model-based design of embedded software systems in the car industry? In: IR Management Association (ed.) Software Design and Development, pp. 310\u2013334. IGI Global (2014)","DOI":"10.4018\/978-1-4666-4301-7.ch017"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: AIAA (ed.) Proceedings of AIAA Infotech@Aerospace 2010 (2010)","DOI":"10.2514\/6.2010-3452"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Paz, A., El Boussaidi, G.: On the exploration of model-based support for DO-178C-compliant avionics software development and certification. In: Proceedings of 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 229\u2013236. IEEE (2016)","DOI":"10.1109\/ISSREW.2016.12"},{"key":"17_CR6","unstructured":"Hochstrasser, M., Hornauer, M., Holzapfel, F.: Formal Verification of Flight Control Applications along a Model-Based Development Process: A Case Study, 05 October 2016"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-65283-2_4","volume-title":"Advances in Aerospace Guidance, Navigation and Control","author":"M Hochstrasser","year":"2018","unstructured":"Hochstrasser, M., Schatz, S.P., N\u00fcrnberger, K., Hornauer, M., Myschik, S., Holzapfel, F.: Aspects of a consistent modeling environment for DO-331 design model development of flight control algorithms. In: Do\u0142\u0119ga, B., G\u0142\u0119bocki, R., Kordos, D., \u017bugaj, M. (eds.) Advances in Aerospace Guidance, Navigation and Control, pp. 69\u201386. Springer, Cham (2018). \n https:\/\/doi.org\/10.1007\/978-3-319-65283-2_4"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Schatz, S.P., et al.: Flightplan flight tests of an experimental DA42 generation aviation aircraft. In: IEEE Control Systems Society (ed.) Proceedings of 14th International Conference on Control, Automation, Robotics and Vision (2016)","DOI":"10.1109\/ICARCV.2016.7838646"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1049\/iet-cps.2016.0046","volume":"2","author":"Kajetan N\u00fcrnberger","year":"2017","unstructured":"N\u00fcrnberger, K., Hochstrasser, M., Holzapfel, F.: Execution time analysis and optimisation techniques in the model-based development of a flight control software. IET Cyber-Phys. Syst.: Theory Appl. 2(2), 57\u201364 (2017). \n https:\/\/doi.org\/10.1049\/iet-cps.2016.0046","journal-title":"IET Cyber-Physical Systems: Theory & Applications"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Hochstrasser, M., Myschik, S., Holzapfel, F.: A process-oriented build tool for safety-critical model-based software development. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, pp. 191\u2013202. SCITEPRESS - Science and Technology Publications (2018)","DOI":"10.5220\/0006605301910202"},{"key":"17_CR11","unstructured":"RTCA: DO-178C - Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"17_CR12","unstructured":"RTCA: DO-331 - Model-Based Development and Verification Supplement to DO-178C and DO-278A (2011)"},{"key":"17_CR13","unstructured":"Conrad, M., et al.: Automating code reviews with simulink code inspector. In: Dagstuhl (ed.) Proceedings of VIII Dagstuhl-Workshop, M\u00fcnchen, fortiss GmbH (2012)"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"272","DOI":"10.4271\/2009-01-2929","volume":"2","author":"M Conrad","year":"2009","unstructured":"Conrad, M., Friedman, J., Sandmann, G.: Verification and validation according to IEC 61508: a workflow to facilitate the development of high-integrity applications. SAE Int. J. Commercial Veh. 2, 272\u2013279 (2009)","journal-title":"SAE Int. J. Commercial Veh."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Erkinnen, T., Potter, B.: Model-based design for DO-178B with qualified tools. In: AIAA Modeling and Simulation Technologies Conference and Exhibit. American Institute of Aeronautics and Astronautics Inc, Hyatt Regency McCormick Place, Chicago (2009)","DOI":"10.2514\/6.2009-6233"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Marques, J.C., Yelisetty, S.M.H., Dias, L.A.V., da Cunha, A.M.: Using model-based development as software low-level requirements to achieve airborne software certification. In: Proceedings of 2012 Ninth International Conference on Information Technology - New Generations, pp. 431\u2013436. IEEE (2012)","DOI":"10.1109\/ITNG.2012.102"},{"key":"17_CR17","unstructured":"Potter, B.: Complying with DO-178C and DO-331 using Model-Based Design (2012)"},{"key":"17_CR18","volume-title":"Building and Testing with Gradle","author":"T Berglund","year":"2011","unstructured":"Berglund, T., McCullough, M.: Building and Testing with Gradle. O\u2019Reilly, Beijing and Sebastopol (2011)"},{"key":"17_CR19","unstructured":"Humble, J., Farley, D.: Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation. Tenth printing edn. A Martin Fowler Signature Book. Addison-Wesley, Upper Saddle River (2015)"},{"key":"17_CR20","unstructured":"Sonatype Company: Maven: The Definitive Guide. O\u2019Reilly, Cambridge (2008)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Rahman, A., Partho, A., Meder, D., Williams, L.: Which factors influence practitioners\u2019 usage of build automation tools? In: Proceedings of 2017 IEEE\/ACM 3rd International Workshop on Rapid Continuous Software Engineering (RCoSE), pp. 20\u201326. IEEE (2017)","DOI":"10.1109\/RCoSE.2017.8"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Dillaber, E., Kendrick, L., Jin, W., Reddy, V. (eds.) Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications. SAE International (2010)","DOI":"10.4271\/2010-01-0935"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Estrada, R.G., Sasaki, G., Dillaber, E.: Best practices for developing DO-178 compliant software using Model-Based Design. AIAA Infotech@Aerospace, Boston (2013)","DOI":"10.2514\/6.2013-4566"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-1-4471-2239-5_7","volume-title":"Software and Systems Traceability","author":"A Zisman","year":"2012","unstructured":"Zisman, A.: Using rules for traceability creation. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 147\u2013170. Springer, London (2012). \n https:\/\/doi.org\/10.1007\/978-1-4471-2239-5_7"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-1-4471-2239-5_10","volume-title":"Software and Systems Traceability","author":"A Seibel","year":"2012","unstructured":"Seibel, A., Hebig, R., Giese, H.: Traceability in model-driven engineering: efficient and scalable traceability maintenance. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 215\u2013240. Springer, London (2012). \n https:\/\/doi.org\/10.1007\/978-1-4471-2239-5_10"},{"key":"17_CR26","unstructured":"Lochmann, H., Hessellund, A.: An integrated view on modeling with multi domain-specific languages. In: Proceedings of the IASTED International Conference Software Engineering (2009)"},{"key":"17_CR27","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/TVCG.2006.147","volume":"12","author":"D Holten","year":"2006","unstructured":"Holten, D.: Hierarchical edge bundles: visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph. 12, 741\u2013748 (2006)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"17_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-3382-7","volume-title":"Introduction to Multicopter Design and Control","author":"Q Quan","year":"2017","unstructured":"Quan, Q.: Introduction to Multicopter Design and Control. Springer, Singapore (2017). \n https:\/\/doi.org\/10.1007\/978-981-10-3382-7"},{"key":"17_CR29","unstructured":"The MathWorks Inc.: DO Qualification R2017b: Model-Based Design Workflow for DO-178C (2017)"},{"key":"17_CR30","unstructured":"The Motor Industry Software Reliability Association: MISRA-C:2012 - Guidelines for the use of C language in critical systems, March 2013"},{"key":"17_CR31","unstructured":"The MathWorks Automotive Advisory Board: MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow: R2016b (2017)"},{"key":"17_CR32","unstructured":"The MathWorks Inc.: DO Qualification Kit - Simulink Code Inspector Tool Operational Requirements: R2017b (2017)"},{"key":"17_CR33","unstructured":"The MathWorks Inc.: Simulink Code Inspector Reference: R2017b, Natick, MA, USA (2017)"},{"key":"17_CR34","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s10270-009-0146-z","volume":"9","author":"A Seibel","year":"2010","unstructured":"Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. 9, 493\u2013528 (2010)","journal-title":"Softw. Syst. Model."},{"key":"17_CR35","unstructured":"OMG Object Management Group: Software & System Process Engineering Meta-Models Specification (SPEM 2.0), April 2008"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Gallina, B.: A model-driven safety certification method for process compliance. In: Proceedings of 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 204\u2013209. IEEE (2014)","DOI":"10.1109\/ISSREW.2014.30"},{"key":"17_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-09153-2_1","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2014","author":"R Couto","year":"2014","unstructured":"Couto, R., Ribeiro, A.N., Campos, J.C.: The modelery: a collaborative web based repository. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8584, pp. 1\u201316. Springer, Cham (2014). \n https:\/\/doi.org\/10.1007\/978-3-319-09153-2_1"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Mahapatra, S., Ghidella, J., Walker, G.: Team-based collaboration in model-based design. In: AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics, Reston (2012)","DOI":"10.2514\/6.2012-4938"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11030-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:58:36Z","timestamp":1558396716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11030-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030110291","9783030110307"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11030-7_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 January 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 January 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2018","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Primoris","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"101","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}