{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:22Z","timestamp":1725565882380},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_17","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"301-321","source":"Crossref","is-referenced-by-count":6,"title":["Conceptual Design of an Engineering Model for Product and Plant Automation"],"prefix":"10.1007","author":[{"given":"K.","family":"Fischer","sequence":"first","affiliation":[]},{"given":"P.","family":"G\u00f6hner","sequence":"additional","affiliation":[]},{"given":"F.","family":"Gutbrodt","sequence":"additional","affiliation":[]},{"given":"U.","family":"Katzke","sequence":"additional","affiliation":[]},{"given":"B.","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Prozessautomatisierung 1","author":"R. Lauber","year":"1999","unstructured":"Lauber, R., G\u00f6hner, P.: Prozessautomatisierung 1. Springer, Berlin (1999)"},{"key":"17_CR2","volume-title":"Software Engineering for Real-Time Systems","author":"J. Cooling","year":"2003","unstructured":"Cooling, J.: Software Engineering for Real-Time Systems. Addison Wesley, Harlow (2003)"},{"key":"17_CR3","unstructured":"Bonfatti, F., Monari, P.D., Sampietri, U.: IEC 1131-3 Programming Methodology. CJ International, Seyssins (1997)"},{"key":"17_CR4","unstructured":"Heck, B.S., Wills, L.M., Vachtsevanos, G.J.: Software Technology for Implementing Reusable Distributed Control Systems. IEEE Control Magazine (February 2003)"},{"key":"17_CR5","unstructured":"Renesas Technology Corporation: M16C\/6N Datasheet (2003)"},{"key":"17_CR6","volume-title":"The C Programming Language","author":"B. Kernighan","year":"1988","unstructured":"Kernighan, B., Ritchie, D.: The C Programming Language. Prentice Hall PTR, Upper Saddle River (1988)"},{"key":"17_CR7","unstructured":"Brinksma, E., et al.: Component-based design and integration platforms: a roadmap, Technical Report IST-2001-34820, The ARTIST consortium (April 2003)"},{"key":"17_CR8","first-page":"179","volume-title":"Symposiumon Modelle Werkzeuge und Infrastrukturen zur Unterst\u00fctzung von Entwicklungsprozessen","author":"U. Nickel","year":"2003","unstructured":"Nickel, U., Sch\u00e4fer, W., Z\u00fcndorf, A.: Integrative Specification of Distributed Production Control Systems for Flexible Automated Manufacturing. In: Nagl, M., Westfechtel, B. (eds.) Symposiumon Modelle Werkzeuge und Infrastrukturen zur Unterst\u00fctzung von Entwicklungsprozessen, p. 179. Wiley-VCH Verlag, Weinheim (2003)"},{"key":"17_CR9","unstructured":"Huber, F., Sch\u00e4tz, B.: Integrated Development of Embedded Systems with AutoFocus, Technical Report TUM-I0107, TU M\u00fcnchen, Institut f\u00fcr Informatik, Munich (December 2001)"},{"key":"17_CR10","volume-title":"atp international","author":"U. Katzke","year":"2004","unstructured":"Katzke, U., Vogel-Heuser, B., Fischer, K.: Analysis and State of the Art of Modules in Industrial Automation. In: atp international, vol.\u00a01(1), Oldenbourg Verlag, Munich (2004)"},{"key":"17_CR11","first-page":"114","volume":"8","author":"G.E. Moore","year":"1965","unstructured":"Moore, G.E.: Cramming more components onto integrated circuits. Electronics Magazine\u00a08, 114\u2013117 (1965)","journal-title":"Electronics Magazine"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/2.738303","volume":"32","author":"S. Hamilton","year":"1999","unstructured":"Hamilton, S.: Semiconductor Research Corporation: Taking Moore\u2019s Law Into the Next Century. IEEE Computer\u00a032, 43\u201348 (1999)","journal-title":"IEEE Computer"},{"key":"17_CR13","first-page":"39","volume-title":"Automatisierungstechnische Praxis (atp)","author":"F. Iwanitz","year":"2003","unstructured":"Iwanitz, F.: Horizontale und vertikale Integration durch den Verbund von PROFInet und OPC. In: Automatisierungstechnische Praxis (atp), vol.\u00a045(1), pp. 39\u201369. Oldenbourg Verlag, Munich (2003)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-49255-0_24","volume-title":"Object-Oriented Technology. ECOOP \u201998 Workshop Reader","author":"G. Kniesel","year":"1998","unstructured":"Kniesel, G.: Type-safe delegation for dynamic component adaptation. In: Demeyer, S., Bosch, J. (eds.) ECOOP 1998 Workshops. LNCS, vol.\u00a01543, pp. 136\u2013137. Springer, Heidelberg (1998)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Lewis, R.W.: Programming industrial control systems using IEC 61131-3. IEE, Herts (1998)","DOI":"10.1049\/PBCE050E"},{"key":"17_CR16","unstructured":"http:\/\/www.iec.ch (September 2003)"},{"key":"17_CR17","unstructured":"St\u00fctzle, R.: Wiederverwendung ohne Mythos: Empirisch fundierte Leitlinien f\u00fcr die Entwicklung wiederverwendbarer Software, Munich (2002)"},{"key":"17_CR18","first-page":"63","volume-title":"Verteilte Echtzeitsysteme PEARL 2003","author":"U. Katzke","year":"2003","unstructured":"Katzke, U., Fischer, K., Vogel-Heuser, B.: Entwicklung und Evaluation eines Modells f\u00fcr modulare Automatisierung im Anlagenbau. In: Holleczek, P., Vogel-Heuser, B. (eds.) Verteilte Echtzeitsysteme PEARL 2003, pp. 63\u201369. Springer, Heidelberg (2003)"},{"key":"17_CR19","unstructured":"http:\/\/www.plcopen.org (June 2004)"},{"key":"17_CR20","unstructured":"G\u00f6hner, P.: Komponentenbasierte Entwicklung von Automatisierungssystemen. In: GMAKongress 1998, Ludwigsburg (June 1998), http:\/\/opus.uni-stuttgart.de\/opus\/volltexte\/1999\/451\/ (March 2004)"},{"key":"17_CR21","unstructured":"Mahoney, M.: The Roots of Software Engineering CWI Quarterly, vol.\u00a03(4) (1990), www.princeton.edu\/~hos\/mike\/articles\/sweroots.pdf (March 2004)"},{"key":"17_CR22","unstructured":"Mehrgardt, S.: Moore\u2019s Zukunftsformel: Wo liegen die Grenzen der Mikroelektronik C, changeX Partnerforum (11.09.2002), http:\/\/www.changex.de\/pdf\/d_a00767.pdf (March 2004)"},{"key":"17_CR23","unstructured":"Friedrich, D., Vogel-Heuser, B., Bristol, E.: Evaluation of Modeling Notations for Basic Software Engineering in Process Control. In: 29 th Annual Conference of the IEEE Industrial Electronics Society (IECON 2003), Roanoke, Virginia, USA (November 2003)"},{"issue":"1","key":"17_CR24","first-page":"38","volume":"45","author":"A. Braatz","year":"2003","unstructured":"Braatz, A.: Entwicklung eines UML-basierten Funktionsblockmodells f\u00fcr den objektorientierten Steuerungsentwurf. Automatisierungstechnische Praxis\u00a045(1), 38\u201344 (2003)","journal-title":"Automatisierungstechnische Praxis"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Witsch, D., Vogel-Heuser, B.: Automatische Codegenerierung aus der UML f\u00fcr die IEC 61131-3. Accepted paper in Eingebettete Systeme, Workshop of the GI-Fachgruppe Echtzeitprogrammierung (2004)","DOI":"10.1007\/978-3-642-18594-6_2"},{"key":"17_CR26","first-page":"214","volume-title":"at- Automatisierungstechnik","author":"J. Bartels","year":"2001","unstructured":"Bartels, J., Vogel, B.: Systementwicklung f\u00fcr die Automatisierung im Anlagenbau. In: at- Automatisierungstechnik, vol.\u00a049(5), pp. 214\u2013224. Oldenbourg Verlag, Munich (2001)"},{"key":"17_CR27","volume-title":"Agile Softwareentwicklung f\u00fcr embedded Real-Time Systems mit der UML","author":"P. Hruschka","year":"2002","unstructured":"Hruschka, P., Rupp, C.: Agile Softwareentwicklung f\u00fcr embedded Real-Time Systems mit der UML. Hanser Verlag, Munich (2002)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems (1998), www.rational.com \\whitepapers","DOI":"10.1007\/BFb0057795"},{"key":"17_CR29","volume-title":"Proceedings CCA 2003","author":"M. Bonfe","year":"2003","unstructured":"Bonfe, M., Fantuzzi, C.: Design and Verification of Industrial Logic Controllers with UML and Statecharts. In: Proceedings CCA 2003, IEEE, Istanbul (2003)"},{"key":"17_CR30","unstructured":"http:\/\/www.3s-software.com (March 2004)"},{"key":"17_CR31","unstructured":"http:\/\/www.artisansw.com (March 2004)"},{"key":"17_CR32","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1997)"},{"key":"17_CR33","unstructured":"Embedded C++ Technical Committee: Rationale for the Embedded C++ Specification (1998), http:\/\/www.Caravan.net\/ec2plus\/rationale.html"},{"key":"17_CR34","volume-title":"UML Bible","author":"T. Pender","year":"2003","unstructured":"Pender, T.: UML Bible. Wiley Publishing, Indianapolis (2003)"},{"key":"17_CR35","volume-title":"Teil 1, Automatisierungstechnische Praxis (atp)","author":"S. Eberle","year":"2004","unstructured":"Eberle, S., G\u00f6hner, P.: Softwareentwicklung f\u00fcr eingebettete Systeme mit Strukturierten Komponenten. In: Teil 1, Automatisierungstechnische Praxis (atp), vol.\u00a046(3), Oldenbourg Verlag, Munich (2004)"},{"key":"17_CR36","volume-title":"Teil 2, Automatisierungstechnische Praxis (atp)","author":"S. Eberle","year":"2004","unstructured":"Eberle, S., G\u00f6hner, P.: Softwareentwicklung f\u00fcr eingebettete Systeme mit Strukturierten Komponenten. In: Teil 2, Automatisierungstechnische Praxis (atp), vol.\u00a046(4), Oldenbourg Verlag, Munich (2004)"},{"key":"17_CR37","first-page":"63","volume-title":"Automatisierungstechnische Praxis (atp)","author":"K. Fischer","year":"2002","unstructured":"Fischer, K., Vogel-Heuser, B.: UML in der automatisierungstechnischen Anwendung \u2013 St\u00e4rken und Schw\u00e4chen. In: Automatisierungstechnische Praxis (atp), vol.\u00a044(10), pp. 63\u201369. Oldenbourg Verlag, Munich (2002)"},{"key":"17_CR38","volume-title":"Zwischen Theorie und Praxis. (atp)","author":"A. Willert","year":"2003","unstructured":"Willert, A.: Zwischen Theorie und Praxis (atp), Oldenbourg, vol.\u00a045(9). Industrieverlag, Munich (2003)"},{"key":"17_CR39","unstructured":"Fischer, K., Hordys, G.: Evaluation of an UML Software Engineering Tool by Means of a Distributed Real Time Application in Plant Industry. In: Proceedings of the Modellierung 2004, Marburg, 24.-26.03.2004"},{"key":"17_CR40","first-page":"38","volume-title":"Automatisierungstechnische Praxis (atp)","author":"A. Braatz","year":"2003","unstructured":"Braatz, A.: Entwicklung eines UML-basierten Funktionsblockmodells f\u00fcr den objektorientierten Steuerungsentwurf. In: Automatisierungstechnische Praxis (atp), vol.\u00a045(6), pp. 38\u201344. Oldenbourg Verlag, Munich (2003)"},{"issue":"1","key":"17_CR41","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From Control Models to Real-Time Code Using Giotto. IEEE Control System Magazine\u00a023(1), 50\u201364 (2003)","journal-title":"IEEE Control System Magazine"},{"key":"17_CR42","unstructured":"http:\/\/wwwcs.upb.de\/fachbereich\/AG\/schaefer\/ag_dt\/ISILEIT\/"},{"key":"17_CR43","unstructured":"Berkenk\u00f6tter, B., Bisanz, S., Hannemann, U., Peleska, J.: HybridUML Profile for UML 2.0. In: SVERTS, workshop hold in conjunction with UML 2003, San Francisco (October 2003)"},{"key":"17_CR44","unstructured":"Licht, T.: Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von Automatisierungssystemen. Doctoral Thesis, Faculty of computer science and automation at the Technical University of Ilmenau (April 2004)"},{"key":"17_CR45","unstructured":"Overview of the ptolemy project. Technical Memorandum UCB\/ERL M03\/25, http:\/\/ptolemy.eecs.berkeley.edu"},{"key":"17_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09530-0","volume-title":"Prozessautomatisierung","author":"R. Lauber","year":"1989","unstructured":"Lauber, R.: Prozessautomatisierung, vol.\u00a01(2). Springer, Heidelberg (1989)"},{"key":"17_CR47","unstructured":"http:\/\/www.ias.uni-stuttgart.de\/projekte\/saferail\/animation\/ref.html"},{"key":"17_CR48","unstructured":"http:\/\/www.osek-vdx.org\/"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:24:36Z","timestamp":1605759876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}