基于时间Petri网的AADL模型

• 作者: 吴育春 李蜀瑜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: AADL 时间Petri网 转化规则
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 88-91
• 页数: 4页
• 分类号: TP31
• 字数: 3091字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2014.02.021

摘要

随着嵌入式系统设计日益复杂，对系统的描述也提出了越来越高的要求，特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中，线程的时间属性影响着系统的实时性，因此在设计早期利用AADL描述线程，但是AADL只是一种半形式化的语言，不够精确，并可能产生二义性。因此，把AADL模型转化为时间Petri网，但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上，针对时间Petri考虑区域值延时与固定延时，并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李蜀瑜	陕西师范大学计算机科学学院	57	229	7.0	11.0
2	吴育春	陕西师范大学计算机科学学院	1	4	1.0	1.0