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

作     者：冯艳清 谷鹏花 熊爱金 

作者机构：同方电子科技有限公司江西九江332000 

出 版 物：《电脑编程技巧与维护》 (Computer Programming Skills & Maintenance)

年 卷 期：2021年第1期

页      码：108-109,115页

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

主 题 词：形式化分析 数据缓存机制 ZYNQ芯片 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16184/j.cnki.comprg.2021.01.038

馆 藏 号：203101718...