嵌入式系统数据缓存机制的形式化分析

• 作者: 冯艳清 谷鹏花 熊爱金
• 来源期刊: 电脑编程技巧与维护
• 关键词: 形式化分析 数据缓存机制 ZYNQ芯片
• 年，卷（期）: 2021,（1）
• 所属期刊栏目: 数据库与信息管理
• 页码范围: 108-109,115
• 页数: 3页
• 语种: 中文

摘要

嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法.