摘要
随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Petri网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。
With the increasing complexity of embedded system design, the description of the system is raised higher and higher requirements,especially real-time performance,therefore how would you describe the real-time performance is gradually paid attention. In embedded systems, thread time attribute affects the system in real time, so early in the design use the AADL to describe thread, but the AADL is only a semi-formal language, which is not enough accurate and may incur ambiguity. Thus, the model of AADL is transformed into time Petri nets, but time Petri nets cannot be a good representation of the AADL time property. On the basis of the time properties of AADL model, for the time Petri consider the regional value delay and fixed delay, and fix delay as a special case of the regional value of the delay. Finally, give the corresponding rules of the AADL transformed into the time Petri net.
出处
《计算机技术与发展》
2014年第2期88-91,共4页
Computer Technology and Development
基金
教育部博士点基金项目(200807180005)
