Abstract :
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
Keywords :
distributed programming; quality assurance; research and development; systems analysis; autonomous systems; model-based methods; quality assurance; research and development; Computer networks; Error correction; Monitoring; Performance analysis; Quality assurance; Research and development; Robustness; Scalability; System testing; Systems engineering and theory;
