{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:08:40Z","timestamp":1725750520267},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413087"},{"type":"electronic","value":"9783642413094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41309-4_12","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T15:03:38Z","timestamp":1380639818000},"page":"107-116","source":"Crossref","is-referenced-by-count":0,"title":["Verifikation und Validierung sicherheitsgerichteter SPS-Programme"],"prefix":"10.1007","author":[{"given":"Doaa","family":"Soliman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"PLCopen (2006), Safety Software Technical Specification Part 1: Concepts and Function Blocks. TC5 Safety, Version 1.0, PLCopen, Germany."},{"key":"12_CR2","unstructured":"PLCopen (2008), Safety Software Technical Specification Part 2: User Examples. TC5 Safety, Version1.0, PLCopen, Germany."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen, K., Pettersson, P., and Yi, W. (1997). UPPAAL in a Nutshell. International Journal of Software Tools for Technology Transfer, Volume 1, pp.\u00a0134\u2013153.","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Pavlovic, O., and Ehrich, H. (2010). Model Checking PLC Software Written in Function Block Diagram. International Conference on Software Testing, Verification and Validation, Paris, France, pp.\u00a0439\u2013448.","DOI":"10.1109\/ICST.2010.10"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Yoo, J., Cha, S., and Jee, E. (2008), A Verification Framework for FBD Based Software in Nuclear Power Plants. 15th Asia-Pacific Software Engineering Conference, pp.\u00a0385\u2013392.","DOI":"10.1109\/APSEC.2008.26"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"N\u00e9meth, E., and Bartha, T. (2009). Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications. Formal Methods for Industrial Critical Systems, LNCS 5596, pp.\u00a0199\u2013214.","DOI":"10.1007\/978-3-642-03240-0_17"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Silva, L., Barbosa, L., Gorgonio, K., Perkusich, A. and Lima, A. (2008). On the Automatic Generation of Timed Automata Models from Function Block Diagrams for Safety Instrumented Systems. 34th Annual Conf. of IEEE Industrial Electronics Society IECON 2008, pp.\u00a0291\u201329.","DOI":"10.1109\/IECON.2008.4757968"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Wardana, A., Folmer, J., Vogel-Heuser, B. (2009). Automatic Program Verification of Continuous Function Chart based on Model Checking. 35th Ann. Conference of IEEE Industrial Electronics Society IECON 09, pp.\u00a02422\u20132427.","DOI":"10.1109\/IECON.2009.5415231"},{"key":"12_CR9","unstructured":"PLCopen (2009). XML Formats for IEC 61131\u20133. TC6 XML Schemes, Version 2.01, PLCopen, Germany."},{"key":"12_CR10","unstructured":"Biallas, S.; Frey, G.; Kowalewski, S.; Schlich, B.; Soliman, D.: Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene. Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), Magdeburg, Germany, pp.\u00a047\u201354, May 2010."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal. Proceedings of 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS\u201909), Bari, Italy, pp.\u00a039\u201344, Bari, Italy, Jun. 2009.","DOI":"10.3182\/20090610-3-IT-4004.00011"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.arcontrol.2012.09.015","volume":"36","author":"D. Soliman","year":"2012","unstructured":"Soliman, D.; Thramboulidis, K.; Frey, G.: Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications. Annual Reviews in Control 36 (2012), pp.\u00a0338\u2013345.","journal-title":"Annual Reviews in Control"},{"key":"12_CR13","unstructured":"Soliman, D.; Thramboulidis, K.; Frey, G.: Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models. Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2012), Bucharest, Romania, Vol.\u00a0W, pp.\u00a0625\u2013631, May 2012."},{"issue":"9","key":"12_CR14","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1016\/j.conengprac.2011.01.001","volume":"19","author":"D. Soliman","year":"2011","unstructured":"Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks. Control Engineering Practice, Volume 19, Issue 9. September 2011, Pages 929\u2013946. doi:10.1016\/j.conengprac.2011.01.001","journal-title":"Control Engineering Practice"},{"key":"12_CR15","unstructured":"Soliman, D.: Verification and Validation of Logic Control Safety Applications. Dissertation, Universit\u00e4t des Saarlandes, Germany, 06. December 2012. (Published by Shaker-Verlag, Aachen, M\u00e4rz 2013, ISBN: 978\u20133-8440\u20131757\u20131)"}],"container-title":["Informatik aktuell","Funktionale Sicherheit"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41309-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T18:11:32Z","timestamp":1558116692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41309-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413087","9783642413094"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41309-4_12","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2013]]}}}