Model-driven development of reconfigurable mechatronic systems with MECHATRONIC UML

Lecture Notes in Computer Science

Volumn 3599, Issue , 2005, Pages 47-61

  Burmester, Sven ^a   Giese, Holger ^a   Tichy, Matthias ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FEEDBACK CONTROL; MATHEMATICAL MODELS;

ADVANCED TECHNICAL SYSTEMS; MODEL-DRIVEN DEVELOPMENT; RECONFIGURATION FUNCTIONALITY; UML;

MECHATRONICS;

EID: 26844498374     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538097_4     Document Type: Conference Paper

References (26)

1. Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics. Stanley Thornes (2000)
2. Object Management Group: Model Driven Architecture (MDA) Edited by Joaquin Miller and Jishnu Mukerji. (2001)
3. Object Management Group: UML 2.0 Superstructure Specification. (2003) Document ptc/03-08-02.
4. OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (2002)
5. David, A., Möller, M., Yi, W.: Formal Verification of UML Statecharts with Real-Time Extensions. In Kutsche, R.D., Weber, H., eds.: 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002), April 2002, Grenoble, France. Volume 2306 of LNCS., Springer (2002) 218-232
6. Graf, S., Hooman, J.: Correct Development of Embedded Systems. In Oquendo, F., Warboys, B., Morrision, R., eds.: Proceedings of the First European Workshop on Software Architecture, EWSA2004. Volume 3047 of Lecture Notes in Computer Science., St Andrews, UK, Springer Verlag (2004) 241-249
7. Stauner, T., Pretschner, A., Péter, I.: Approaching a Discrete-Continuous UML: Tool Support and Formalization. In: Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the extremists, Toronto, Canada (2001) 242-257
8. Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universität München (2001)
9. Giese, H., Burmester, S., Schäfer, 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 (2004)
10. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland. (2003)
11. Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, University of Paderborn, Paderborn, Germany (2003)
12. Burmester, S., Giese, H.: The Fujaba Real-Time Statechart Plugln. In: Proc. of the Fujaba Days 2003, Kassel, Germany. (2003)
13. Ogata, K.: Modern Control Engineering. Prentice Hall (2002)
14. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology 1 (1997)
15. Henzinger, TA., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proc. of IEEE Symposium on Logic in Computer Science. (1992)
16. Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Object Modeling with the OCL: The Rationale behind the Object Constraint Language. Volume 2263 of LNCS. Springer (2002) 150-171
17. Bichler, L., Radermacher, A., Schürr, A.: Evaluation uml extensions for modeling realtime systems. In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS'02, San Diego, USA, IEEE Computer Society Press (2002) 271-278
18. 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)
19. 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)
20. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc. (1994)
21. Object Management Group: UML for System Engineering Request for Proposal. (2003) Document ad/03-03-41.
22. 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)
23. 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).
24. Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1. World Scientific, Singapore (1999)
25. 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)
26. 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. Volume 3069 of Lecture Notes in Computer Science. Springer Verlag (2004) 25-51