Reference:
Holger Giese, "Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems", in Torsten Kleín, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany, pp. 11-22, 2005, Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany.
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.
Links:
@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\'{i}n, Torsten and Rumpe, Bernhard and Sch\"{a}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}
}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