Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System

The increasing complexity of technical systems often leads to problems when they are to be maintained, changed or extended. Nature inspired concepts like selfmanagement or self-organization have found their way into technical systems to overcome the complexity problems. In turn those systems exhibit beneficial self-* properties like self-optimization, self-healing or self-protection. This paper presents a software architecture for the control of parallel kinematic machines and its evolvement to a selfadaptive system that strives to optimize, protect and heal itself. A software engineering approach for the development of self-managing components is introduced that is supported by behavior validation in a specialized simulation environment. The first realization of a self-manager, responsible for the distribution of control components, is described in detail to show that self-management is feasible in robotic control. The self-manager uses formal analysis techniques during the runtime of the system to make sure it always conforms to its real-time requirements.

[1]  Tom De Wolf,et al.  Engineering self-organising emergent systems with simulation-based scientific analysis , 2005 .

[2]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[3]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[4]  Tom De Wolf,et al.  Towards a Methodology for Engineering Self-Organising Emergent Systems , 2005, SOAS.

[5]  Martin Kardos,et al.  Model-based Runtime Verification Framework for Self-optimizing Systems , 2006, RV@CAV.

[6]  Jochen Maaß,et al.  Open Modular Robot Control Architecture for Assembly Using the Task Frame Formalism , 2006 .

[7]  Christian Müller-Schloer,et al.  Organic computing: on the feasibility of controlled emergence , 2004, CODES+ISSS '04.

[8]  Christopher G. Lasater,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[9]  Bernd Kleinjohann,et al.  Design of Self-Optimizing Agent-Based Controllers , 2002 .

[10]  Ursula Goltz,et al.  Model based quality assurance and self-management within a software architecture for parallel kinematic machines , 2006, 2006 IEEE International Conference on Mechatronics.

[11]  Holger Giese,et al.  A Design Methodology for Self-Optimizing Systems , 2005 .

[12]  Rolf Ernst,et al.  Real-Time Property Verification in Organic Computing Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[13]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .

[14]  Bernhard Bauer,et al.  Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems , 2005, Computational Intelligence.

[15]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[16]  J. Hesselbach,et al.  Self-Management in a Robot Control Architecture , 2007 .

[17]  Cyril S. Ku,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[18]  Tom De Wolf,et al.  A Taxonomy for Self-Properties in Decentralised Autonomic Computing , 2007 .

[19]  Ursula Goltz,et al.  Universal communication architecture for high-dynamic robot systems using QNX , 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

[20]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[21]  Holger Giese,et al.  Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.