{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:18:05Z","timestamp":1725567485886},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_12","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:55:33Z","timestamp":1286956533000},"page":"309-315","source":"Crossref","is-referenced-by-count":3,"title":["12 Fujaba4Eclipse Real-Time Tool Suite"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Priesterjahn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","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":"12_CR2","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-11), pp. 38\u201347 (September 2003)","DOI":"10.1145\/940071.940078"},{"key":"12_CR3","first-page":"801","volume-title":"Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA","author":"S. Burmester","year":"2007","unstructured":"Burmester, S., Giese, H., Henkler, S., Hirsch, M., Tichy, M., Gambuzza, A., M\u00fcch, E., V\u00f6cking, H.: Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In: Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801\u2013804. IEEE Computer Society Press, Los Alamitos (May 2007)"},{"key":"12_CR4","doi-asserted-by":"crossref","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, pp. 179\u2013188 (November 2004)","DOI":"10.1145\/1041685.1029920"},{"key":"12_CR5","first-page":"72","volume-title":"Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72\u201381. ACM Press, New York (2006)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/VLHCC.2005.68","volume-title":"Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, Texas, USA","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H.: Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. In: Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, Texas, USA, pp. 109\u2013116. IEEE Computer Society Press, Los Alamitos (September 2005)"},{"key":"12_CR7","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, S.: Component story diagrams: A transformation language for component structures in mechatronic systems. In: Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany (2008)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1370018.1370026","volume-title":"Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008)","author":"M. Hirsch","year":"2008","unstructured":"Hirsch, M., Henkler, S., Giese, H.: Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In: Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, pp. 33\u201340. ACM Press, New York (May 2008)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the unified modeling language. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"12_CR10","unstructured":"Burmester, S., Giese, H., Seibel, A., Tichy, M.: Worst-case execution time optimization of story patterns for hard real-time systems. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 71\u201378 (September 2005)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11875567_12","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2006","unstructured":"Giese, H., Tichy, M.: Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 156\u2013169. Springer, Heidelberg (2006)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Tichy, M., Henkler, S., Meyer, M., von Detten, M.: Safety of component-based systems: Analysis and improvement using fujaba4eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, pp. 1\u20132 (May 2008)","DOI":"10.1145\/1370175.1370214"},{"key":"12_CR13","volume-title":"Informatics in Control, Automation and Robotics I","author":"S. Burmester","year":"2006","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Braz, J., Ara\u00fajo, H., Vieira, A., Encarnacao, B. (eds.) Informatics in Control, Automation and Robotics I, Springer, Heidelberg (March 2006)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Henkler, S., Hirsch, M., Kahl, S., Schmidt, A.: Development of self-optimizing systems: Domain-spanning and domain-specific models exemplified by an air gap adjustment system for autonomous vehicles. In: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, New York, USA, ASME, August 3-6, pp. 1\u201311 (September 2008)","DOI":"10.1115\/DETC2008-49475"},{"key":"12_CR15","first-page":"670","volume-title":"Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA","author":"S. Burmester","year":"2005","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, pp. 670\u2013671. ACM Press, New York (May 2005)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-85571-2_11","volume-title":"Architecting Dependable Systems V","author":"H. Giese","year":"2008","unstructured":"Giese, H., Henkler, S., Hirsch, M.: Combining Compositional Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. In: de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) Architecting Dependable Systems V. LNCS, vol.\u00a05135, pp. 248\u2013272. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T08:17:27Z","timestamp":1559722647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}