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 条

[41] Quantitative V&V of CFD simulations and certification of CFD codes
Stern, F
Wilson, R
Shao, J
[J]. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 2006, 50 (11) : 1335 - 1355
[42] Development of V2UP (V&V plus uncertainty quantification and prediction) procedure for high cycle thermal fatigue in fast reactor-Framework for V&V and numerical prediction
Tanaka, Masaaki
Ohno, Shuji
Ohshima, Hiroyuki
[J]. NUCLEAR ENGINEERING AND DESIGN, 2016, 299 : 174 - 183
[43] Planning for V&V of the Mars Science Laboratory rover software
Feather, MS
Fesq, LM
Ingham, MD
Klein, SL
Nelson, SD
[J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 682 - 697
[44] Selecting V&V technology combinations: How to pick a winner?
Strooper, Paul
Wojcicki, Margaret A.
[J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 87 - 94
[45] Scaling the V&V Mountain: Proving Juno will Succeed at Jupiter
Rocca, Jennifer
Lord, Natalia
Johnson, Matthew
Bone, Brian
[J]. 2013 IEEE AEROSPACE CONFERENCE, 2013,
[46] Software V&V methods for digital plant protection system
Kim, HJ
Han, JB
Chun, CS
Kim, S
Kim, KJ
[J]. PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2, 1997, : 796 - 801
[47] Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety-and Security-Critical Systems
Ferrari, Enrico
Schlick, Rupert
De la Vara, Jose Luis
Folkesson, Peter
Sangchoolie, Behrooz
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022 WORKSHOPS, 2022, 13415 : 35 - 46
[48] A Method of Dynamic V&V Based on HILS for CTCS3
Wu, Hao
Ji, Yindong
[J]. 2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 1, 2009, : 117 - 121
[49] Formal methods for V&V of partial specifications: An experience report
Easterbrook, S
Callahan, J
[J]. RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 160 - 168
[50] WONKA: An Ontology-Aided Model-Based Systems Engineering Analysis for Early V&V on Heterogeneous Systems and Applications
Delabeye, Romain
Penas, Olivia
Plateaux, Regis
[J]. INSIGHT, 2023, 26 (04): : 22 - 25

← 1 2 3 4 5 →