{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T06:24:35Z","timestamp":1769581475477,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Economic Affairs and Climate Action","award":["20D1907E"],"award-info":[{"award-number":["20D1907E"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561536","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"627-632","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?"],"prefix":"10.1145","author":[{"given":"Vanessa","family":"Tietz","sequence":"first","affiliation":[{"name":"University of Stuttgart"}]},{"given":"Constantin","family":"Frey","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}]},{"given":"Julian","family":"Schoepf","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}]},{"given":"Bjoern","family":"Annighoefer","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4271\/2019-01-1383"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/dasc50938.2020.9256726"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/seams51251.2021.00031"},{"key":"e_1_3_2_1_4_1","volume-title":"The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1","author":"Balasubramanian Daniel","year":"2006","unstructured":"Daniel Balasubramanian , Anantha Narayanan , Christopher P. van Buskirk , and Gabor Karsai . 2006. The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 ( 2006 ). Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, and Gabor Karsai. 2006. The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)."},{"key":"e_1_3_2_1_5_1","volume-title":"A tutorial on uppaal. Formal methods for the design of real-time systems","author":"Behrmann Gerd","year":"2004","unstructured":"Gerd Behrmann , Alexandre David , and Kim G Larsen . 2004. A tutorial on uppaal. Formal methods for the design of real-time systems ( 2004 ), 200--236. Gerd Behrmann, Alexandre David, and Kim G Larsen. 2004. A tutorial on uppaal. Formal methods for the design of real-time systems (2004), 200--236."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/340396.340450"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_29"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733923"},{"key":"e_1_3_2_1_9_1","volume-title":"2009. EMF Eclipse Modeling Framework","author":"Dave Steinberg","unstructured":"Steinberg Dave , Budinsky Frank , Paternostro Marcelo , and Merks Ed. 2009. EMF Eclipse Modeling Framework . Addison-Wesley Professional . Steinberg Dave, Budinsky Frank, Paternostro Marcelo, and Merks Ed. 2009. EMF Eclipse Modeling Framework. Addison-Wesley Professional."},{"key":"e_1_3_2_1_10_1","unstructured":"Davide Di Ruscio. 2007. SPECIFICATION OF MODEL TRANSFORMATION AND WEAVING IN MODEL DRIVEN ENGINEERING. dissertation. Dipartimento di Informatica Universita di L'Aquila.  Davide Di Ruscio. 2007. SPECIFICATION OF MODEL TRANSFORMATION AND WEAVING IN MODEL DRIVEN ENGINEERING. dissertation. Dipartimento di Informatica Universita di L'Aquila."},{"key":"e_1_3_2_1_11_1","unstructured":"Francois-Xavier Dormoy. 2008. SCADE 6 A Model Based Solution For Safety Critical Software Development. In Embedded Real Time Software and Systems (ERTS2008).  Francois-Xavier Dormoy. 2008. SCADE 6 A Model Based Solution For Safety Critical Software Development. In Embedded Real Time Software and Systems (ERTS2008)."},{"key":"e_1_3_2_1_12_1","unstructured":"dSpace. 2022. TargetLink dSpace. https:\/\/www.dspace.com\/de\/gmb\/home\/products\/sw\/pcgs\/targetlink.cfm#176_25806. Accessed: 2022-01-25.  dSpace. 2022. TargetLink dSpace. https:\/\/www.dspace.com\/de\/gmb\/home\/products\/sw\/pcgs\/targetlink.cfm#176_25806. Accessed: 2022-01-25."},{"key":"e_1_3_2_1_13_1","volume-title":"Gluch","author":"Feiler Peter H.","year":"2012","unstructured":"Peter H. Feiler and David P . Gluch . 2012 . Model-Based Engineering with AADL. Addison-Wesley , Upper Saddle River, N.J. Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL. Addison-Wesley, Upper Saddle River, N.J."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0078-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2015.7311445"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7777950"},{"key":"e_1_3_2_1_17_1","unstructured":"Martin Halle and Frank Thielecke. 2019. Tool Chain for Avionics Design Development Integration and Test. In Software Engineering.  Martin Halle and Frank Thielecke. 2019. Tool Chain for Avionics Design Development Integration and Test. In Software Engineering."},{"key":"e_1_3_2_1_18_1","unstructured":"Vance Hilderman. 2014. DO-178C Costs Versus Benefits. https:\/\/afuzion.com\/do-178c-costs-versus-benefits\/. Accessed: 2022-02-15.  Vance Hilderman. 2014. DO-178C Costs Versus Benefits. https:\/\/afuzion.com\/do-178c-costs-versus-benefits\/. Accessed: 2022-02-15."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Software Engineering","author":"Ibrahim Mohamad","year":"2021","unstructured":"Mohamad Ibrahim and Umut Durak . 2021 . State of the Art in Software Tool Qualification with DO-330: A Survey . Proceedings of the Software Engineering (2021), 22--26. Mohamad Ibrahim and Umut Durak. 2021. State of the Art in Software Tool Qualification with DO-330: A Survey. Proceedings of the Software Engineering (2021), 22--26."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00-14"},{"key":"e_1_3_2_1_21_1","volume-title":"Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.)","author":"Jouault Fr\u00e9d\u00e9ric","unstructured":"Fr\u00e9d\u00e9ric Jouault and Ivan Kurtev . 2006. Transforming Models with ATL . In Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 128--138. Fr\u00e9d\u00e9ric Jouault and Ivan Kurtev. 2006. Transforming Models with ATL. In Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 128--138."},{"key":"e_1_3_2_1_22_1","unstructured":"Juha K\u00e4rn\u00e4 Juha-Pekka Tolvanen and Steven Kelly. 2009. Evaluating the use of domain-specific modeling in practice.  Juha K\u00e4rn\u00e4 Juha-Pekka Tolvanen and Steven Kelly. 2009. Evaluating the use of domain-specific modeling in practice."},{"key":"e_1_3_2_1_23_1","unstructured":"Dirk Kuschnerus Felix Bruns Attila Bilgic and Thomas Musch. 2012. A UML profile for the development of IEC 61508 compliant embedded software. In Embedded Real Time Software and Systems (ERTS2012).  Dirk Kuschnerus Felix Bruns Attila Bilgic and Thomas Musch. 2012. A UML profile for the development of IEC 61508 compliant embedded software. In Embedded Real Time Software and Systems (ERTS2012)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_17"},{"key":"e_1_3_2_1_25_1","volume-title":"The Generic Modeling Environment. Workshop on Intelligent Signal Processing","author":"Ledeczi Akos","year":"2001","unstructured":"Akos Ledeczi , M Maroti , A Bakay , Gabor Karsai , J Garrett , C Thomason , G Nordstrom , J Sprinkle , and P\u00e9ter V\u00f6lgyesi . 2001 . The Generic Modeling Environment. Workshop on Intelligent Signal Processing , Budapest, Hungary 17 (01 2001). Akos Ledeczi, M Maroti, A Bakay, Gabor Karsai, J Garrett, C Thomason, G Nordstrom, J Sprinkle, and P\u00e9ter V\u00f6lgyesi. 2001. The Generic Modeling Environment. Workshop on Intelligent Signal Processing, Budapest, Hungary 17 (01 2001)."},{"key":"e_1_3_2_1_26_1","unstructured":"MathWorks. 2022. Polyspace Making Critical Code Safe and Secure. https:\/\/www.mathworks.com\/products\/polyspace.html. Accessed: 2022-01-25.  MathWorks. 2022. Polyspace Making Critical Code Safe and Secure. https:\/\/www.mathworks.com\/products\/polyspace.html. Accessed: 2022-01-25."},{"key":"e_1_3_2_1_27_1","unstructured":"MIRA-Limited. 2004. MISRA-C:2004 - Guidelines for the use of the C language in critical systems. MIRA Limited.  MIRA-Limited. 2004. MISRA-C:2004 - Guidelines for the use of the C language in critical systems. MIRA Limited."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-018-0282-7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"e_1_3_2_1_30_1","volume-title":"Standard ormal\/2016-06-03","author":"Object Management Group","unstructured":"Object Management Group . 2016. MOF Query\/View\/ Transformation . Standard ormal\/2016-06-03 . Object Management Group , Milford, USA. https:\/\/www.omg.org\/spec\/QVT\/1.3 Object Management Group. 2016. MOF Query\/View\/Transformation. Standard ormal\/2016-06-03. Object Management Group, Milford, USA. https:\/\/www.omg.org\/spec\/QVT\/1.3"},{"key":"e_1_3_2_1_31_1","volume-title":"OMG Unified Modeling Language. Standard formal\/2015-03-01","author":"Object Management Group","unstructured":"Object Management Group . 2017. OMG Unified Modeling Language. Standard formal\/2015-03-01 . Object Management Group , Milford, USA. https:\/\/www.omg.org\/spec\/UML\/2.5\/PDF Object Management Group. 2017. OMG Unified Modeling Language. Standard formal\/2015-03-01. Object Management Group, Milford, USA. https:\/\/www.omg.org\/spec\/UML\/2.5\/PDF"},{"key":"e_1_3_2_1_32_1","volume-title":"OMG Meta Object Facility (MOF) Core Specification. Standard formal\/2019-10-01","author":"Object Management Group","unstructured":"Object Management Group . 2019. OMG Meta Object Facility (MOF) Core Specification. Standard formal\/2019-10-01 . Object Management Group , Milford, USA. https:\/\/www.omg.org\/spec\/MOF\/2.5.1\/PDF Object Management Group. 2019. OMG Meta Object Facility (MOF) Core Specification. Standard formal\/2019-10-01. Object Management Group, Milford, USA. https:\/\/www.omg.org\/spec\/MOF\/2.5.1\/PDF"},{"key":"e_1_3_2_1_33_1","volume-title":"Developing Safety - Critical Software - A Practical Guide for Aviation Software and DO-178C Compliance","author":"Rierson Leanna","unstructured":"Leanna Rierson . 2013. Developing Safety - Critical Software - A Practical Guide for Aviation Software and DO-178C Compliance . Taylor & Francis Group LLC. Leanna Rierson. 2013. Developing Safety - Critical Software - A Practical Guide for Aviation Software and DO-178C Compliance. Taylor & Francis Group LLC."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/10.4.336"},{"key":"e_1_3_2_1_35_1","unstructured":"RTCA. 1992. DO-178B Software Considerations in Airborne Systems and Equipment. Standard. RTCA Washington USA. https:\/\/rtca.org  RTCA. 1992. DO-178B Software Considerations in Airborne Systems and Equipment. Standard. RTCA Washington USA. https:\/\/rtca.org"},{"key":"e_1_3_2_1_36_1","unstructured":"RTCA. 2011. DO-178C Software Considerations in Airborne Systems and Equipment. Standard. RTCA Washington USA. https:\/\/rtca.org  RTCA. 2011. DO-178C Software Considerations in Airborne Systems and Equipment. Standard. RTCA Washington USA. https:\/\/rtca.org"},{"key":"e_1_3_2_1_37_1","unstructured":"RTCA. 2011. DO-330 Software Tool Qualification Considerations. Standard. RTCA Washington USA. https:\/\/rtca.org  RTCA. 2011. DO-330 Software Tool Qualification Considerations. Standard. RTCA Washington USA. https:\/\/rtca.org"},{"key":"e_1_3_2_1_38_1","unstructured":"SAE. 2010. Guidelines for Development of Civil Aircraft and Systems. Standard. SAE. https:\/\/www.sae.org\/standards\/content\/arp4754a\/  SAE. 2010. Guidelines for Development of Civil Aircraft and Systems. Standard. SAE. https:\/\/www.sae.org\/standards\/content\/arp4754a\/"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 7th International Workshop on Aircraft System Technologies. Shaker.","author":"Schoepf Julian","year":"2019","unstructured":"Julian Schoepf , Bjoern Annighoefer , and Reinhard Reichel . 2019 . A Meta-Model and Transformation Schema for the Automated Generation of ICDs in an Automated Development Process of IMA System Functions . In Proceedings of the 7th International Workshop on Aircraft System Technologies. Shaker. Julian Schoepf, Bjoern Annighoefer, and Reinhard Reichel. 2019. A Meta-Model and Transformation Schema for the Automated Generation of ICDs in an Automated Development Process of IMA System Functions. In Proceedings of the 7th International Workshop on Aircraft System Technologies. Shaker."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/isorc.2003.1199241"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00025"},{"key":"e_1_3_2_1_42_1","unstructured":"Andres Toom Tonu Naks Marc Pantel M Gandriau and I Wati. 2008. Gene-auto: an automatic code generator for a safe subset of simulink\/stateflow and scicos. In Embedded Real Time Software and Systems (ERTS2008).  Andres Toom Tonu Naks Marc Pantel M Gandriau and I Wati. 2008. Gene-auto: an automatic code generator for a safe subset of simulink\/stateflow and scicos. In Embedded Real Time Software and Systems (ERTS2008)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_29"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561536","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:10Z","timestamp":1750182550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":43,"alternative-id":["10.1145\/3550356.3561536","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561536","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}