AADL模式转换设计方法研究

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
me t er q i me to d l e i n e s h e u r t e n f mo e s . d g
Ke r s a c i cu ea ay i n e in l n u g ; mo eta st n ; b h v o n e ; s n a e i i o ; d sg ywo d : r h t t r n l ss d d sg g a e e a a d n io s r i e a i ra n x y t x d fn t n i ei n
A DL标 准 及 其 附 件 内 容 还 需 要 进 一 步 完 善 和 扩 展 ,包 括 行 A 为附件 , 以更 好 地 支 持 系 统 体 系 结 构 建 模 与 分 析 。 航 天 器 控 制 系 统 作 为 一 种 安 全 关 键 的嵌 入 式 系 统 , 设 其 计 要 求 能 够 充 分 捕 获 设 计 需 求 ,满 足 系 统 功 能属 性 和 非 功 能
Re e r h o e i nmeh d o s a c nd sg t o f AADL mo eta st n d n io r i
LI e —o g JAN G ixo g GU n Zh n s n , I Zh— in , Bi
( e ig ntu o t l n ier g eig10 ,C ia B in stto C n o E gnei ,B in 0 0 hn) j I i ef r n j 1 9
述航天器控制系 统此类的工作模 式转换行为 。
行 为 附 件 规 格 文 件 A D 与 A L核 心 标 准 保 持 一致 , 以扩 展
A L 的构 件 包 括 软 件 类 、 行 平 台类 和 系 统 类 3 类 , 中 AD 执 大 其 软件类包含 了数据构件 、 程序构件、 程构件 、 程组构件 、 子 线 线 进 程 构 件 这 5 构 件 ; 行 平 台类 包 含 了处 理器 、 储 器 、 类 执 存 设 备 、总 线 这 4类 构 件 。 系 统 类 的 系 统 构 件 是 作 为软 件类 构 件 和 执 行 平 台类 构 件 的集 成 构 件 而 设 计 的 [1 除 了这 些 构 件 11 01 " ̄ 及 其 连 接 关 系 描 述 的系 统静 态 体 系 结 构 外 ,A L的 执 行 模 AD 型 则 是 来 描 述 系 统 的运 行 时 环 境 , 来 管 理 和 支 持 构 件 的 执 用 行 , 为 同步 和 异 步 两 种 , 括 构件 分 发 、 步 / 步 通 信 、 分 包 同 异 调 度 、模 式变 换 等 行 为 。 线 程 和 子 程 序 构 件 是 最 小 的 执 行 和 调
摘 要 :为 实现 AA L( 系结构分析 与设 计语 言) D 体 对航 天器控 制 系统等运行 模 式相 对 复杂的嵌入 式 系统的详 细描述 ,针对
A DL核 心标 准及 其行 为附件在 描述 能 力上 的 不足 ,在行 为 附件 原有 文 法定义 的基 础上 进行 改进 ,使之 能够对 多条件合 集 A
b h vo sa e ta ston: e a i r t t rn ii :
— —
[ h v r rnio a e : b ai t s i l l ] e o a tn b
_
为 了解 决 A D A L语 言 自身 对 构 件 内部 具 体 执 行 行 为 描 述 能 力 的不 足 ,更 好 的分 析 异 步 模 式 下 的 系 统 行 为 ,法 国 I I RT (o lueistt o cmp r c n e eer ) 出 了行 为 附件 T uo s ntue f o me i c sac 提 i se r h
0 引 言
AA L 体 系 结构 分 析 与 设 计 语 言 ) 准 “ 2 0 年 由 S E D ( 标 04 是 A 体 系 结 构 描 述 语 言 附 属 委 员会 、 入 式计 算 系 统 委 员 会 、 空 嵌 航 电 子 系 统 公 司 共 同提 出 的 一种 应 用 于 嵌 入 式 系 统领 域 的 体 系 结 构 建 模 语 言 , 要 用 于 设 计 和 分 析 安 全 关 键 的 嵌 入 式 实 时 主 系 统 的 软 件 和 硬 件 体 系 结 构 。A L能 够 建 立 软 件 到 硬 件 的 AD 映射 , 持 功 能 属 性 和 非 功 能 属 性 的描 述 , 支 并可 以对 单 一 模 型 进 行 多 种 分 析 , 括 : 时性 、 靠 性 、 全 性 、 包 实 可 安 资源 耗 费 等 。
s Rr o ee s a e tt


a iet e , uc s t iet e} 『 e ai g ad d ni r{s re t e d n f r i f o i _bh v r u r ] i o >
作者简介:李振松 (9 3 ,男,河北廊坊人 ,硕士研 究生,研究方向为嵌入式软件体系结构设计 ; 蒋志雄 (9 0 ,男,湖北人 ,硕士,工 1 8 一) 1 8 一) 程师,研 究方向为嵌入式软件开发与测试; 顾斌 (9 8 ) 16 - ,男 ,湖北孝感人,硕 士,研究员,研究方 向为软件工程 、嵌入式软件设计 。
度单元 。
巴克斯范式(B F 来定义其文 法规格 。 EN) 通过对 构件 内运行状
态 的声 明 以及 状 态 之 间迁 移 过 程 定 义 来 表 述 构 件 内动 态 行 为
运行过程 。状态 间迁移 过程 定义 了在原状态 下满足使 能条件
后 发 生 迁 移 , 达 目的状 态 的过 程 , 时可 以 定义 迁 移 过程 中 到 同 发 生 的 动 作 , 现 与其 它 构 件 的交 互 。 迁 移 过 程 的文 法 定 义 实 如图 1 示。 所
属性 。 通过对 A L在航天器控 制系统体系 结构模 型构建 中 AD
的 应 用 研 究 , 现 由于 实 际 系 统 具 有 多 种 运 行 模 式 , 运 行 模 发 且 式 之 间 的转 换 比较 复 杂 ,当 前 A L核 心 标 准 及 行 为 附 件 用 AD
于描述模式转 换这种动态行为 的能力还 不足 以清晰表达其设
E- i: z n o g ma l he s n
_
2 0 @y h ocm. 05 ao. c o n
47 2 1, o.2 N . 2 0 0 V 1 , o1 1 3 2
计 算机 工程与设计 C mpt nier gadD s n o ueE g ei ei r n n n g
好 地 满 足 了设 计 描 述 上 的 需 求 。
关 键 词 : 系 结 构 分 析 与 设 计 语 言 ; 模 式 转 换 ; 行 为 附件 ; 文 法 定 义 ; 设 计 体
中 图法分类 号 : P 0 T 32
文献标 识码 : A
文章编 号 :0 07 2 (0 1 1.2 90 10 .0 4 2 1) 246 .4
下 的模 式 转换 以及模 式转换 的优 先级进 行描述 。 出了抽 象状 态的概念 以 简化 原行 为 附件 文法在描 述组 合式状 态转换 关 系 提 方 面的繁 杂程度 , 高设 计模型 的可读 性 通过对 实际控 制 系统运行 模式进 行设 计 , 果表 明 了改进后 的行 为附件 文法很 提 结
Abta t o e et sr eh ed d ytm vn mpe n ig d s uha aerfcnrlyt s c:T r cl d ci e mb d e s h igc l r nn e,sc s ccato t s m,A L (rh— r p f y e bt e s e a o xu mo sp os e AD ac i tc r n ls d ei g a e iu e .T e ytxdf io f DLb hvo n xii rv d a n t ei m ino et e ayia s nl u g ) s sd h na e nt no AA e air n e o e, i gat mit f u a sn d g a n s i i a smp mi l h o
计 需 求 , 此 在 保 证 与 原 有 行 为 附 件 语 义 一 致 的前 提 下 , 文 为 本 针 对 需 求 对 行 为 附 件 的文 法 进 行 改 进 , 求解 决 方 法 。 寻
A DL作为一种 可扩展标 准语 言,分为核心 标准和扩展语 言 A
两 部 分 。行 为 附 件 是 基 于 自动 状 态 机 理 论 的 A DL扩 展 附 A 件, 对 A D 是 A L在 描 述 系 统 动 态 行 为 方 面 的有 利 补 充 。 文献 [-] 过 实 例 建 模 对 行 为 附 件 的 应 用 展 开 论 述 。文 献 [ 9则 67通 8] 是 对 其 语 义 的形 式 化 工 作 进 行 了 深 入 研 究 ,为后 续 开 展 形 式 化 的 分 析 验 证 工 作 打 下 基 础 。 为 了适 应 不 同 的 应 用 需 求 ,
c n e t f b ta t tt r p s dt i lytemo e cu igc mbn dsaeta st n n oi p i a a it. Fn l , a o c p s c aei p o o e smpi d ln ldn o ie tt rn io sa dp l hu s e d b l oa r s s o f h i i s tr i y ial y
A ADLkre s n a d e air n x n eciig h d a s i s t l—o dt n o l nu c o d r ry h n lt dr a hvo e sr n e e a dn b n a o d b t mo ernio h tcn io oe c jn t na i i .T e t t n wi mu i i b a o n i n pot
1 AA L与 航 天 器控 制 系统 模 式 转换 D
11 AA . DL概 述
A L 言 是 A L标 准 的核 心 , 文 本 、 AD 语 AD 有 图形 和 类 X ML
共 3 表示方法, 3 种 这 种表示方法是等价 的, 且可 以相互转换 。
收稿 日期 :2 1 0 —6 0 1 11 ;修订 日期:2 1- —1 - 0 1 32 。 0 基金项 目:国家 自然科学基金项 目 (0 104 。 9 8 8 2)
计 算 机 工 程 与 设计 C m u r ni en d e g 2 1, o 3, o 2 29 o pt g er g n s n 0 1 V 1 2 N . 4 6 eE n i a D i . 1
A D A L模式转换设计方法研究
李振松 , 蒋 志雄 , 顾 斌
( 北京 控制 工程 研 究所 ,北京 10 9 பைடு நூலகம் 0 10
mo e fa cu l p c c a t o t l y t m t l mm i gmo e s e i n d i d l a t a a e r f n r s o n s c o s e wi mu t r h i n d si d sg e AADL t r v h t h e e me t e a i ra n x n p o et a eb R r n h v o n e o t b
相关文档
最新文档