Research on Formal Performance Model of Reactive Embedded Systems

ZHANG Guan-hua,ZHANG Lian-hua,BAI Ying-cai
DOI: https://doi.org/10.3969/j.issn.1000-1220.2005.11.043
2005-01-01
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.
What problem does this paper attempt to address?