DocumentCode
397107
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
Volume
2
fYear
2003
fDate
4-7 May 2003
Firstpage
1339
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
ISSN
0840-7789
Print_ISBN
0-7803-7781-8
Type
conf
DOI
10.1109/CCECE.2003.1226147
Filename
1226147
Link To Document