arXiv cs.AI· Fatemeh Bahrami, Seyed-Hosein Attarzadeh-Niaki·· 3 天前AI 评分15
SafeDSE：面向数据流应用的安全架构模式、映射与调度联合探索及安全论证
SafeDSE: Joint Exploration of Safety Architecture Patterns, Mapping, and Scheduling for Dataflow Applications With Safety Arguments (Extended Version)
AI 导读
SafeDSE 是一个面向同步数据流应用的设计空间探索框架，用单一声明式约束模型同时决定每个 actor 的模式、故障模型要求的放置、静态顺序调度与平台，并对 SIL 提升定价。
正文 · AI 翻译
摘要：嵌入式平台越来越多地将安全相关的流式功能与不太关键的功能放在一起。安全架构模式（例如执行者/检查者对）能否保护某个功能，取决于运行其组件的核心。它们的调度必须满足吞吐量要求，而在一个核心上混合安全完整性等级（SIL）会提高开发成本。本报告提出了 SafeDSE，一个面向同步数据流应用的设计空间探索框架。一个声明式约束模型决定每个 actor 的模式、故障模型所要求的放置、静态顺序调度以及平台，并对 SIL 提升进行定价。守卫在包含所有模式的固定图中激活所选模式，节点势能编码吞吐量。一个独立的验证器重新检查每个解，一个生成器将其检查转化为目标结构化表示法中的安全论证证据。在周期约束下的 9 个基准实例上，在保守定价下，没有任何在映射前固定模式的规则既总是可行又从不更昂贵，而联合探索则满足这一点。在生成的论证中，49% 到 62% 的叶子节点引用了验证器检查；其余是映射无法消解的主张。对于所有最多 16 个 actor 的合成图，模型内的最优性均得到证明。本扩展版本增加了完整模型、验证器和生成器的详细信息、完整目录和参数，以及势能表征的证明。它还报告了每个实例的每项实验、验证器的变异分析以及开发中的负面结果。
| 评论： | 38 页，12 幅图，29 张表。投稿论文的扩展版本；工具和数据见 此 http URL |
| 主题： | 硬件架构（cs.AR）；人工智能（cs.AI）；计算机科学中的逻辑（cs.LO）；软件工程（cs.SE） |
| 引用为： | arXiv:2610.16213 [cs.AR] |
| （或 arXiv:2610.16213v1 [cs.AR] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.16213 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Seyed-Hosein Attarzadeh-Niaki [查看电子邮件]
[v1]
2026年10月12日星期一 05:43:56 UTC（664 KB）
来源：arXiv cs.AI · arxiv.org