SafeDSE：数据流应用安全架构联合探索框架

2026年10月15日，arXiv 人工智能板块发布论文《SafeDSE：面向数据流应用的安全架构模式、映射与调度联合探索及安全论证》，作者为 Fatemeh Bahrami 与 Seyed-Hosein Attarzadeh-Niaki。该文提出 SafeDSE，一个面向同步数据流应用的设计空间探索框架，用单一声明式约束模型同时决定各 actor 的模式、故障模型要求的放置、静态顺序调度与平台，并对 SIL 提升定价。报道称，在 9 个周期约束下的基准实例上，没有任何“先固定模式再映射”的规则既始终可行又在保守定价下从不更贵，而联合探索满足这两点；在生成的论证中，49% 至 62% 的叶子引用验证器检查，其余为映射无法消解的声明；对所有不超过 16 个 actor 的合成图，模型内最优性得到证明。工具与数据见论文给出的网址。目前进展限于该论文发布，尚无后续跟进报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。