[1]吴育春,李蜀瑜.基于时间Petri网的AADL模型[J].计算机技术与发展,2014,24(02):88-91.
　WU Yu-chun,LI Shu-yu.AADL Model Based on TPN[J].,2014,24(02):88-91.
点击复制

基于时间Petri网的AADL模型()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
24
期数:
2014年02期
页码:
88-91
栏目:
智能、算法、系统工程
出版日期:
2014-02-28

文章信息/Info

Title:
AADL Model Based on TPN
文章编号:
1673-629X（2014）02-0088-04
作者:
吴育春; 李蜀瑜
陕西师范大学 计算机科学学院
Author(s):
WU Yu-chun; LI Shu-yu
关键词:
AADL; 时间Petri网; 转化规则
Keywords:
AADL; time Petri nets; transformation rules
分类号:
TP31
文献标志码:
A
摘要:
随着嵌入式系统设计日益复杂，对系统的描述也提出了越来越高的要求，特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中，线程的时间属性影响着系统的实时性，因此在设计早期利用AADL描述线程，但是AADL只是一种半形式化的语言，不够精确，并可能产生二义性。因此，把AADL模型转化为时间Petri网，但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上，针对时间Petri考虑区域值延时与固定延时，并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。
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.

相似文献/References:

[1]韩咚 陈波.基于时间Petri网的多处理机的调度算法[J].计算机技术与发展,2007,(06):15.
　HAN Dong,CHEN Bo.Algorithm of Multiprocessor Scheduling Based on Time Petri Nets[J].,2007,(02):15.
[2]王雪辉 魏臻.基于时间Petri网的企业铁路作业系统模型的研究[J].计算机技术与发展,2007,(02):92.
　WANG Xue-hui,WEI Zhen.Research on Enterprise Railway Plan System Model Based on Timed Petri Nets[J].,2007,(02):92.
[3]杨莉[][],李楠[],席隆[]. 基于AADL的嵌入式系统可靠性建模方法的探讨[J].计算机技术与发展,2015,25(08):234.
　YANG Li[][],LI Nan[],XI Long[]. Discussion on Reliability Modeling for Embedded System Based on AADL[J].,2015,25(02):234.
[4]马铮,黄连丽,陶冰冰,等. 一种结合AADL和TPN的系统能耗建模方法[J].计算机技术与发展,2017,27(06):151.
　MA Zheng,HUANG Lian-li,TAO Bing-bing,et al. An Embedded System Energy Consumption Modeling Method Using AADL and TPN[J].,2017,27(02):151.
[5]曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换[J].计算机技术与发展,2019,29(10):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
　CAO Xue-yue,CAO Zi-ning,BU Xing-chen.Hybrid AADL Modeling and Model Transformation for Cyber Physical System[J].,2019,29(02):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
[6]李 蜜,庄 毅.基于 XSLT 的可靠性模型的自动转换方法[J].计算机技术与发展,2019,29(12):21.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
　LI Mi,ZHUANG Yi.Automatic Transformation Method of Reliability Model Based on XSLT[J].,2019,29(02):21.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
[7]卜星晨,曹子宁,胡名光.带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
　BU Xing-chen,CAO Zi-ning,HU Ming-guang.A Modeling Method of Cyber-physical System with Data Constraints[J].,2020,30(02):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
[8]刘歆宁*,康 玲.基于 AADL 模型航空安全软件可信性度量方法[J].计算机技术与发展,2023,33(08):81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]
　LIU Xin-ning*,KANG Ling.Trustworthiness Measurement Method of Aviation Software Based on AADL Model[J].,2023,33(02):81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]

更新日期/Last Update: 1900-01-01