Quality assurance for autonomous systems - a review of model-based methods

A major field in research and development are open, distributed, communication-intense systems, which are currently characterized by increasing heterogeneity, in structure and technologies and by growing complexity and behavior dynamics. Autonomous systems are being investigated in order to return to manageable and stable systems whose operation and maintenance is affordable. By resolving the obstacles of current systems via enlarged system autonomy, the quality assurance of such dynamic, reconfigurable, adjustable systems becomes problematic. This keynote reviews requirements, methods and approaches for model-based quality assurance of autonomous systems.