FABRIC: Framework for Agent-Based Robot Control Systems

The paper presents FABRIC, a framework and a toolchain that facilitates semi-automatic generation of agent-based control systems for robots. The presented approach combines agent-based formal specification with implementation employing component-based frameworks. The input for the generation method consists of the formal specification of the designed control system expressed in a DSL and source code encapsulated in components. Decomposition of a formal specification into a hierarchical structure of patterns and their parameters is employed. It implies a division of the specification into a number of items, produced using a DSL and source code expressed in a universal programming language. The method of generating a working agent-based system, out of its specification and selected components, is verified on a service robot that executes complex tasks, i.e. door opening.