article

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

Authors:

Sven Burmester,

Wilhelm Schäfer,

Oliver OberschelpAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 29, Issue 6

Pages 179 - 188

https://doi.org/10.1145/1041685.1029920

Published: 31 October 2004 Publication History

Abstract

The development of complex mechatronic systems requires a careful and ideally verifiable design. In addition, engineers from different disciplines, namely mechanical, electrical and software engineering, have to cooperate. The current technology is to use block diagrams including discrete blocks with statecharts for the design and verification of such systems. This does not adequately support the verification of large systems which improve the system behavior at run-time by means of online reconfiguration of its controllers because the system as whole has to be verified. It also does not support cooperative interdisciplinary work because a white-box view on all blocks involved in the online reconfiguration is required. This paper proposes a rigorous component concept based on the notion of UML component diagrams which enables modular composition and decomposition of complex systems with online reconfiguration given by hierarchical hybrid component specifications. The approach enables compatibility checks between components that are often independently developed (across the different disciplines) and supports compositional model checking based on a rigorously defined semantics.

References

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[11]

D. Harel. STATECHARTS: A Visual Formalism for complex systems. Science of Computer Programming, 3(8):231--274, 1987.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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. A preliminary version appeared in the Proceedings of the 27th Annual Symposium on Theory of Computing (STOC), ACM Press, 1995, pp. 373-382.]]

Digital Library

[15]

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.]]

Digital Library

[16]

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-11 December 2002.]]

[17]

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.]]

Digital Library

[18]

L. Lamport. Hybrid Systems in TLA+. Springer-Verlag, 1993.]]

Digital Library

[19]

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.]]

Digital Library

[20]

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.]]

Digital Library

[21]

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.]]

[22]

Object Management Group. UML for System Engineering Request for Proposal, 03-03-41, March 2003.]]

[23]

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.]]

[24]

K. Ogata. Modern Control Engineering. Prentice Hall, 2002.]]

Digital Library

[25]

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.]]

[26]

T. Stauner. Systematic Development of Hybrid Systems. PhD thesis, Technical University Munich, 2001.]]

[27]

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.]]

Digital Library

[28]

R. Wieting. Hybrid high-level nets. In Proceedings of the 1996 Winter Simulation Conference, pages 848--855, Coronado, CA, USA, 1996.]]

Digital Library

Cited By

Bernardeschi CDini PDomenici APalmieri MSaponara S(2020)Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control AlgorithmEnergies10.3390/en1316405713:16(4057)Online publication date: 5-Aug-2020
https://doi.org/10.3390/en13164057
Wang HJohnson AZhang HLiang S(2018)Towards a collaborative modeling and simulation platform on the InternetAdvanced Engineering Informatics10.1016/j.aei.2009.11.00324:2(208-218)Online publication date: 19-Dec-2018
https://dl.acm.org/doi/10.1016/j.aei.2009.11.003
Sondermann-Wolke CGeisler JSextro W(2010)Increasing the reliability of a self-optimizing railway guidance system2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS)10.1109/RAMS.2010.5448080(1-6)Online publication date: Jan-2010
https://doi.org/10.1109/RAMS.2010.5448080
Show More Cited By

Index Terms

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

Recommendations

Modular design and verification of component-based mechatronic systems with online-reconfiguration
SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering

The development of complex mechatronic systems requires a careful and ideally verifiable design. In addition, engineers from different disciplines, namely mechanical, electrical and software engineering, have to cooperate. The current technology is to ...
Tool support for the design of self-optimizing mechatronic multi-agent systems

Complex technical systems, such as mechatronic systems, can exploit networking as well as the computational power available today to achieve an automatic improvement of the technical system performance at run-time through self-optimization. To realize ...
Towards the compositional verification of real-time UML designs

Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 29, Issue 6

November 2004

275 pages

ISSN:0163-5948

DOI:10.1145/1041685

Issue’s Table of Contents

SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
October 2004
282 pages
ISBN:1581138555
DOI:10.1145/1029894
General Chair:
Richard N. Taylor
University of California, Irvine, CA
,
Program Chair:
Matthew B. Dwyer
University of Nebraska - Lincoln

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 2004

Published in SIGSOFT Volume 29, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
937
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bernardeschi CDini PDomenici APalmieri MSaponara S(2020)Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control AlgorithmEnergies10.3390/en1316405713:16(4057)Online publication date: 5-Aug-2020
https://doi.org/10.3390/en13164057
Wang HJohnson AZhang HLiang S(2018)Towards a collaborative modeling and simulation platform on the InternetAdvanced Engineering Informatics10.1016/j.aei.2009.11.00324:2(208-218)Online publication date: 19-Dec-2018
https://dl.acm.org/doi/10.1016/j.aei.2009.11.003
Sondermann-Wolke CGeisler JSextro W(2010)Increasing the reliability of a self-optimizing railway guidance system2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS)10.1109/RAMS.2010.5448080(1-6)Online publication date: Jan-2010
https://doi.org/10.1109/RAMS.2010.5448080
Sondermann-Wolke CSondermann-Wölke CHemsel TSextro WGausemeier JPook S(2010)Guideline for the dependability-oriented design of self-optimizing systems2010 8th IEEE International Conference on Industrial Informatics10.1109/INDIN.2010.5549490(739-744)Online publication date: Jul-2010
https://doi.org/10.1109/INDIN.2010.5549490
Ciraci Svan den Broek PAkşit M(2010)Verifying Runtime Reconfiguration Requirements on UML ModelsViews on Evolvability of Embedded Systems10.1007/978-90-481-9849-8_13(209-225)Online publication date: 22-Sep-2010
https://doi.org/10.1007/978-90-481-9849-8_13
Priesterjahn CTichy MHenkler SHirsch MSchäfer W(2010)12 Fujaba4Eclipse Real-Time Tool SuiteModel-Based Engineering of Embedded Real-Time Systems10.1007/978-3-642-16277-0_12(309-315)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16277-0_12
Eckardt THenkler S(2010)Component behavior synthesis for critical systemsProceedings of the First international conference on Architecting Critical Systems10.1007/978-3-642-13556-9_4(52-71)Online publication date: 23-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13556-9_4
Sondermann-Wölke CSextro W(2009)Towards the Integration of Condition Monitoring in Self-Optimizing Function ModulesProceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns10.1109/ComputationWorld.2009.47(15-20)Online publication date: 15-Nov-2009
https://dl.acm.org/doi/10.1109/ComputationWorld.2009.47
Janssen LFey RBesselink Bvan de Wouw N(2024)Modular redesign of mechatronic systems: Formulation of module specifications guaranteeing system dynamics specificationsMechatronics10.1016/j.mechatronics.2024.103236103(103236)Online publication date: Nov-2024
https://doi.org/10.1016/j.mechatronics.2024.103236
Daun MBrings JWeyer T(2021)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.2392Online publication date: 17-Oct-2021
https://doi.org/10.1002/smr.2392
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents