arXiv Artificial Intelligence· Fatemeh Bahrami, Seyed-Hosein Attarzadeh-Niaki·· 18 小时前AI 评分22
SafeDSE：面向数据流应用的安全架构模式、映射与调度联合探索及安全论证
SafeDSE: Joint Exploration of Safety Architecture Patterns, Mapping, and Scheduling for Dataflow Applications With Safety Arguments (Extended Version)
AI 导读
SafeDSE 是一个面向同步数据流应用的设计空间探索框架，用单一声明式约束模型同时决定各 actor 的模式、故障模型要求的放置、静态顺序调度与平台，并对 SIL 提升定价。
来源：arXiv Artificial Intelligence · arxiv.org