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

【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,performance 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.更多还原