Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintaining them under continuous change, and evolving them safely require trustworthy knowledge about the system, its assumptions, and its operating context. Knowledge models (KMs) provide a practical basis for such reasoning, but they may themselves become incomplete, inconsistent, or outdated as systems evolve. This paper presents TrustModel, a vision for the agentic generation and evolution of living KMs. TrustModel comprises three agentic subsystems: Modeling, for constructing and updating KMs; Conformance, for assessing their alignment with the system and its environment; and Evolution, for generating guidance to keep KMs synchronized with emerging changes. We demonstrate how TrustModel can be instantiated for model-based testing and discuss its potential for supporting other MDE activities, such as requirements and assumption monitoring, architectural drift tracking, and change impact assessment. Overall, TrustModel positions living KMs as a foundation for dependable engineering of continuously evolving software systems.


翻译:诸如自动驾驶车辆、机器人等复杂软件系统日益与动态的物理、网络及社会环境交互。对其行为进行推理、在持续变更中维护系统以及安全地演化系统,需要关于系统本身、其假设及运行环境的可信知识。知识模型为这类推理提供了实用基础,但随着系统演化,这些模型本身可能变得不完整、不一致或过时。本文提出TrustModel——一种面向自主体生成与演化动态知识模型的愿景。TrustModel包含三个自主体子系统:建模子系统用于构建和更新知识模型;合规性子系统用于评估模型与系统及环境的一致性;演化子系统用于生成指导,使知识模型与新兴变更保持同步。我们展示了如何将TrustModel实例化以支持基于模型的测试,并探讨了其在其他模型驱动工程活动中的潜力,例如需求与假设监控、架构漂移追踪以及变更影响评估。总之,TrustModel将动态知识模型定位为持续演化软件系统可信赖工程的基石。

0
下载
关闭预览

相关内容

「知识增强预训练语言模型」最新研究综述
专知
18+阅读 · 2022年11月18日
数据驱动的态势认知技术及发展思考
专知
19+阅读 · 2022年7月12日
基于知识图谱的问答系统
PaperWeekly
21+阅读 · 2021年2月8日
知识图谱的自动构建
DataFunTalk
58+阅读 · 2019年12月9日
一文看懂AutoEncoder模型演进图谱
AINLP
12+阅读 · 2019年6月17日
【知识图谱】知识图谱+人工智能=新型网络信息体系
产业智能官
14+阅读 · 2018年11月18日
国家自然科学基金
1+阅读 · 2016年12月31日
国家自然科学基金
10+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
18+阅读 · 2012年12月31日
Arxiv
0+阅读 · 6月11日
VIP会员
最新内容
学习数据的几何:形状空间分析数学综述
专知会员服务
6+阅读 · 6月17日
定向能反无人机系统最新发展动态
专知会员服务
7+阅读 · 6月17日
从燃煤战舰到算法战争:水面指挥的永恒要求
专知会员服务
4+阅读 · 6月17日
相关VIP内容
相关基金
国家自然科学基金
1+阅读 · 2016年12月31日
国家自然科学基金
10+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
18+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员