| 反应式嵌入式系统形式化性能模型的研究 |
| |
| 引用本文： | 张冠华,张连华,白英彩.反应式嵌入式系统形式化性能模型的研究[J].小型微型计算机系统,2005,26(11):2054-2056. |
| |
| 作者姓名： | 张冠华 张连华 白英彩 |
| |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 基于进程代数EACSR-VP和形式化描述语言CPSL，介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型．该模型通过抽象去掉了实现了细节，是可执行的，利用其可以对不同的设计方案进行定量的性能验证，得到不同系统的性能指标并进行分析和比较，从而使最终的系统实现满足特定性能指标要求．
|
| 关 键 词： | 嵌入式系统 进程代数 形式化方法 性能 |
| 文章编号： | 1000-1220（2005）11-2054-03 |
| 收稿时间： | 2004-02-09 |
| 修稿时间： | 2004-02-09 |
Research on Formal Performance Model of Reactive Embedded Systems |
| |
| ZHANG Guan-hua,ZHANG Lian-hua,BAI Ying-cai.Research on Formal Performance Model of Reactive Embedded Systems[J].Mini-micro Systems,2005,26(11):2054-2056. |
| |
| Authors: | ZHANG Guan-hua ZHANG Lian-hua BAI Ying-cai |
| |
| Affiliation: | Department of Computer Science, Shanghai diaotong University, Shanghai 200030, China |
| |
| Abstract: | 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. |
| |
| Keywords: | embedded system process algebra formal method Performance |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
