author = { Holger Giese and Sven Burmester and Florian Klein and Daniela Schilling and Matthias Tichy },
title = { Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML },
year = { 2003 },
pages = { 21--32 },
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. },
month = { 10 },
editor = { Brian Henderson-Sellers and J Debenham },
address = { Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia },
booktitle = { OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies }