Verification and Uncertainties in Self-integrating System

被引：1

作者：

Esterle, Lukas ^{[1
]}

Porter, Barry ^{[2
]}

Woodcock, Jim ^{[3
,4
]}

机构：

[1] Aarhus Univ, DIGIT, Aarhus, Denmark

[2] Univ Lancaster, Sch Comp & Commun, Lancaster, England

[3] Univ York, York, N Yorkshire, England

[4] Aarhus Univ, Aarhus, Denmark

来源：

2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021) | 2021年

基金：

英国工程与自然科学研究理事会;

关键词：

self-integrating systems; verification; self-improving; systems-of-systems; self-assembling; TEMPORAL PROPERTIES;

D O I：

10.1109/ACSOS-C52956.2021.00050

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Self-integrating and self-improving system are required to verify their state in order to understand whether they have achieved their goal or need to adapt themselves to reach it. In this short position paper, we outline the main challenges specifically when verifying systems interacting with each other and operating under uncertainties. A short outline of the uncertainties is given as well as a brief roadmap to overcome the main challenges faced by autonomous interwoven systems, operating in an open world with incomplete knowledge.

引用

页码：220 / 225

页数：6

共 50 条

[41] Integrating runtime verification into an automated UAS traffic management system
Abigail Hammer
Matthew Cauwels
Benjamin Hertz
Phillip H. Jones
Kristin Y. Rozier
Innovations in Systems and Software Engineering, 2022, 18 : 567 - 580
[42] Integrating Design and Verification - From simple idea to practical system
Seger, Carl
Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2006, : 161 - 161
[43] Integrating out astrophysical uncertainties
Fox, Patrick J.
Liu, Jia
Weiner, Neal
PHYSICAL REVIEW D, 2011, 83 (10):
[44] Integrating automatic verification of safety requirements in Railway Interlocking System design
Dipoppa, G
D'Alessandro, G
Semprini, R
Tronci, E
SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 209 - 219
[45] Integrating Facial Makeup Detection Into Multimodal Biometric User Verification System
Derman, Ekberjan
Galdi, Chiara
Dugelay, Jean-Luc
2017 5TH INTERNATIONAL WORKSHOP ON BIOMETRICS AND FORENSICS (IWBF 2017), 2017,
[46] Uncertainties in tomotherapy IMRT verification measurements
Cattaneo, G. M.
Broggi, S.
Hartmann, G.
Pena, J.
Fazio, F.
Sanchez-Doblado, F.
RADIOTHERAPY AND ONCOLOGY, 2007, 84 : S200 - S200
[47] Integrating contouring uncertainties in target definition
Gregoire, V.
RADIOTHERAPY AND ONCOLOGY, 2020, 152 : S280 - S280
[48] Formal analysis of a self-stabilizing algorithm using prototype verification system prototype verification system
Mao, Ling-Zhao
Deng, Yu-Xin
Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2009, 43 (06): : 875 - 878
[49] Integrating Software and Hardware Verification
Jakobs, Marie-Christine
Platzner, Marco
Wehrheim, Heike
Wiersema, Tobias
INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 307 - 322
[50] Self-Adaptive System Verification based on SysML
Lee, Seung-Min
Park, Soojin
Park, Young B.
2019 INTERNATIONAL CONFERENCE ON ELECTRONICS, INFORMATION, AND COMMUNICATION (ICEIC), 2019, : 306 - 308

← 1 2 3 4 5 →