Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems (bibtex)
Reference:
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems", Technical Report tr-ri-03-246, University of Paderborn: Paderborn, Germany, 2004.
Abstract:
Complex technical systems, such as networked mechatronic systems, can share information in the network and exploit the computational power available today to achieve an automatic improvement of the technical system performance at run-time by means of selfoptimization. To realize this vision appropriate means for the design of such systems are required. To locally support self-optimization it is not enough just to permit to alter some free parameters of the controllers. Instead, support for the correct reconfiguration of the internal structures of the controllers is required. To design correct complex networked mechatronic systems, an approach for the design and verification of the coordination between the controller structure reconfiguration and the real-time network processing is necessary. We therefore propose hybrid components and a related hybrid statechart extension for the Unified Modeling Language (UML); it is to support the design of self-optimizing mechatronic systems by allowing specification of the necessary flexible reconfiguration of the system as well as of its hybrid subsystems in a modular manner. The interface abstraction of these hybrid components further supports to check for the correct reconfiguration and enables the compositional model checking of the real-time aspects of the system.
Links:
@TechReport{BGO04b_ag,
AUTHOR = {Burmester, Sven and Giese, Holger and Oberschelp, Oliver},
TITLE = {{Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems}},
YEAR = {2004},
NUMBER = {tr-ri-03-246},
PAGES = {1-42},
ADDRESS = {Paderborn, Germany},
INSTITUTION = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2004/tr-ri-03-246.pdf},
PDF = {tr-ri-03-246.pdf},
ABSTRACT = {Complex technical systems, such as networked mechatronic systems, can share information in the network and exploit the computational power available today to achieve an automatic improvement of the technical system performance at run-time by means of selfoptimization. To realize this vision appropriate means for the design of such systems are required. To locally support self-optimization it is not enough just to permit to alter some free parameters of the controllers. Instead, support for the correct reconfiguration of the internal structures of the controllers is required. To design correct complex networked mechatronic systems, an approach for the design and verification of the coordination between the controller structure reconfiguration and the real-time network processing is necessary. We therefore propose hybrid components and a related hybrid statechart extension for the Unified Modeling Language (UML); it is to support the design of self-optimizing mechatronic systems by allowing specification of the necessary flexible reconfiguration of the system as well as of its hybrid subsystems in a modular manner. The interface abstraction of these hybrid components further supports to check for the correct reconfiguration and enables the compositional model checking of the real-time aspects of the system.}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser