计算机技术与发展Issue(2)：88-91,4.DOI:10.3969/j.issn.1673-629X.2014.02.021
基于时间Petri网的AADL模型
AADL Model Based on TPN
摘要
Abstract
With the increasing complexity of embedded system design,the description of the system is raised higher and higher require-ments,especially real-time performance,therefore how would you describe the real-time performance is gradually paid attention. In em-bedded 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.关键词
AADL/时间Petri网/转化规则Key words
AADL/time Petri nets/transformation rules分类
信息技术与安全科学引用本文复制引用
吴育春,李蜀瑜..基于时间Petri网的AADL模型[J].计算机技术与发展,2014,(2):88-91,4.基金项目
教育部博士点基金项目(200807180005) （200807180005）
