{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:20:38Z","timestamp":1725600038234},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427063"},{"type":"electronic","value":"9783642564505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-642-56450-5_9","type":"book-chapter","created":{"date-parts":[[2011,8,8]],"date-time":"2011-08-08T04:19:23Z","timestamp":1312777163000},"page":"77-86","source":"Crossref","is-referenced-by-count":0,"title":["Zur Entwicklung zertifizierbarer fehlertoleranter Realzeit-Software mit Funktionsblock-Diagrammen f\u00fcr die Automatisierung"],"prefix":"10.1007","author":[{"given":"G.","family":"Thiele","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Neimeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Renner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Wendland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Schulz-Ekloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Programmable Controllers - Part 3: Programming Languages","volume-title":"International Standard IEC 61131\u20133","author":"IEC","year":"1999","unstructured":"IEC (1999). International Standard IEC 61131\u20133. Programmable Controllers - Part 3: Programming Languages. 2nd ed., IEC, Geneva.","edition":"2"},{"key":"9_CR2","volume-title":"Proc. 21. Kolloquium der Automatisierungstechnik","author":"R Neimeier","year":"2001","unstructured":"R. Neimeier, Y. Elobaid, A. Partschefeid, G. Thiele, G. Schulz-Ekloff (2001). Zertifizierbare Fehlertoleranz-gerichtete Realzeit-Software zur verl\u00e4\u00dflichen Fuzzy-Regelung eines CSTR-Prozesses. A. Gr\u00e4ser, B. Lohmann (Hrsg.): Proc. 21. Kolloquium der Automatisierungstechnik, Salzhausen 2000 (im Druck)."},{"issue":"7","key":"9_CR3","first-page":"35","volume":"41","author":"EL Ding","year":"1999","unstructured":"E. L. Ding (1999). Modellgest\u00fctzte Sensor\u00fcberwachung eines ESP-Systems. Atp 41, H. 7, pp.35\u201342.","journal-title":"Atp"},{"key":"9_CR4","first-page":"59","volume-title":"Proc. PEARL 98,Echtzeitsysteme im Netz","author":"R Neimeier","year":"1998","unstructured":"R. Neimeier, G. Thiele, G. Schulz-Ekloff, T. Vielhaben, B. H\u00f6pfner (1998). Objekt-basierte Simulation und Implementation der Regelung eines chemischen Prozesses mittels SPS nach IEC 1131. In P. Holleczek (Hrsg.): Proc. PEARL 98, Echtzeitsysteme im Netz. Springer-Verlag, pp. 59\u201369."},{"key":"9_CR5","volume-title":"Encyclopedia of Life Support Systems","author":"G Thiele","year":"2001","unstructured":"G. Thiele, L. Renner, R. Neimeier (2001). Programmable Logic Controllers. In H. Unbehauen (Theme Ed.): Encyclopedia of Life Support Systems (EOLSS). UNESCO (wird ver\u00f6ffentlicht)."},{"key":"9_CR6","volume-title":"Proc. 4. Int. Symp. f\u00fcr sicherheitsgerichtete Anwendungen","author":"WA Halang","year":"2000","unstructured":"W. A. Halang (2000). Programmable Control on the Safety Integrity Levels 3 and 4. In T\u00dcV Nord, EWICS TC 7 und T\u00dcV Rheinland (Hrsg.): Proc. 4. Int. Symp. f\u00fcr sicherheitsgerichtete Anwendungen, K\u00f6ln, 3.-4. Mai 2000."},{"key":"9_CR7","series-title":"Automatisierungstechnische Anwendungen","volume-title":"SPS-Programmierung mit Funktionsbausteinsprache","author":"S Zacher","year":"2000","unstructured":"S. Zacher (2000). SPS-Programmierung mit Funktionsbausteinsprache. Automatisierungstechnische Anwendungen. VDE-Verlag, Berlin."},{"key":"9_CR8","volume-title":"IEC61508\u20133. Functional safety of electrical\/electronic\/programmable electronic safety-related systems - Part 3: Software requirements","author":"IEC","year":"1998","unstructured":"IEC (1998). IEC 61508\u20133. Functional safety of electrical\/electronic\/programmable electronic safety-related systems - Part 3: Software requirements. IEC, Geneva."},{"key":"9_CR9","series-title":"Allgemeine Grundbegriffe","volume-title":"DIN 19226\u20131: Leittechnik, Regelungstechnik und Steuerungstechnik","author":"DIN","year":"1994","unstructured":"DIN (1994). DIN 19226\u20131: Leittechnik, Regelungstechnik und Steuerungstechnik, Allgemeine Grundbegriffe. Beuth-Verlag, Berlin."},{"key":"9_CR10","series-title":"Paper No. Q-9e-o1-2","first-page":"515","volume-title":"Safety Applications of Programmable Electronic Systems in the Process Industry","author":"S Bologna","year":"1999","unstructured":"S. Bologna (1999). Safety Applications of Programmable Electronic Systems in the Process Industry. Prepr. of 14th IFAC World Congress, Beijing, P. R. China, Paper No. Q-9e-o1-2, pp. 515\u2013518."},{"key":"9_CR11","series-title":"Int. Symp. of System Science","volume-title":"Software Fault Tolerance","author":"LL Pullum","year":"1997","unstructured":"L. L. Pullum (1997). Software Fault Tolerance. Int. Symp. of System Science, Tutorial Notes, Albuquerque, NM, USA, 1997."},{"key":"9_CR12","first-page":"40","volume-title":"Proc. SAFEPROCESS 2000","author":"M Blanke","year":"2000","unstructured":"M. Blanke, C. W. Frei, F. Kraus, R. J. Patton, M. Staroswiecki (2000). What is Fault-Tolerant Control? In A. M. Edelmayer, C. Banyasz (Eds.): Proc. SAFEPROCESS 2000, Budapest, pp. 40\u201351."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-79789-7_1","volume-title":"Predictably Dependable Computing Systems","author":"J-C Laprie","year":"1995","unstructured":"J.-C. Laprie (1995). Dependability - Its Attributes, Impairments and Means. In B. Randell, J.-C. Laprie, H. Kopetz, B. Littlewood (Eds.): Predictably Dependable Computing Systems. Springer-Verlag, pp. 3\u201324."},{"issue":"2","key":"9_CR14","first-page":"52","volume":"49","author":"U Enste","year":"2001","unstructured":"U. Enste, U. Epple (2001). Technical Application of Hybrid Modelling Methods to specify Function Block Systems, at 49, H. 2, pp. 52\u201359.","journal-title":"Technical Application of Hybrid Modelling Methods to specify Function Block Systems"},{"key":"9_CR15","volume-title":"Selbstdiagnose von Proze\u00df-Sensorsystemen","author":"K Kolahi","year":"1999","unstructured":"K. Kolahi (1999). Selbstdiagnose von Proze\u00df-Sensorsystemen. Vortrag DFMRS Jahrestagung, Bremen, 1999."},{"issue":"11","key":"9_CR16","first-page":"306","volume":"2","author":"Smart Software Solutions GmbH","year":"1999","unstructured":"Smart Software Solutions GmbH (1999). Handbuch zur SPS-Programmentwicklung mit CoDeSys 2.1. CoDeSys for Automation Alliance, CD-Vers.2.11 (2001), 306 pp.","journal-title":"CD-Vers"}],"container-title":["Informatik aktuell","Echtzeitkommunikation und Ethernet\/Internet PEARL 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-56450-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T10:13:24Z","timestamp":1620296004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-56450-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427063","9783642564505"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-56450-5_9","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2001]]}}}