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 条
  • [1] Teaming With Self-Integrating Systems
    Landauer, Christopher
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2020), 2020, : 101 - 106
  • [2] Trustworthy Self-Integrating Systems
    Rushby, John
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2016), 2016, 9581 : 19 - 29
  • [3] Self-integrating knowledge-based brain tumor diagnostic system
    Wang, CH
    Hong, TP
    Tseng, SS
    EXPERT SYSTEMS WITH APPLICATIONS, 1996, 11 (03) : 351 - 360
  • [4] A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
    Pol, Marius
    Diaconescu, Ada
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2020), 2020, : 85 - 90
  • [5] Modelling requirements for self-integrating manufacturing systems
    Denno, P
    GLOBAL ENGINEERING, MANUFACTURING AND ENTERPRISE NETWORKS, 2001, 63 : 137 - 144
  • [6] Rapid Self-Integrating, Injectable Hydrogel for Tissue Complex Regeneration
    Hou, Sen
    Wang, Xuefei
    Park, Sean
    Jin, Xiaobing
    Ma, Peter X.
    ADVANCED HEALTHCARE MATERIALS, 2015, 4 (10) : 1491 - 1495
  • [7] Toward self-integrating software applications for supply chain management
    Jones, A
    Ivezic, N
    Gruninger, M
    INFORMATION SYSTEMS FRONTIERS, 2001, 3 (04) : 403 - 412
  • [8] Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems
    Diaconescu, Ada
    Porter, Barry
    Rodrigues, Roberto
    Pournaras, Evangelos
    2018 IEEE 3RD INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2018, : 168 - 175
  • [9] Self-Integrating and Self-Improving Systems Must Be Socially Sensitive
    Lewis, Peter R.
    2017 IEEE 2ND INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2017, : 148 - 148
  • [10] Toward Self-Integrating Software Applications for Supply Chain Management
    Albert Jones
    Nenad Ivezic
    Michael Gruninger
    Information Systems Frontiers, 2001, 3 : 403 - 412
12345