Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (bibtex)
by , , , ,
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.
Reference:
Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy), In OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Brian Henderson-Sellers, J Debenham, eds.), 2003.
Bibtex Entry:
@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},
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.}
}
Powered by bibtexbrowser