SymPLe: Complexity-Aware Design for Safety Critical I&C Systems

Richard Hite,Abhi Rajagopala,Smitha Gautham,Christopher Deloglos,Athira Jayakumar,Aidan Collins,Carl Elks,Matt Gibson

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)（2021）

引用 1|浏览13

暂无评分

摘要

Complexity significantly erodes confidence and trust in both the design and the operation of safety critical systems. During the design phase, complexity impedes the verification and certification processes that guarantee the prevention and control of system errors (or hazards) during operation. This paper presents a novel architectural framework, known as SymPLe, to manage the complexity of highl...

查看译文

关键词

Safety Critical Systems,I&C,FPGA,Overlay,Architecture,Model-Based Design,Complexity Management,Verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要