反应式嵌入式系统形式化性能模型的研究

摘要：

基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.

关键词：嵌入式系统、进程代数、形式化方法、性能

所属期刊栏目：26

分类号：TP393(计算技术、计算机技术)

在线出版日期：2005-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2054-2056