Autonomics：探寻下一代自治系统的基础
软件工程
2022-05-25 v1
摘要
自治系统的潜在益处一直推动着此类系统及支撑工具与方法论的密集开发。然而，在此类开发成为普遍工程实践并产出被认可且可信的成果之前，仍有重大问题亟待解决。我们认为，一个坚实、演进中、公开可用、由社区控制的用于开发下一代自治系统的基础是必须的。我们讨论了此类基础所需的条件，指出其核心方面即决策，并聚焦于三个主要挑战：（i）在未来事件与状况不可预测、且现有语言不足以描述它们的情况下，如何规约自治系统行为及关联决策；（ii）如何针对包含人类、物理制品与其他系统的丰富环境，对系统行为开展忠实的仿真与分析；（iii）如何工程化结合可执行模型驱动技术与数据驱动机器学习技术的系统。我们认为，autonomics——即研究下一代自治系统所呈现的独特挑战并致力于解决之——可在系统科学与工程领域带来实质性贡献与创新。
引用
@article{arxiv.1911.07133,
title = {Autonomics: In Search of a Foundation for Next Generation Autonomous Systems},
author = {David Harel and Assaf Marron and Joseph Sifakis},
journal= {arXiv preprint arXiv:1911.07133},
year = {2022}
}