{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T05:31:59Z","timestamp":1768887119970,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540300267","type":"print"},{"value":"9783540320937","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11581741_4","type":"book-chapter","created":{"date-parts":[[2005,10,25]],"date-time":"2005-10-25T10:06:33Z","timestamp":1130234793000},"page":"25-40","source":"Crossref","is-referenced-by-count":25,"title":["Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code"],"prefix":"10.1007","author":[{"given":"Sven","family":"Burmester","sequence":"first","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"The OMG\u2019s Model Driven Architecture. In: Allen, P. (ed.) Volume XII of Component Development Strategies, The Monthly Newsletter from the Cutter Information Corp. on Managing and Developing Component-Based Systems (2002)"},{"key":"4_CR2","unstructured":"Object Management Group: MDA Guide Version 1.0, Document omg\/2003-05-01 (2003)"},{"key":"4_CR3","volume-title":"Proc. of the European Software Engineering Conference (ESEC)","author":"H. Giese","year":"2003","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. ACM Press, New York (2003)"},{"key":"4_CR4","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: Proceedings of the International Workshop on Specification and vaildation of UML models for Real Time and embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML 2004 (2004)"},{"key":"4_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"4_CR6","unstructured":"Object Management Group: UML 2.0 Superstructure Specification, Document: ptc\/04-10-02 (2004) (convenience document)"},{"key":"4_CR7","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_CR8","unstructured":"Object Management Group: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (2002)"},{"key":"4_CR9","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_CR10","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_CR11","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 & Sons, Inc., Chichester (1994)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11538097_4","volume-title":"Model Driven Architecture","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"4_CR13","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. TechReport tr-ri-03-239, University of Paderborn (2003)"},{"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":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"Compositionality: The Significant Difference","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J., Tripakis, S.: Modeling Urgency in Timed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 103\u2013129. Springer, Heidelberg (1998)"},{"key":"4_CR17","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., 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_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/337180.337207","volume-title":"Proc. of the 22nd International Conference on Software Engineering (ICSE)","author":"H. K\u00f6hler","year":"2000","unstructured":"K\u00f6hler, H., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241\u2013251. ACM Press, New York (2000)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"David, A., Moeller, M.: From HUPPAAL to UPPAAL: A translation from hierarchical timed automata to flat timed automata. In: TechReport BRICS RS-01-11, Department of Computer Science, University of Aarhus (2001)","DOI":"10.7146\/brics.v8i11.20467"},{"key":"4_CR20","unstructured":"Erpenbach, E.: Compilation, Worst-Case Execution Times and Scheduability Analysis of Statechart Models. Ph.D.-thesis, University of Paderborn, Department of Mathematics and Computer Science (2000)"},{"key":"4_CR21","volume-title":"Kluwer international series in engineering and computer science : Real-time systems","author":"G.C. Buttazzo","year":"1997","unstructured":"Buttazzo, G.C.: Hard Real Time Computing Systems: Predictable Scheduling Algorithms and Applications. In: Kluwer international series in engineering and computer science: Real-time systems. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"4_CR22","unstructured":"Burmester, S.: Generierung von Java Real-Time Code f\u00fcr zeitbehaftete UML Modelle. Master\u2019s thesis, University of Paderborn, Paderborn, Germany (2002)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the ACM\u00a020 (1973)","DOI":"10.1145\/321738.321743"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. In: Proceedings of the 10th Real-Time Systems Symposium (1989)","DOI":"10.1109\/REAL.1989.63567"},{"key":"4_CR25","volume-title":"The Real-Time Specification for Java TM","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Brosgol, B., Furr, S., Hardin, S., Dibble, P., Gosling, J., Turnbull, M.: The Real-Time Specification for Java TM . Addison-Wesley, Reading (2000)"},{"key":"4_CR26","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_CR27","doi-asserted-by":"crossref","unstructured":"Jahanian, F., Mok, A.: Modechart: A Specification Language for Real-Time Systems. In: IEEE Transactions on Software Engineering, vol.\u00a020 (1994)","DOI":"10.1109\/32.368134"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Puchol, C., Mok, A., Stuart, D.: Compiling Modechart Specifications. In: 16th IEEE Real-Time Systems Symposium (RTSS 1995), Pisa, Italy (1995)","DOI":"10.1109\/REAL.1995.495215"},{"key":"4_CR29","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J., Lewis, B.A.: Embedded Systems Architecture Analysis Using SAE AADL. Technical Report CMU\/SEI-2004-TN-005, Carnegie Mellon University (2004)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Hsiung, P.A., Su, F.S., Gao, C.H., Cheng, S.Y., Chang, Y.M.: Verifiable Embedded Real-Time Application Framework. In: Seventh Real-Time Technology and Applications Symposium (RTAS 2001), Taipei, Taiwan (2001)","DOI":"10.1109\/RTTAS.2001.936258"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Saksena, M., Karvelas, P., Wang, Y.: Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models. In: The Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Newport Beach, California (2000)","DOI":"10.1109\/ISORC.2000.839552"},{"key":"4_CR32","unstructured":"Richard-Foy, M., Hunt, J.J.: The HIDOORS Profile: Applying the Scheduling, Performance and Time Profile to Realtime Java Development. In: A\u00dfmann, U. (ed.) Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Link\u00f6ping, Sweden (2004)"},{"key":"4_CR33","unstructured":"Meunier, J.N., Lippert, F., Jadhav, R., Harding, N.: MDA and Real-Time Java: The HIDOORS project. In: Akehurst, D. (ed.) Proc. of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations (EWMDA-2 2004), Canterbury, England, pp. 89\u201395 (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11581741_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:00:26Z","timestamp":1605625226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11581741_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300267","9783540320937"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11581741_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}