Model-driven development with mechatronic UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5765 LNCS, Issue , 2010, Pages 533-554

  Schäfer, Wilhelm ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING TECHNIQUES; FORMAL ANALYSIS; MECHANICAL COMPONENTS; MECHATRONIC SYSTEMS; MODEL DRIVEN DEVELOPMENT; MODEL-BASED DESIGN; SAFETY-CRITICAL; UML PROFILES; VERIFICATION TECHNIQUES;

MECHATRONICS;

EID: 78649501282     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17322-6_23     Document Type: Conference Paper

References (45)

1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. In: 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol. 199, pp. 329-351. Springer, Heidelberg (1994)
2. Alur, R., Dang, T., Esposito, J.M., Fierro, R.B., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 14-31. Springer, Heidelberg (2001) (Pubitemid 33351847)
3. Amnell, T., David, A., Fersman, E., Oliver M̈oller, M., Pettersson, P., Yi, W.: Tools for realtime UML: Formal verification and code synthesis. In: Workshop on Specification, Implementation and Validation of Objectoriented Embedded Systems (SIVOES 2001), Budapest, Hungary, pp. 1-4 (June 2001)
4. Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Transactions on Software Engineering 30(7), 473-487 (2004)
5. 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-81. ACMPress, New York (2006)
6. Behrmann, G., David, A., Larsen, K.G., H°akansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST, pp. 125-126. IEEE Computer Society, Los Alamitos (2006)
7. Bender, K., Broy, M., Ṕeter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: Specification, simulation, test case generation. In: Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes in Control and Information Sciences, vol. 279, pp. 37-51. Springer, Heidelberg (2002)
8. Briand, L.C., Wolf, A.L. (eds.): International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, Minneapolis, MN, USA, May 23-25 (2007)
9. 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-73. EOROSIS Publications (October 2004)
10. Burmester, S., Giese, H., Henkler, S., Hirsch, M., Tichy, M., Gambuzza, A., M̈uch, E., V̈ocking, H.: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In: Proceedings of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801-804. IEEE Computer Society Press, Los Alamitos (May 2007)
11. 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
12. on Specification and Validation of UML Models for Real Time and Embedded Systems on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS 2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML 2004, pp. 1-20 (October 2004)
13. Burmester, S., Giese, H., M̈unch, 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 10(3), 207-222 (2008)
14. Burmester, S., Giese, H., Scḧafer, W.: Code generation for hard real-time systems from realtime statecharts. Technical Report tr-ri-03-244, University of Paderborn, Paderborn, Germany (October 2003)
15. David, A., M̈oller, M.O., Yi, W.: Formal verification of UML statecharts with real-time extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 208-241. Springer, Heidelberg (2002)
16. Ehrig, H., Heckel, R., Korff,M., L̈owe, M., Ribeiro, L.,Wagner, A., Corradini, A.: Algebraic approaches to graph transformation-part ii: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars, pp. 247-312. World Scientific, Singapore (1997)
17. Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 150-171. Springer, Heidelberg (2002)
18. Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification ofComponent-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179-188. ACM Press, New York (November 2004)
19. 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 17, 528-550 (2006)
20. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the compositional veri-fication of real-time uml designs. In: Proc. of the 9th European Software Engineering Con-ference Held Jointly with 11th ACM SIGSOFT International symposium on Foundations of Software Engineering (ESEC/FSE-11), pp. 38-47. ACM Press, New York (September 2003)
21. Graf, S., Hooman, J.: Correct Development of Embedded Systems. In: Oquendo, F., War-boys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 241-249. Springer, Hei-delberg (2004)
22. Güdemann, 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. 4158, pp. 38-47. Springer, Heidelberg (2006)
23. Henkler, S., Greenyer, J., Hirsch, M., Schäfer, W., Alhawash, K., Eckardt, T., Heinzemann, C., Löffler, R., Seibel, A., Giese, H.: Synthesis of timed behavior from scenarios in the fujaba real-time tool suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada (May 2009)
24. Henkler, S., Hirsch, M., Priesterjahn, C.: Hybrid model checking with the fujaba real-time tool suite. In: Aßmann, U., Johannes, J., Zündorf, A. (eds.) Proc. of the 6* International Fujaba Days 2008, Dresden, Germany, pp. 40-43 (September 2008)
25. Henzinger, T.A.: The Theory of Hybrid Automata. In: Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278-292 (1996)
26. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: The next generation. In: IEEE Real-Time Systems Symposium, pp. 56-65 (1995)
27. Henzinger, T.A., Manna, Z., Pnueli, A.: What Good Are Digital Clocks? In: ICALP 1992. LNCS, vol. 623, pp. 545-558. Springer, Heidelberg (1992)
28. Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Car-valho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automa-tion and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230-237. INSTICC Press (August 2004)
29. Hirsch, M., Henkler, S., Giese, H.: Modeling Collaborations with Dynamic Structural Adap-tation 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-40. ACM Press, New York (May 2008)
30. Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Computer society, Los Alamitos (2003)
31. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand and Wolf [8], pp. 259-268
32. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology 1(1) (1997)
33. Lynch, N.: Input/output automata: Basic, timed, hybrid, probabilistic, dynamic,. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 191-192. Springer, Heidelberg (2003)
34. Object Management Group. UML Profile for Schedulability, Performance, and Time Speci-fication. OMG Document ptc/02-03-02 (September 2002), http://cgi.omg.org/docs/ptc/02-03-02.pdf
35. Object Management Group: Systems Modeling Language (SysML) Specification (January 2005)
36. Object Management Group: Systems Modeling Language (SysML) Specification (2006)
37. OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE) (2008)
38. OMG: Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (September 2002) http://cgi.omg.org/docs/ptc/02-03-02.pdf
39. Osmic, S., Münch, E., Trächtler, A., Henkler, S., Schäfer, W., Giese, H., Hirsch, M.: Safe online-reconfiguration of self-optimzing mechatronic systems. In: Gausemeier, J., Rammig, F., Schäfer, W. (eds.) Selbstoptimierendemechatronische Systeme: DieZukunftgestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik, pp. 411-426 (February 2008)
40. Priesterjahn, C., Tichy, M., Henkler, S., Hirsch, M., Schäfer, W.: Fujaba4eclipse Real-Time Tool Suite. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS). LNCS, pp. 1-7. Springer, Heidelberg (2009) (to appear)
41. Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479-485. Springer, Heidelberg (2004)
42. Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science 157(1), 39-59 (2006)
43. Schäfer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: Briand and Wolf [8], pp. 72-84
44. Wilhelm, R., Reps, T.W., Sagiv, S.: Shape analysis and applications. In: The Compiler Design Handbook, pp. 175-218 (2002)
45. 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, New York, NY, USA, pp. 371-380 (2006)