Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (bibtex)
Reference:
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy, "Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML", in Brian Henderson-Sellers, J Debenham, Eds., OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, pp. 21–32, October 2003.
Abstract:
One of the concepts proposed for controlling and optimizing the complex mechatronic systems that will emerge when mechatronic components formerly operating in isolation become interconnected is agent-oriented software. As mechatronic systems are often safety-critical, the inherent flexibility of such software seems to be at odds with the need for thorough validation and verification, however. The presented approach resolves this conflict by means of a specific UML based design approach for safety-critical multi-agent macro- and micro-architectures. The macro-architecture ensures that all local interactions between agents are governed by a set of social rules, termed as culture, specified by means of patterns and roles. Employing compositional verification techniques, we can then preclude hazards addressed by the cultures for the entire system. In the micro-architectural view, agents can then be specified by refining the verified roles. Within the scope of correct refinements, the agents may employ self-optimization techniques without invalidating the guarantees about safe system behavior made by the patterns.
Links:
@InProceedings{GBKST03_ag,
AUTHOR = {Giese, Holger and Burmester, Sven and Klein, Florian and Schilling, Daniela and Tichy, Matthias},
TITLE = {{Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML}},
YEAR = {2003},
MONTH = {October},
BOOKTITLE = {OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies},
PAGES = {21--32},
EDITOR = {Henderson-Sellers, Brian and Debenham, J},
ADDRESS = {Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2003/OOPSLA2003_AOM.pdf},
PDF = {OOPSLA2003_AOM.pdf},
ABSTRACT = {One of the concepts proposed for controlling and optimizing the complex mechatronic systems that will emerge when mechatronic components formerly operating in isolation become interconnected is agent-oriented software. As mechatronic systems are often safety-critical, the inherent flexibility of such software seems to be at odds with the need for thorough validation and verification, however. The presented approach resolves this conflict by means of a specific UML based design approach for safety-critical multi-agent macro- and micro-architectures. The macro-architecture ensures that all local interactions between agents are governed by a set of social rules, termed as culture, specified by means of patterns and roles. Employing compositional verification techniques, we can then preclude hazards addressed by the cultures for the entire system. In the micro-architectural view, agents can then be specified by refining the verified roles. Within the scope of correct refinements, the agents may employ self-optimization techniques without invalidating the guarantees about safe system behavior made by the patterns.}
}
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