{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:15:55Z","timestamp":1772025355289,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540282402","type":"print"},{"value":"9783540318194","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538097_4","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T10:54:01Z","timestamp":1283770441000},"page":"47-61","source":"Crossref","is-referenced-by-count":35,"title":["Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic\u00a0UML"],"prefix":"10.1007","author":[{"given":"Sven","family":"Burmester","sequence":"first","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics, Stanley Thornes (2000)"},{"key":"4_CR2","unstructured":"Miller, J., Mukerji, J. (eds.): Object Management Group: Model Driven Architecture (MDA) (2001)"},{"key":"4_CR3","unstructured":"Object Management Group: UML 2.0 Superstructure Specification, Document ptc\/03-08-02 (2003)"},{"key":"4_CR4","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (2002)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45923-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"A. David","year":"2002","unstructured":"David, A., M\u00f6ller, M.O., Yi, W.: Formal verification of UML statecharts with real-time extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 218\u2013232. Springer, Heidelberg (2002)"},{"key":"4_CR6","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":"4_CR7","unstructured":"Stauner, T., Pretschner, A., P\u00e9ter, I.: Approaching a Discrete-Continuous UML: Tool Support and Formalization. In: Proc. UML\u20192001 workshop on Practical UML-Based Rigorous Development Methods \u2013 Countering or Integrating the eXtremists, Toronto, Canada, pp. 242\u2013257 (2001)"},{"key":"4_CR8","unstructured":"Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)"},{"key":"4_CR9","volume-title":"Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004)","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: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM, New York (2004)"},{"key":"4_CR10","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 European Software Engineering Conference (ESEC), Helsinki, Finland (2003)","DOI":"10.1145\/949952.940078"},{"key":"4_CR11","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, University of Paderborn, Paderborn, Germany (2003)"},{"key":"4_CR12","unstructured":"Burmester, S., Giese, H.: The Fujaba Real-Time Statechart PlugIn. In: Proc. of the Fujaba Days 2003, Kassel, Germany (2003)"},{"key":"4_CR13","volume-title":"Modern Control Engineering","author":"K. Ogata","year":"2002","unstructured":"Ogata, K.: Modern Control Engineering. Prentice Hall, Englewood Cliffs (2002)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology\u00a01 (1997)","DOI":"10.1007\/s100090050010"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proc. of IEEE Symposium on Logic in Computer Science (1992)","DOI":"10.1109\/LICS.1992.185551"},{"key":"4_CR16","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., M\u00fcller, 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":"4_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1109\/WORDS.2002.1000062","volume-title":"Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS 2002","author":"L. Bichler","year":"2002","unstructured":"Bichler, L., Radermacher, A., Sch\u00fcrr, A.: Evaluation uml extensions for modeling realtime systems. In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS 2002, San Diego, USA, pp. 271\u2013278. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"4_CR18","unstructured":"Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (2003)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Masse, J., Kim, S., Hong, S.: Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (2003)","DOI":"10.1109\/RTTAS.2003.1203038"},{"key":"4_CR20","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc, Chichester (1994)"},{"key":"4_CR21","unstructured":"Object Management Group: UML for System Engineering Request for Proposal, Document ad\/03-03-41 (2003)"},{"key":"4_CR22","unstructured":"Amnell, T., David, A., Fersman, E., Pettersson, M.O.M.P., Yi, W.: Tools for Real-Time UML: Formal Verification and Code Synthesis. In: Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, SIVOES 2001 (2001)"},{"key":"4_CR23","unstructured":"Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Proc. of European Simulation and Modelling Conference (ESMc 2004), Paris, France (2004) (accepted)"},{"key":"4_CR24","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1999)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Tichy, M., Schilling, D., Giese, H.: Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In: Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA (2004)","DOI":"10.1145\/1075405.1075426"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-25939-8_2","volume-title":"Architecting Dependable Systems II","author":"M. Tichy","year":"2004","unstructured":"Tichy, M., Giese, H.: A self-optimizing run-time architecture for configurable dependability of services. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 25\u201350. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538097_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:19Z","timestamp":1605643999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538097_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282402","9783540318194"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11538097_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}