Research on Formal Performance Model of Reactive Embedded Systems
Bai Ying-cai · Mini-micro Systems · 2005
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.