by Holger Giese
Abstract:
Advanced mechatronic systems of the future are expected to behave more intelligently than today by building communities of autonomous agents which exploit local and global networking to enhance their behavior and to realize otherwise not possible functionality. While engineering of mechatronic systems and software engineering for embedded systems, multi-agent systems, and distributed systems are established areas, no solution for the systematic development of the outlined future generation of intelligent, distributed, embedded systems exists today. This is not simply a matter of composing the solutions developed for each of these area as some of their requirements are in conflict: E.g., flexibility and autonomy are to some extent at odds with predictability and safety. We propose to address this challenge by a modeldriven development approach which includes several advanced analysis and synthesis techniques. A restricted high level UML model serves as a basis for rigorous validation and verification to address the correctness and safety issues. Analyzing the high level models rather than the code is justified by synthesis techniques, which guarantee that all properties of the high level models also hold for the implementation.
Reference:
Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems (Holger Giese), In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany (Torsten Kleín, Bernhard Rumpe, Bernhard Schätz, eds.), 2005. (Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany)
Bibtex Entry:
@InProceedings{G05_ag,
AUTHOR = {Giese, Holger},
TITLE = {{Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems}},
YEAR = {2005},
BOOKTITLE = {Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany},
PAGES = {11-22},
EDITOR = {Kleín, Torsten and Rumpe, Bernhard and Schätz, Bernhard},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/MBEES05.pdf},
PDF = {MBEES05.pdf},
ABSTRACT = {Advanced mechatronic systems of the future are expected to behave more intelligently than today by building communities of autonomous agents which exploit local and global networking to enhance their behavior and to realize otherwise not possible functionality. While engineering of mechatronic systems and software engineering for embedded systems, multi-agent systems, and distributed systems are established areas, no solution for the systematic development of the outlined future generation of intelligent, distributed, embedded systems exists today. This is not simply a matter of composing the solutions developed for each of these area as some of their requirements are in conflict: E.g., flexibility and autonomy are to some extent at odds with predictability and safety. We propose to address this challenge by a modeldriven development approach which includes several advanced analysis and synthesis techniques. A restricted high level UML model serves as a basis for rigorous validation and verification to address the correctness and safety issues. Analyzing the high level models rather than the code is justified by synthesis techniques, which guarantee that all properties of the high level models also hold for the implementation.},
NOTE = {Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany}
}