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

Research on Formal Performance Model of Reactive Embedded Systems

作　　者：张冠华[1] 张连华[1] 白英彩[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《小型微型计算机系统》2005年第11期2054-2056,共3页Journal of Chinese Computer Systems

摘　　要：基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.Based on process algebra EACSR-VP and formal specification language CPSL, this paper introduces construction and specification of formal performance evaluation model, which is abstracted from the details and is executable. Using it, perfor- mance validation of different design schemes can be done quantitatively and the performance results can be analyzed and compared. Therefore, the final implementation of system can satisfy the specific performance requirement of system.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]