Formal system design for intelligent artifacts

Dittes B. Formal system design for intelligent artifacts. Bielefeld: Universität Bielefeld; 2012.This work deals with conceptual and software aspects (i.e. algorithms and structure) of intelligent systems interacting with the real-world. Typical domains for such systems are robotics as well as personal digital- and driver assistance. In decades of research on intelligent systems, a large number of system structures or architectures for intelligent artifacts have been proposed and implemented. However, no established and broadly accepted hypothesis for such a system structure has emerged because no common language or common understanding of the space of architectures exists. This in turn makes scientific discourse about architectures difficult. In this thesis we aim to improve the process and tools for describing, constructing and evolving the architecture and software of large-scale systems for intelligent artifacts. At the heart of this improvement is the proposed formalism 'Systematica 2D', suitable for both flexible description of system architectures as well as for functional design of the resulting system integration process. We motivate the approach and relate it to other formal descriptions by means of a new formalization measure. The new language is shown to find a good compromise between cognitive description, high flexibility and easy implementation. We present ways to map resulting designs to the most popular infrastructure paradigms and derive mathematically provable benefits for the system construction process: incremental composition, graceful degradation, subsystem separation and global deadlock-free operation. Finally, the powers of the formalism for architecture categorization and comparison are explored. It is analytically shown that there is a direct relation between sensor / behavior spaces (a descriptive design property) and the interfaces and connections of units (a functional design property). Without lack of generality, examples and results are obtained from two specific, recent and state-of-the-art large-scale systems: ALIS3 [Goerick 2009] and AutoSys [Schmuedderich 2010]. Experimental results show that a) modeling a wide variety of systems as Systematica 2D designs is possible, b) implementing systems according to such a design is dramatically faster and produces inherent, provable system properties and c) different systems can be related and classified based on the designs