-
题名AADL模式转换设计方法研究
被引量:1
- 1
-
-
作者
李振松
蒋志雄
顾斌
-
机构
北京控制工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第12期4269-4272,共4页
-
基金
国家自然科学基金项目(90818024)
-
文摘
为实现AADL(体系结构分析与设计语言)对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在描述能力上的不足,在行为附件原有文法定义的基础上进行改进,使之能够对多条件合集下的模式转换以及模式转换的优先级进行描述。提出了抽象状态的概念以简化原行为附件文法在描述组合式状态转换关系方面的繁杂程度,提高设计模型的可读性。通过对实际控制系统运行模式进行设计,结果表明了改进后的行为附件文法很好地满足了设计描述上的需求。
-
关键词
体系结构分析与设计语言
模式转换
行为附件
文法定义
设计
-
Keywords
architecture analysis and design language
mode transitions
behavior annex
syntax definition
design
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名系统架构描述语言AADL的功能行为建模扩展
被引量:2
- 2
-
-
作者
许金淼
杨志斌
黄志球
谢健
周勇
-
机构
南京航空航天大学计算机科学与技术学院
高安全系统的软件开发与验证技术工信部重点实验室
-
出处
《计算机科学与探索》
CSCD
北大核心
2019年第10期1638-1653,共16页
-
基金
国家自然科学基金
国家重点研发计划
+2 种基金
GF基础科研重点项目
江苏省自然科学基金
中央高校基本科研业务费专项资金~~
-
文摘
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。
-
关键词
安全关键系统
架构分析与设计语言(AADL)
层次行为附件(HBA)
功能规约
-
Keywords
safety-critical system
architecture analysis and design language(AADL)
hierarchical behavior annex(HBA)
functional specification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-