Title :
Issues in V&V of autonomous and adaptive systems
Author :
Tiwari, Ashish ; Sinha, Purnendu
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
Abstract :
System autonomy is attracting increasing attention in many application domains, yet complete understanding of autonomous and adaptive (A&A) systems and their verification and validation (V&V) remain a challenge. In recent years, formal methods have been effectively used in V&V of safety/mission-critical systems. The paper provides an overview of different formal techniques being used in reasoning about system autonomy and challenges they currently encounter. We also highlight some of the active research issues in V&V of autonomous and adaptive systems.
Keywords :
adaptive systems; formal verification; inference mechanisms; planning (artificial intelligence); safety systems; adaptive system; autonomous system; formal method; safety/mission-critical system; system autonomy; Adaptive systems; Application software; Autonomous agents; Computational modeling; Costs; Delay effects; Mission critical systems; Safety; Satellite ground stations; Space missions;
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
Print_ISBN :
0-7803-7781-8
DOI :
10.1109/CCECE.2003.1226147
