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.
Journal article
Autonomics: In search of a foundation for next-generation autonomous systems
Proceedings of the National Academy of Sciences of the United States of America, Vol.117(30), pp.17491-17498
28/Jul/2020
Published (Version of record)CC BY-NC-ND V4.0, Open Access
Abstract
Details
- Title
- Autonomics; In search of a foundation for next-generation autonomous systems
- Creators
- David Harel (Corresponding Author) - 972WIS_INST___83Assaf Marron (null) - 972WIS_INST___83Joseph Sifakis (null) - Université Grenoble Alpes
- Resource Type
- Journal article
- Publication Details
- Proceedings of the National Academy of Sciences of the United States of America, Vol.117(30), pp.17491-17498; 28/Jul/2020
- Number of pages
- 8
- Language
- English
- DOI
- https://doi.org/10.1073/pnas.2003162117
- Grant note
- We are grateful to Guy Katz and Orna Kupferman for valuable discussions in the early stages of preparing the paper. This work was supported in part by grants to D.H. from the Israel Science Foundation, Intel Corporation, and the Estate of Emile Mimran, and from his endowed William Sussman Professorial Chair of Mathematics at the Weizmann Institute. This contribution is part of the special series of Inaugural Articles by members of the National Academy of Sciences elected in 2019. Author contributions: D.H., A.M., and J.S. designed research, performed research, and wrote the paper.
- Record Identifier
- 993264090503596
Metrics
11 Record Views