{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:49:19Z","timestamp":1740138559692,"version":"3.37.3"},"reference-count":19,"publisher":"Walter de Gruyter GmbH","issue":"3","license":[{"start":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T00:00:00Z","timestamp":1709164800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"Europ\u00e4ische Kommission","doi-asserted-by":"crossref","award":["871743"],"award-info":[{"award-number":["871743"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,3,26]]},"abstract":"<jats:title>Zusammenfassung<\/jats:title>\n               <jats:p xml:lang=\"en\">An Steuerungsprogramme werden hohe Anforderungen hinsichtlich Korrektheit und Robustheit gestellt. Moderne Werkzeuge k\u00f6nnen Entwickler*innen bei der Erstellung von Programmen unterst\u00fctzen. Der Schwerpunkt dieses Artikels liegt auf der expliziten Modellierung von implizitem Wissen der Entwickler*innen, da diese Informationen f\u00fcr die automatische \u00dcberpr\u00fcfung von Programmen n\u00f6tig sind. In diesem Artikel stellen wir ein Konzept zur Definition von Einschr\u00e4nkungen an der Schnittstelle von Funktionsbausteinen dar. Diese sollen Annahmen \u00fcber das Verhalten anderer Komponenten oder der physischen Umgebung festhalten. Diese Einschr\u00e4nkungen werden f\u00fcr die Erzeugung von \u00dcberwachungsbausteinen genutzt.<\/jats:p>","DOI":"10.1515\/auto-2023-0173","type":"journal-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T11:22:12Z","timestamp":1709205732000},"page":"164-175","source":"Crossref","is-referenced-by-count":0,"title":["Ein toolgest\u00fctzter Ansatz f\u00fcr die benutzerfreundliche Definition von Funktionsbaustein-Einschr\u00e4nkungen"],"prefix":"10.1515","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9512-5249","authenticated-orcid":false,"given":"Bianca","family":"Wiesmayr","sequence":"first","affiliation":[{"name":"LIT CPS Lab , Johannes Kepler Universit\u00e4t Linz , Linz , \u00d6sterreich , Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Roithmayr","sequence":"additional","affiliation":[{"name":"Johannes Kepler Universit\u00e4t Linz , Linz , \u00d6sterreich , Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alois","family":"Zoitl","sequence":"additional","affiliation":[{"name":"LIT CPS Lab , CDL VaSiCS, Johannes Kepler Universit\u00e4t Linz , Linz , Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2024,2,29]]},"reference":[{"key":"2024060610215811719_j_auto-2023-0173_ref_001","doi-asserted-by":"crossref","unstructured":"J. Wiklander, J. Eliasson, A. Kruglyak, P. Lindgren, and J. Nordlander, \u201cEnabling component-based design for embedded real-time software,\u201d J. Comput., vol.\u00a04, no.\u00a012, pp.\u00a01309\u20131321, 2009, https:\/\/doi.org\/10.4304\/jcp.4.12.1309-1321.","DOI":"10.4304\/jcp.4.12.1309-1321"},{"key":"2024060610215811719_j_auto-2023-0173_ref_002","doi-asserted-by":"crossref","unstructured":"A. Zoitl and V. Vyatkin, \u201cDifferent perspectives [face to face] IEC 61499 architecture for distributed automation: the \u201cglass half full\u201d view,\u201d IEEE Ind. Electron. Mag., vol. 3, no. 4, pp. 7\u201323, 2009. https:\/\/doi.org\/10.1109\/mie.2009.934789.","DOI":"10.1109\/MIE.2009.934789"},{"key":"2024060610215811719_j_auto-2023-0173_ref_003","doi-asserted-by":"crossref","unstructured":"A. Fay, B. Vogel-Heuser, T. Frank, K. Eckert, T. Hadlich, and C. Diedrich, \u201cEnhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns,\u201d J. Syst. Software, vol. 101, no. 1, pp. 221\u2013235, 2015. https:\/\/doi.org\/10.1016\/j.jss.2014.12.028.","DOI":"10.1016\/j.jss.2014.12.028"},{"key":"2024060610215811719_j_auto-2023-0173_ref_004","doi-asserted-by":"crossref","unstructured":"B. Wiesmayr, A. Zoitl, A. Garmendia, and M. Wimmer, \u201cA model-based execution framework for interpreting control software,\u201d in 2021 26th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2021.","DOI":"10.1109\/ETFA45728.2021.9613716"},{"key":"2024060610215811719_j_auto-2023-0173_ref_005","doi-asserted-by":"crossref","unstructured":"B. Wiesmayr, F. Roithmayr, and A. Zoitl, \u201cA tool-assisted approach for user-friendly definition of fb constraints,\u201d IFAC World Congress, vol. 56, no. 2, 2023. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2405896323019390.","DOI":"10.1016\/j.ifacol.2023.10.1531"},{"key":"2024060610215811719_j_auto-2023-0173_ref_006","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser, D. Sch\u00fctz, T. Frank, and C. Legat, \u201cModel-driven engineering of manufacturing automation software projects \u2013 a SysML-based approach,\u201d Mechatronics, vol.\u00a024, no.\u00a07, pp.\u00a0883\u2013897, 2014, https:\/\/doi.org\/10.1016\/j.mechatronics.2014.05.003.","DOI":"10.1016\/j.mechatronics.2014.05.003"},{"key":"2024060610215811719_j_auto-2023-0173_ref_007","doi-asserted-by":"crossref","unstructured":"K. Dorofeev, S. Bergemann, T. Terzimehi\u0107, J. Grothoff, M. Thies, and A. Zoitl, \u201cGeneration of the orchestrator code for skill-based automation systems,\u201d in 2021 26th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2021.","DOI":"10.1109\/ETFA45728.2021.9613728"},{"key":"2024060610215811719_j_auto-2023-0173_ref_008","doi-asserted-by":"crossref","unstructured":"R. Hametner, I. Hegny, and A. Zoitl, \u201cA unit-test framework for event-driven control components modeled in IEC 61499,\u201d in 2014 IEEE Int. Conf. on Emerging Technology and Factory Automation (ETFA), 2014.","DOI":"10.1109\/ETFA.2014.7005209"},{"key":"2024060610215811719_j_auto-2023-0173_ref_009","doi-asserted-by":"crossref","unstructured":"M. Wenger, A. Zoitl, and J. O. Blech, \u201cBehavioral type-based monitoring for IEC 61499,\u201d in 2015 IEEE 20th Int. Conf. on Emerging Technologies & Factory Automation (ETFA), 2015.","DOI":"10.1109\/ETFA.2015.7301447"},{"key":"2024060610215811719_j_auto-2023-0173_ref_010","doi-asserted-by":"crossref","unstructured":"L. Prenzel and S. Steinhorst, \u201cAutomated dependency resolution for dynamic reconfiguration of IEC 61499,\u201d in 2021 26th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2021.","DOI":"10.1109\/ETFA45728.2021.9613156"},{"key":"2024060610215811719_j_auto-2023-0173_ref_011","doi-asserted-by":"crossref","unstructured":"L. Lednicki, J. Carlson, and K. Sandstrom, \u201cDevice utilization analysis for IEC 61499 systems in early stages of development,\u201d in 2013 IEEE 18th Int. Conf. on Emerging Technologies & Factory Automation (ETFA), 2013.","DOI":"10.1109\/ETFA.2013.6647970"},{"key":"2024060610215811719_j_auto-2023-0173_ref_012","unstructured":"S. D. Panjaitan and G. Frey, \u201cDesigning generic\/reusable functionality based controllers for distributed control using UML,\u201d in 2007 IEEE Int. Conf. on Robotics and Automation (ICRA), IEEE, 2007."},{"key":"2024060610215811719_j_auto-2023-0173_ref_013","doi-asserted-by":"crossref","unstructured":"B. Wiesmayr and A. Zoitl, \u201cRequirements for a dynamic interface model of IEC 61499 Function Blocks,\u201d in 2020 25th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2020, pp.\u00a01069\u20131072.","DOI":"10.1109\/ETFA46521.2020.9212107"},{"key":"2024060610215811719_j_auto-2023-0173_ref_014","doi-asserted-by":"crossref","unstructured":"H. Pr\u00e4hofer and A. Zoitl, \u201cVerification of hierarchical IEC 61499 component systems with behavioral event contracts,\u201d in 2013 11th IEEE International Conference on Industrial Informatics (INDIN), 2013, pp.\u00a0578\u2013585.","DOI":"10.1109\/INDIN.2013.6622948"},{"key":"2024060610215811719_j_auto-2023-0173_ref_015","doi-asserted-by":"crossref","unstructured":"H. Kugler, M. J. Stern, and E. J. A. Hubbard, \u201cTesting scenario-based models,\u201d in Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 4422, M. B. Dwyer and A. Lopes, Eds., Berlin, Heidelberg, Springer, 2007, pp. 306\u2013320.","DOI":"10.1007\/978-3-540-71289-3_24"},{"key":"2024060610215811719_j_auto-2023-0173_ref_016","doi-asserted-by":"crossref","unstructured":"M. Brill, W. Damm, J. Klose, B. Westphal, and H. Wittke, \u201cLive sequence charts,\u201d in Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, vol. 3147, H. Ehrig, Ed., Berlin, Heidelberg, Springer, 2004, pp. 374\u2013399.","DOI":"10.1007\/978-3-540-27863-4_21"},{"key":"2024060610215811719_j_auto-2023-0173_ref_017","doi-asserted-by":"crossref","unstructured":"V. N. Dubinin and V. Vyatkin, \u201cOn definition of a formal model for IEC 61499 function blocks,\u201d EURASIP J. Embed. Syst., vol. 2008, no. 1, pp. 1\u201310, 2008. https:\/\/doi.org\/10.1155\/2008\/426713.","DOI":"10.1155\/2008\/426713"},{"key":"2024060610215811719_j_auto-2023-0173_ref_018","doi-asserted-by":"crossref","unstructured":"L. Sonnleithner, B. Wiesmayr, V. Ashiwal, S. Sharma, A. Zoitl, and J. Walter, \u201cArchitectural concepts for IEC 61499-based machine controls: beyond normal operation handling,\u201d in 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, pp.\u00a01\u20138.","DOI":"10.1109\/ETFA52439.2022.9921610"},{"key":"2024060610215811719_j_auto-2023-0173_ref_019","doi-asserted-by":"crossref","unstructured":"B. Wiesmayr, A. Zoitl, and R. Rabiser, \u201cAssessing the usefulness of a visual programming ide for large-scale automation software,\u201d Software Syst. Model, vol. 22, no. 5, pp. 1619\u20131643, 2023. https:\/\/doi.org\/10.1007\/s10270-023-01084-7.","DOI":"10.1007\/s10270-023-01084-7"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2023-0173\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2023-0173\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T10:28:58Z","timestamp":1717669738000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2023-0173\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,29]]},"references-count":19,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2024,2,29]]},"published-print":{"date-parts":[[2024,3,26]]}},"alternative-id":["10.1515\/auto-2023-0173"],"URL":"https:\/\/doi.org\/10.1515\/auto-2023-0173","relation":{},"ISSN":["0178-2312","2196-677X"],"issn-type":[{"type":"print","value":"0178-2312"},{"type":"electronic","value":"2196-677X"}],"subject":[],"published":{"date-parts":[[2024,2,29]]}}}