{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T10:41:29Z","timestamp":1680259289667},"reference-count":23,"publisher":"Walter de Gruyter GmbH","issue":"5","license":[{"start":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T00:00:00Z","timestamp":1588204800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,5,27]]},"abstract":"<jats:title>Zusammenfassung<\/jats:title>\n               <jats:p>Die effiziente und vollst\u00e4ndige Qualit\u00e4tssicherung der Sicherheitstechnik von automatisierten Sondermaschinen stellt f\u00fcr deren Hersteller eine gro\u00dfe Herausforderung dar. Die Erstellung konsistenter Testprozeduren erfolgt manuell oder erfordert hohen Modellierungsaufwand. Folglich untersucht dieser Beitrag ein Konzept, um notwendige Tests vollautomatisch aus ECAD-Dokumenten abzuleiten. Hierzu werden basierend auf industriellen Checklisten Testmodelle abgeleitet sowie ein ECAD-Modell eingef\u00fchrt. Anhand eines industriellen Anwendungsfalls wird die Funktionsf\u00e4higkeit des Ansatzes demonstriert sowie das Potential einer solchen Methode diskutiert.<\/jats:p>","DOI":"10.1515\/auto-2020-0028","type":"journal-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T17:09:26Z","timestamp":1590512966000},"page":"375-386","source":"Crossref","is-referenced-by-count":2,"title":["Automatisierte Generierung von Sicherheitstests f\u00fcr variantenreiche Produktionssysteme mittels ECAD"],"prefix":"10.1515","volume":"68","author":[{"given":"Simon","family":"Ziegltrum","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen , Lehrstuhl f\u00fcr Automatisierung und Produktionssysteme , Boltzmannstr. 15 , Garching bei M\u00fcnchen , Deutschland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen , Lehrstuhl f\u00fcr Automatisierung und Produktionssysteme , Boltzmannstr. 15 , Garching bei M\u00fcnchen , Deutschland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2020,4,30]]},"reference":[{"key":"2023033109505862399_j_auto-2020-0028_ref_001_w2aab3b8d740b1b7b1ab2ab1Aa","doi-asserted-by":"crossref","unstructured":"M. Utting, A. Pretschner and B. Legeard, \u201cA taxonomy of model-based testing approaches,\u201d Softw. Testing, Verif. Reliab., vol.\u200922, no.\u20095, pp.\u2009297\u2013312, Aug. 2012, doi: 10.1002\/stvr.456.","DOI":"10.1002\/stvr.456"},{"key":"2023033109505862399_j_auto-2020-0028_ref_002_w2aab3b8d740b1b7b1ab2ab2Aa","doi-asserted-by":"crossref","unstructured":"A.\u2009C. Dias Neto, R. Subramanyan, M. Vieira and G.\u2009H. Travassos, \u201cA survey on model-based testing approaches,\u201d pp.\u200931\u201336, 2008, doi: 10.1145\/1353673.1353681.","DOI":"10.1145\/1353673.1353681"},{"key":"2023033109505862399_j_auto-2020-0028_ref_003_w2aab3b8d740b1b7b1ab2ab3Aa","doi-asserted-by":"crossref","unstructured":"J. Zander, I. Schieferdecker and P.\u2009J. Mosterman, Model-Based Testing for Embedded Systems. 2017.","DOI":"10.1201\/b11321"},{"key":"2023033109505862399_j_auto-2020-0028_ref_004_w2aab3b8d740b1b7b1ab2ab4Aa","doi-asserted-by":"crossref","unstructured":"M. Reider, S. Magnus and J. Krause, \u201cFeature-based testing by using model synthesis, test generation and parameterizable test prioritization,\u201d Proc. \u2013 2018 IEEE 11th Int. Conf. Softw. Testing, Verif. Valid. Work. ICSTW 2018, pp.\u2009130\u2013137, 2018, doi: 10.1109\/ICSTW.2018.00041.","DOI":"10.1109\/ICSTW.2018.00041"},{"key":"2023033109505862399_j_auto-2020-0028_ref_005_w2aab3b8d740b1b7b1ab2ab5Aa","doi-asserted-by":"crossref","unstructured":"J. Hartmann, M. Vieira, H. Foster and A. Ruder, \u201cA UML-based approach to system testing,\u201d Innov. Syst. Softw. Eng., vol.\u20091, no.\u20091, pp.\u200912\u201324, 2005, doi: 10.1007\/s11334-005-0006-0.","DOI":"10.1007\/s11334-005-0006-0"},{"key":"2023033109505862399_j_auto-2020-0028_ref_006_w2aab3b8d740b1b7b1ab2ab6Aa","doi-asserted-by":"crossref","unstructured":"R. Hametner, D. Winkler, T. \u00d6streicher, S. Biffl and A. Zoitl, \u201cThe adaptation of test-driven software processes to industrial automation engineering,\u201d IEEE Int. Conf. Ind. Informatics, pp.\u2009921\u2013927, 2010, doi: 10.1109\/INDIN.2010.5549620.","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"2023033109505862399_j_auto-2020-0028_ref_007_w2aab3b8d740b1b7b1ab2ab7Aa","doi-asserted-by":"crossref","unstructured":"R. Hametner, B. Kormann, B. Vogel-Heuser, D. Winkler and A. Zoitl, \u201cTest case generation approach for industrial automation systems,\u201d ICARA 2011 \u2013 Proc. 5th Int. Conf. Autom. Robot. Appl., pp.\u200957\u201362, 2011, doi: 10.1109\/ICARA.2011.6144856.","DOI":"10.1109\/ICARA.2011.6144856"},{"key":"2023033109505862399_j_auto-2020-0028_ref_008_w2aab3b8d740b1b7b1ab2ab8Aa","unstructured":"S. R\u00f6sch, Model-based testing of fault scenarios in production automation. sierke VERLAG \u2013 Internationaler Wissenschaftsverlag, 2016."},{"key":"2023033109505862399_j_auto-2020-0028_ref_009_w2aab3b8d740b1b7b1ab2ab9Aa","unstructured":"J. Krause and C. Diedrich, \u201cModellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten,\u201d GI Jahrestagung, pp.\u2009333\u2013338, 2010."},{"key":"2023033109505862399_j_auto-2020-0028_ref_010_w2aab3b8d740b1b7b1ab2ac10Aa","doi-asserted-by":"crossref","unstructured":"R. Sinha, C. Pang, G.\u2009S. Martinez, J. Kuronen and V. Vyatkin, \u201cRequirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems,\u201d Proc. IEEE Int. Conf. Eng. Complex Comput. Syst. ICECCS, vol.\u20092016-Janua, pp.\u2009198\u2013201, 2016, doi: 10.1109\/ICECCS.2015.32.","DOI":"10.1109\/ICECCS.2015.32"},{"key":"2023033109505862399_j_auto-2020-0028_ref_011_w2aab3b8d740b1b7b1ab2ac11Aa","doi-asserted-by":"crossref","unstructured":"J. Provost, J.\u2009M. Roussel and J.\u2009M. Faure, \u201cTesting programmable logic controllers from finite state machines specification,\u201d 2011 3rd Int. Work. Dependable Control Discret. Syst. DCDS\u201911 \u2013 Conf. Proc., pp.\u20091\u20136, 2011, doi: 10.1109\/DCDS.2011.5970309.","DOI":"10.1109\/DCDS.2011.5970309"},{"key":"2023033109505862399_j_auto-2020-0028_ref_012_w2aab3b8d740b1b7b1ab2ac12Aa","unstructured":"K.\u2009E.\u2009T. Kernschmidt, Interdisciplinary structural modeling of mechatronic production systems using SysML4Mechatronics. 2019."},{"key":"2023033109505862399_j_auto-2020-0028_ref_013_w2aab3b8d740b1b7b1ab2ac13Aa","doi-asserted-by":"crossref","unstructured":"S. Ulewicz and B. Vogel-Heuser, \u201cGuided semi-automatic system testing in factory automation,\u201d IEEE Int. Conf. Ind. Informatics, pp.\u2009142\u2013147, 2017, doi: 10.1109\/INDIN.2016.7819148.","DOI":"10.1109\/INDIN.2016.7819148"},{"key":"2023033109505862399_j_auto-2020-0028_ref_014_w2aab3b8d740b1b7b1ab2ac14Aa","doi-asserted-by":"crossref","unstructured":"A. Weigl et al., \u201cGeneralized test tables: A powerful and intuitive specification language for reactive systems,\u201d Proc. \u2013 2017 IEEE 15th Int. Conf. Ind. Informatics, INDIN 2017, pp.\u2009875\u2013882, 2017, doi: 10.1109\/INDIN.2017.8104887.","DOI":"10.1109\/INDIN.2017.8104887"},{"key":"2023033109505862399_j_auto-2020-0028_ref_015_w2aab3b8d740b1b7b1ab2ac15Aa","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser and F. Ocker, \u201cMaintainability and evolvability of control software in machine and plant manufacturing \u2014 An industrial survey,\u201d Control Eng. Pract., vol.\u200980, no.\u2009December 2017, pp.\u2009157\u2013173, 2018, doi: 10.1016\/j.conengprac.2018.08.007.","DOI":"10.1016\/j.conengprac.2018.08.007"},{"key":"2023033109505862399_j_auto-2020-0028_ref_016_w2aab3b8d740b1b7b1ab2ac16Aa","unstructured":"B. Motamedian, \u201cMBSE Applicability Analysis,\u201d Int. J. Sci. Eng. Res., vol.\u20094, no.\u20092, pp.\u20091\u20137, 2013."},{"key":"2023033109505862399_j_auto-2020-0028_ref_017_w2aab3b8d740b1b7b1ab2ac17Aa","doi-asserted-by":"crossref","unstructured":"A. Arrieta, G. Sagardui, L. Etxeberria and J. Zander, \u201cAutomatic generation of test system instances for configurable cyber-physical systems,\u201d Softw. Qual. J., vol.\u200925, no.\u20093, pp.\u20091041\u20131083, 2017, doi: 10.1007\/s11219-016-9341-7.","DOI":"10.1007\/s11219-016-9341-7"},{"key":"2023033109505862399_j_auto-2020-0028_ref_018_w2aab3b8d740b1b7b1ab2ac18Aa","doi-asserted-by":"crossref","unstructured":"E. Neumann, J. Fischer, F. Ocker, S. Diehm, M. Schwarz and B. Vogel-heuser, \u201cFormalization of Design Patterns and Their Automatic Identification in PLC Software for Architecture Assessment,\u201d accepted IFAC World Conference 2020, IFAC-PapersOnLine, vol.\u200953, no.\u20091, 2020.","DOI":"10.1016\/j.ifacol.2020.12.1881"},{"key":"2023033109505862399_j_auto-2020-0028_ref_019_w2aab3b8d740b1b7b1ab2ac19Aa","unstructured":"D. Sch\u00e4fer, Variantentechnologie unter besonderer Ber\u00fccksichtigung von Elektrotechnik-CAD. Shaker, 2003."},{"key":"2023033109505862399_j_auto-2020-0028_ref_020_w2aab3b8d740b1b7b1ab2ac20Aa","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser, J. Fischer, S. Feldmann, S. Ulewicz and S. R\u00f6sch, \u201cModularity and architecture of PLC-based software for automated production Systems: An analysis in industrial companies,\u201d J. Syst. Softw., vol.\u2009131, pp.\u200935\u201362, 2017, doi: 10.1016\/j.jss.2017.05.051.","DOI":"10.1016\/j.jss.2017.05.051"},{"key":"2023033109505862399_j_auto-2020-0028_ref_021_w2aab3b8d740b1b7b1ab2ac21Aa","unstructured":"A. Rink, Entwicklung einer Methode f\u00fcr die systemtechnische Auslegung verteilter und sicherheitskritischer F\u00fchrungsfunktionen f\u00fcr Fahrzeugantriebe. Bergische Universit\u00e4t Wuppertal, 2002."},{"key":"2023033109505862399_j_auto-2020-0028_ref_022_w2aab3b8d740b1b7b1ab2ac22Aa","doi-asserted-by":"crossref","unstructured":"S. R\u00f6sch, S. Ulewicz, J. Provost and B. Vogel-Heuser, \u201cReview of Model-Based Testing Approaches in Production Automation and Adjacent Domains-Current Challenges and Research Gaps,\u201d J. Softw. Eng. Appl., vol.\u200908, no.\u200909, pp.\u2009499\u2013519, 2015, doi: 10.4236\/jsea.2015.89048.","DOI":"10.4236\/jsea.2015.89048"},{"key":"2023033109505862399_j_auto-2020-0028_ref_023_w2aab3b8d740b1b7b1ab2ac23Aa","unstructured":"B. Vogel-Heuser, C. Legat, J. Folmer and S. Feldmann, \u201cResearching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit,\u201d Tech. Rep., no.\u2009 TUM-AIS-TR-01-14-02, 2014."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/auto\/68\/5\/article-p375.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0028\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0028\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T10:08:19Z","timestamp":1680257299000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0028\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,30]]},"references-count":23,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2020,4,30]]},"published-print":{"date-parts":[[2020,5,27]]}},"alternative-id":["10.1515\/auto-2020-0028"],"URL":"https:\/\/doi.org\/10.1515\/auto-2020-0028","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2020,4,30]]}}}