Autonomics: In search of a foundation for next-generation autonomous systems

被引:34
作者
Harel, David [1 ]
Marron, Assaf [1 ]
Sifakis, Joseph [2 ]
机构
[1] Weizmann Inst Sci, Dept Comp Sci & Appl Math, IL-7610001 Rehovot, Israel
[2] Univ Grenoble Alpes, Verimag Lab, F-38400 St Martin Dheres, France
基金
以色列科学基金会;
关键词
autonomous systems; autonomics; trustworthy systems;
D O I
10.1073/pnas.2003162117
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next-generation autonomous systems is a must, and term the desired foundation "autonomics." We focus on three main challenges: 1) how to specify autonomous system behavior in the face of unpredictability; 2) how to carry out faithful analysis of system behavior with respect to rich environments that include hu-mans, physical artifacts, and other systems; and 3) how to build such systems by combining executable modeling techniques from software engineering with artificial intelligence and machine learning.
引用
收藏
页码:17491 / 17498
页数:8
相关论文
共 37 条
[1]  
ACM, ACM T AUTONOMOUS ADA
[2]  
[Anonymous], 2017, ARXIV170806374
[3]  
[Anonymous], JOURNEY
[4]   Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection [J].
Bertero, Christophe ;
Roy, Matthieu ;
Sauvanaud, Carla ;
Tredan, Gilles .
2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, :351-360
[5]  
Boschert S., 2019, 3 IEEE
[6]  
Boston Dynamics, 2019, BOSTON DYNAMICS SPOT
[7]  
Bouyer P, 2019, PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P1588
[8]   Situation analytics - at the dawn of a new software engineering paradigm [J].
Chang, Carl K. .
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
[9]  
Chang CK, 2016, COMPUTER, V49, P23
[10]  
Dambrot S. M., 2018, 2 IEEE