Issues in V&V of autonomous and adaptive systems

被引：0

作者：

Tiwari, A ^{[1
]}

Sinha, P ^{[1
]}

机构：

[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada

来源：

CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY | 2003年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：1339 / 1342

页数：4

共 50 条

[1] An approach to V&V of embedded adaptive systems
Yerramalla, S
Liu, Y
Fuller, E
Cukic, B
Gururajan, S
[J]. FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 173 - 188
[2] Hallmarks of an Autonomous Space System's Development and V&V
Feather, Martin S.
[J]. 2022 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY (ICAA 2022), 2022, : 129 - 136
[3] Optimizing the V&V Process for Critical Systems
Kiper, James D.
Feather, Martin S.
Richardson, Julian
[J]. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
[4] An integrated V&V environment for critical systems development
Traoré, I
[J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 287 - 287
[5] V&V - Veridation or valification?
Nordland, O
[J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 261 - 266
[6] NASA Operational Simulator (NOS) for V&V of Complex Systems
Zemerick, Scott A.
Morris, Justin R.
Bailey, Brandon T.
[J]. MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS VIII, 2013, 8752
[7] FORMAL METHODS VERIFICATION & VALIDATION (V&V), FOR LEGACY SYSTEMS
Georgiadis, Sofia K.
[J]. PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE 2012, 2012, : 435 - +
[8] VERIFICATION AND VALIDATION (V&V) OF GUIDANCE & CONTROL SYSTEMS: RESULTS FROM THE FIRST INTER-AGENCY WORKSHOP ON GNC V&V
Dennehy, Cornelius
Bennani, Samir
Shankar, Uday
Vandersteen, Jeroen
VanZwieten, Tannen
Von der Porten, Paul
Wolf, Aron
Girouart, Benedicte
Casasco, Massimo
[J]. PROCEEDINGS OF THE 44TH ANNUAL AMERICAN ASTRONAUTICAL SOCIETY GUIDANCE, NAVIGATION, AND CONTROL CONFERENCE, AAS 2022, 2024, : 399 - 432
[9] MSL V&V CEDL Mechanical Systems Test Program
Eremenko, Alexander
Hoffman, Pamela
Rivellini, Tommaso
[J]. 2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 2826 - 2833
[10] MBSE and V&V: a tool-equipped method for combining various V&V strategies
Nastov, B.
Chapurlat, V.
Pfister, F.
Dony, C.
[J]. IFAC PAPERSONLINE, 2017, 50 (01): : 10538 - 10543

← 1 2 3 4 5 →