{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T04:09:23Z","timestamp":1770437363700,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642362484","type":"print"},{"value":"9783642362491","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36249-1_6","type":"book-chapter","created":{"date-parts":[[2013,1,14]],"date-time":"2013-01-14T19:59:05Z","timestamp":1358193545000},"page":"152-186","source":"Crossref","is-referenced-by-count":16,"title":["Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","first-page":"72","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"W. Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer, W., Wehrheim, H.: The challenges of building advanced mechatronic systems. In: FOSE 2007: 2007 Future of Software Engineering, pp. 72\u201384. IEEE Computer Society, Washington (2007)"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/274946.274958","volume":"41","author":"J. Sztipanovits","year":"1998","unstructured":"Sztipanovits, J., Karsai, G., Bapty, T.: Self-adaptive software for signal processing. Commun. ACM\u00a041(5), 66\u201373 (1998)","journal-title":"Commun. ACM"},{"key":"6_CR3","unstructured":"Giese, H., Sch\u00e4fer, W.: Model-driven development of safe self-optimizing mechatronic systems with mechatronic uml. Technical Report tr-ri-12-322, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany (2012), \n                    \n                      http:\/\/www.cs.uni-paderborn.de\/uploads\/tx_sibibtex\/GS12.pdf"},{"key":"6_CR4","unstructured":"Burmester, S., Tichy, M., Giese, H.: Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In: A\u00dfmann, U. (ed.) Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Link\u00f6ping, Sweden, pp. 155\u2013169 (June 2004)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-Driven Development of Reconfigurable M. In: A\u00dfmann, U., Aks\u0328it, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 47\u201361. Springer, Heidelberg (2005)","DOI":"10.1007\/11538097_4"},{"key":"6_CR6","unstructured":"Giese, H.: A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Deutschland (July 2003)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the 9th European Software Engineering Conference held Jointly with 11th ACM SIGSOFT international Symposium on Foundations of Software Engineering (ESEC\/FSE 2011), pp. 38\u201347. ACM Press (September 2003)","DOI":"10.1145\/940071.940078"},{"key":"6_CR8","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 222\u2013229. INSTICC Press (August 2004)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","first-page":"179","volume-title":"Fast Software Encryption","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Roy, B., Meier, W. (eds.) FSE 2004. LNCS, vol.\u00a03017, pp. 179\u2013188. Springer, Heidelberg (2004)"},{"key":"6_CR10","volume-title":"Informatics in Control, Automation and Robotics","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Informatics in Control, Automation and Robotics. Kluwer Academic Publishers, Dordrecht (2005)"},{"key":"6_CR11","first-page":"230","volume-title":"Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004)","author":"T. Hestermeyer","year":"2004","unstructured":"Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), pp. 230\u2013237. INSTICC Press, Setubal (2004)"},{"key":"6_CR12","first-page":"259","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10009-008-0067-0","volume":"10","author":"S. Burmester","year":"2008","unstructured":"Burmester, S., Giese, H., M\u00fcnch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems. International Journal on Software Tools for Technology Transfer (STTT)\u00a010(3), 207\u2013222 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"6_CR14","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite. In: Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML 2004, pp. 1\u201320 (October 2004)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In: Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA (May 2005)","DOI":"10.1145\/1062455.1062601"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11581741_4","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 25\u201340. Springer, Heidelberg (2005)"},{"key":"6_CR17","first-page":"66","volume-title":"Proc. of European Simulation and Modelling Conference (ESMc 2004)","author":"S. Burmester","year":"2004","unstructured":"Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Bobeanu, C. (ed.) Proc. of European Simulation and Modelling Conference (ESMc 2004), Paris, France, pp. 66\u201373. EOROSIS Publications, Paris (2004)"},{"issue":"9","key":"6_CR18","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1177\/0037549710366824","volume":"87","author":"H. Giese","year":"2011","unstructured":"Giese, H., Henkler, S., Hirsch, M.: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation\u00a087(9), 775\u2013808 (2011)","journal-title":"Simulation"},{"key":"6_CR19","unstructured":"Oberschelp, O., Gambuzza, A., Burmester, S., Giese, H.: Modular Generation and Simulation of Mechatronic Systems. In: Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI, Orlando, USA (July 2004)"},{"key":"6_CR20","unstructured":"Heinzemann, C., Pohlmann, U., Rieke, J., Sch\u00e4fer, W., Sudmann, O., Tichy, M.: Generating simulink and stateflow models from software specifications. In: Proceedings of the 12th International Design Conference, DESIGN 2012 (May 2012) (accepted)"},{"key":"6_CR21","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Germany (June 2003)"},{"key":"6_CR22","unstructured":"Burmester, S., Giese, H.: The Fujaba Real-Time Statechart PlugIn. In Giese, H., Z\u00fcndorf, A., eds.: Proc. of the first International Fujaba Days 2003, Kassel, Germany. Volume tr-ri-04-247 of Technical Report., pp. 1\u20138. University of Paderborn (October 2003)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology\u00a01(1) (1997)","DOI":"10.1007\/s100090050010"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What Good Are Digital Clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"6_CR25","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (September 2002)"},{"key":"6_CR26","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: The Next Generation. In: Proc. of the 16th IEEE Real-Time Symposium. IEEE Computer Press (December 1995)"},{"key":"6_CR27","series-title":"LNCIS","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45426-8_3","volume-title":"Modelling, Analysis, and Design of Hybrid Systems","author":"K. Bender","year":"2002","unstructured":"Bender, K., Broy, M., Peter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems. In: Modelling, Analysis, and Design of Hybrid Systems. LNCIS, vol.\u00a0279, pp. 37\u201352. Springer, Heidelberg (2002)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical Hybrid Modeling of Embedded Systems. In: First Workshop on Embedded Software (2001)","DOI":"10.1007\/3-540-45449-7_2"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-45187-7_12","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N.A. Lynch","year":"2003","unstructured":"Lynch, N.A.: Input\/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,.. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 191\u2013192. Springer, Heidelberg (2003)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11663430_8","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"H. Giese","year":"2006","unstructured":"Giese, H., Hirsch, M.: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 67\u201378. Springer, Heidelberg (2006)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11663430_8","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"H. Giese","year":"2006","unstructured":"Giese, H., Hirsch, M.: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 67\u201378. Springer, Heidelberg (2006)"},{"key":"6_CR33","unstructured":"Giese, H., Hirsch, M.: Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML. Technical Report tr-ri-03-266, University of Paderborn, Paderborn, Germany (December 2005)"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? Journal of Computer and System Sciences\u00a057, 94\u2013124 (1998); A preliminary version appeared in the Proceedings of the 27th Annual Symposium on Theory of Computing (STOC), pp. 373\u2013382. ACM Press (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR35","unstructured":"OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1 (June 2011)"},{"issue":"3","key":"6_CR36","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S. Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Softw. Syst. Model.\u00a010(3), 313\u2013336 (2011)","journal-title":"Softw. Syst. Model."},{"key":"6_CR37","unstructured":"Object Management Group: Systems Modeling Language (SysML) Specification (January 2005)"},{"issue":"3","key":"6_CR38","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R. Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The koala component model for consumer electronics software. Computer\u00a033(3), 78\u201385 (2000)","journal-title":"Computer"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-24769-2_21","volume-title":"Software Architecture","author":"S. Graf","year":"2004","unstructured":"Graf, S., Hooman, J.: Correct Development of Embedded Systems. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 241\u2013249. Springer, Heidelberg (2004)"},{"key":"6_CR40","series-title":"Lecture Notes in Computer Science","first-page":"242","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"T. Stauner","year":"2001","unstructured":"Stauner, T., Pretschner, A., P\u00e9ter, I.: Approaching a Discrete-Continuous UML: Tool Support and Formalization. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 242\u2013257. Springer, Heidelberg (2001)"},{"key":"6_CR41","unstructured":"Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)"},{"key":"6_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A Formal Model for Embedded Components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Alur, R., Ivancic, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchical hybrid models. In: Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, pp. 171\u2013182. ACM Press (2003)","DOI":"10.1145\/780732.780756"},{"key":"6_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional Refinement of Hierarchical Hybrid Systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 33\u201348. Springer, Heidelberg (2001)"},{"key":"6_CR45","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.jvlc.2006.10.002","volume":"17","author":"H. Giese","year":"2006","unstructured":"Giese, H., Henkler, S.: A survey of approaches for the visual model-driven development of next generation software-intensive systems. Journal of Visual Languages and Computing\u00a017, 528\u2013550 (2006)","journal-title":"Journal of Visual Languages and Computing"},{"key":"6_CR46","first-page":"371","volume-title":"ICSE 2006: Proceeding of the 28th International Conference on Software Engineering","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, pp. 371\u2013380. ACM Press, New York (2006)"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11839569_4","volume-title":"Autonomic and Trusted Computing","author":"M. G\u00fcdemann","year":"2006","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Formal Modeling and Verification of Systems with Self-x Properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol.\u00a04158, pp. 38\u201347. Springer, Heidelberg (2006)"},{"key":"6_CR48","series-title":"Lecture Notes in Computer Science","first-page":"212","volume-title":"Model Driven Engineering Languages and Systems","author":"H.J. Goldsby","year":"2007","unstructured":"Goldsby, H.J., Cheng, B., Zhang, J.: AMOEBA-RT: Run-Time Verification of Adaptive Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 212\u2013224. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Assurances for Self-Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36249-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:44:32Z","timestamp":1558302272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36249-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362484","9783642362491"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36249-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}