Modular design and verification of component-based mechatronic systems with online-reconfiguration

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 179-188

  Giese, Holger ^a   Burmester, Sven ^a   Schäfer, Wilhelm ^a   Oberschelp, Oliver ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Components; Hybrid systems; Real time; Reconfiguration; Unified modelling language (uml)

Indexed keywords

BLOCK CODES; COMPUTER SOFTWARE; HYBRID COMPUTERS; IDENTIFICATION (CONTROL SYSTEMS); ONLINE SYSTEMS; PROBLEM SOLVING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

HYBRID SYSTEMS; ONLINE RECONFIGURATION; REAL-TIME; UNIFIED MODELING LANGUAGE (UML);

MECHATRONICS;

EID: 20344399183     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1041685.1029920     Document Type: Conference Paper

References (29)

1. A. Agrawal, G. Simon, and G. Karsai. Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations. In International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain, 2004.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3-34), 1995.
3. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical Hybrid Modeling of Embedded Systems. In First Workshop on Embedded Software, 2001.
4. K. Bender, M. Broy, I. Peter, A. Pretschner, and T. Stauner, Model based development of hybrid systems. In Modelling, Analysis, and Design of Hybrid Systems, volume 279 of Lecture Notes on Control and Information Sciences, pages 37-52. Springer Verlag, July 2002.
5. D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.
6. S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Correct Design of Complex Self-optimizing Mechatronic Systems. Technical Report tr-ri-03-246, University of Paderborn, Germany, 2004.
7. S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Proc. of the Eighth International Conference on Informatics in Control, Automation and Robotics (ICINCO), Setubal, Portugal IEEE Press, 2004.
8. H. Giese and S. Burmester. Real-Time Statechart Semantics. Technical Report tr-ri-03-239, University of Paderborn, Paderborn, Germany, June 2003.
9. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland. ACM Press, September 2003.
10. R. Grosu, T. Stauner, and M. Broy. A modular visual model for hybrid systems. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486. Springer-Verlag, 1998.
11. D. Harel. STATECHARTS: A Visual Formalism for complex systems. Science of Computer Programming, 3(8):231-274, 1987.
12. T. A. Henzinger. Masaccio: A Formal Model for Embedded Components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), LNCS 1872, Springer-Verlag, 2000, pp. 549-563., 2000.
13. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: The Next Generation. In Proc. of the 16th IEEE Real-Time Symposium. IEEE Computer Press, December 1995.
14. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
15. A preliminary version appeared in the Proceedings of the 27th Annual Symposium on Theory of Computing (STOC), ACM Press, 1995, pp. 373-382.
16. T. A. Henzinger, M. Minea, and V. Prabhu. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. In Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome, Italy, March 28-30, 2001, LNCS 2034, pages 275-290. Springer Verlag, 2001.
17. T. Hestermeyer, P. Schlautmann, and C. Ettingshausen. Active suspension system for railway vehicles-system design and kinematics. In Proc. of the 2nd IFAC - Confecence on mechatronic systems, Berkeley, California, USA, 9-11December 2002.
18. Y. Kesten and A. Pnueli. Timed and hybrid statecharts and their textual representation. In Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS 571. Springer-Verlag, 1992.
19. L. Lamport. Hybrid Systems in TLA+. Springer-Verlag, 1993.
20. G. Lüttgen, M. von der Beeck, and R. Cleaveland. A compositional approach to statecharts semantics. In Proceedings of the eighth international symposium on Foundations of software engineering for twenty-first century applications November 6 -10, 2000, San Diego, CA USA, pages 120-129, 2000.
21. N. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O Automata Revisited. In Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome, Italy, March 28-30, 2001, LNCS 2034, pages 403-417. Springer Verlag, 2001.
22. E. Münch, O. Oberschelp, T. Hestermeyer, P. Scheideler, and A. Schmidt. Distributed Optimization of Reference Trajectories for Active Suspension with Multi-Agent Systems. In 18th European Simulation Multiconference (ESM), Magdeburg, Germany, 2004.
23. Object Management Group. UML for System Engineering Request for Proposal, ad/03-03-41, March 2003.
24. Object Management Group. UML Superstructure Submission V2.0. OMG Document ad/03-04-01, April 2003. URL: http://www.omg.org/cgi-bin/doc?ad/2003-04-01.
25. K. Ogata. Modern Control Engineering. Prentice Hall, 2002.
26. J. Richert. Integration of Mechatronic Design Tools with CAMeL, Exemplified by Vehicle Convoy Control Design. In Proc. of the IEEE International Symposium on Computer Aided Control System Design, Dearborn, Michigan, USA, 1996.
27. T. Stauner. Systematic Development of Hybrid Systems. PhD thesis, Technical University Munich, 2001.
28. T. Stauner, A. Pretschner, and I. Péter. 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, pages 242-257, Toronto, Canada, October 2001.
29. R. Wieting. Hybrid high-level nets. In Proceedings of the 1996 Winter Simulation Conference, pages 848-855, Coronado, CA, USA, 1996.