为超级反应系统做好准备: 超级反应系统开发中的早期故障检测
软件工程
2025-06-17 v2
摘要
我们提出“超级反应系统”(Super-Reactive Systems)这一概念，指构造和行为复杂、持续变化和演化，并与其他系统和物理世界深度交织的反应系统。在规划和开发阶段发现隐藏故障对于人类安全、环境、社会和经济至关重要。然而，系统复杂性及其交互作用以及缺乏充分技术细节构成了巨大障碍。我们提出一种用于模型和工具的架构，以克服这些障碍，使其能够在超级反应系统开发早期进行仿真、系统分析和故障检测与处理。该方法借助大型语言模型及其关联AI工具的推理和抽象能力，以及其所提供的力量和知识。其基础包括：(i)对以自然语言形式存储的模型元素的延迟即时解释，以及(ii)及早捕获看似正交要求之间的隐性相互依赖。
引用
@article{arxiv.2410.02627,
title = {Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems},
author = {David Harel and Assaf Marron},
journal= {arXiv preprint arXiv:2410.02627},
year = {2025}
}