反应式嵌入式系统形式化性能模型的研究
Research on Formal Performance Model of Reactive Embedded Systems作者机构：上海交通大学计算机科学与工程系上海200030
出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)
年 卷 期：2005年第26卷第11期
页 面：2054-2056页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.
维普期刊数据库
同方期刊数据库