AADL测试模型的构造研究

合集下载

AADL综述

AADL:嵌入式实时系统体系结构设计与分析语言综述摘要：结构分析和设计语言(architecture analysis and design language)是嵌入式实时系统的一种体系结构描述语言标准，广泛应用于航空宇航工业中对安全关键应用系统模型的建模。

本文首先归纳了AADL的发展历程及其主要建模元素。

其次，介绍了模型检测方法的研究和应用，并就航电系统与模型检测方法做了研究和分析。

最后，探讨了AADL 模型转化为形式化模型，并用模型检测方法进行验证和分析的方法和可行性。

关键字嵌入式实时系统AADL 建模形式化方法模型验证1.引言嵌入式实时系统广泛应用于航空航天、汽车控制、机器人、等安全关键系统领域。

由于计算精度、实时响应的要求的提高，系统变得越来越复杂，如何设计与实现具有高可靠性、高质量的复杂嵌入式实时系统，同时有效的控制开发的效率和成本，成为学术界和工业界共同的话题。

模型驱动开发方法(model driven develop- ment，简称MDD)能够在早期阶段对系统进行分析与验证，有助于保证系统的质量属性，并有效控制开发时间与成本。

而质量属性是由系统体系结构决定的[1]。

因此，基于体系结构模型驱动(model-based architecture-driven)的设计与开发方法成为复杂嵌入式系统领域的重要研究内容。

其中一个重要的方面就是研究合适的体系结构描述语言。

常用的体系结构描述语言主要有UML(unifi-ed modeling language) 和ADL (architecture description language)。

UML侧重描述系统的软件体系结构，为了支持嵌入式实时系统的非功能属性分析，OMG(Object Management Group)先后定义了UML Profile for SPT(schedulability，perfor-mance，and time，简称SPT)[2]，UML Profile for Qos/FT(quality of service and fault tolerance，简称Qos/FT)[3]以及UML Profile MARTE(modeling and analysis of real-time and embedded sys-tems)[4]，它们继承了UML 的多模型多分析方法，因此模型之间可能存在不一致性；而C2，Darwin，Wright，Aesop，Unicon，Rapide 等ADL都是通用领域的软件体系结构描述语言，难以满足软硬件协同设计、实时响应、资源受限等特定需求;MetaH 是面向航空电子系统的ADL，可以用于嵌入式实时系统体系结构描述与分析，但MetaH 在支持运行时体系结构描述、可扩展、与其他ADL 兼容以及复杂系统设计等方面有所欠缺。

211245933_一种基于B_方法的需求描述转化为AADL_模型的研究

0引言任务关键型系统是一种对实时性、可靠性和安全性等都有严格要求的系统，如应用在航空航天发动机管理系统、交通运输信号管理系统等。

所以，任务关键型系统的研发过程中应该采取何种技术或流程开发出高可靠性的系统产品也是业界研究和探讨的热点。

目前，基于模型驱动的软件开发方法因为可以提升和确保软件系统最终的质量，所以在业界得到了广泛的应用，同时业界也在探寻其他数学方式如形式化方法等来持续提升系统的可靠性、安全性等非功能属性。

B方法是一种面向模型的形式化需求方法，用伪代码描述系统需求模型，对系统原始需进行形式化描述。

结构分析与设计语言（ArchitectureAnalysis&Desing Language，AADL）被认为是基于模型驱动的嵌入式实时系统设计与实现的基础，可以对任务关键系统进行设计建模。

为了确保任务关键系统的模型满足系统的原始需求，本文提出了一种基于形式化B方法生成AADL模型的方法，在需求阶段采用形式化的B方法描述系统的需求，通过构建B 方法与AADL的语法映射规则，由B方法形式化需求描述生成相应的AADL模型，从而确保AADL设计模型的正确性。

后续可以使用模型驱动的测试方法，基于AADL模型生成测试用例对系统直接开展验证，从而基于模型保证需求描述到测试用例的自动转换，减小对需求理解的偏差，提升和保证测试用例对需求覆盖的精确性、全面性。

1相关技术1.1B方法形式化方法是指建立在严格数学基础上的软件开发方法。

在软件开发过程中，从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护的各阶段，凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法［1］。

B方法是一种基于模型的软件构造方法，类似于VDM（Vienna Development Method）和Z（一种基于一阶谓词逻辑和集合论的形式规格说明语言）［2］。

B语言支持规格说明，并且支持继规格说明之后所有的精化和设计步骤［3］。

基于AADL结构分析与设计语言仿真建模技术

基于AADL 的模型设计与仿真分析技术AADL （Architecture Analysis and Design language ）是一种应用于嵌入式系统领域的体系结构建模语言，支持航空、航天、汽车等领域复杂实时的安全关键系统的设计与分析。

AADL 具有语法简单、功能强大、可扩展等优点，能够对嵌入式软件的功能和非功能属性进行建模与描述，在开发早期对系统进行分析与验证。

AADL 组件类别AADL 提供了标准化的文本和图形描述，是一个用以区分各类组件接口规范、组件实现蓝图以及组件实例之间的区别的组件基建模语言。

组件由组件类型和组件实现两种方式描述。

组件类型定义了组件与外界联系的接口，如特征、流应用、模式、属性等；组件实现定义了组件的内部结构，如子组件、连接、流等。

系统建模中常用的组件如下[1]：应用软件process （进程）受保护的地址空间 thread （线程）进程中与执行、调度相关的组件 data （数据）源代码、数据或数据类型执行平台processor （处理器）调度和执行线程及虚拟处理器memory （存储器）存储数据和程序 bus （总线）实现执行平台组件间的交互 device （设备）表示与外部环境接口的传感器等其他组件复合system （系统）抽象代表包括软件、执行平台或系统组件的复合体图 1 AADL 核心组件systemvirtualprocessorprocessor memorydevice virtual busbus abstractsubprogramprocess thread group groupsubprogram datathread HWSWAADL 建模过程模型驱动体系结构MDA （Model Driven Architecture ）将模型分为两种：平台无关模型PIM (Platform Independent Model)，描述从执行平台抽象的功能和结构；平台相关模型PSM (Platform Specific Model)，描述特定执行平台上的功能和结构。

AADL

化。本文主要介绍了ＡＡＤＬ数据通信的特点，
特征。２．１原子构件
程会延迟直到发送线程的完成才开始执行：在
ＳＹＮＣ状态，ｅｘｅｃｕｔｉｏｎ不执行。在ＡＳＹＮＳ状
态，第一个线程的完成和第二个线程的执行不键词】ＡＡＤＬＢＩＰ周期线程通信２２连接件和交互
５结论
近年来形式化方法作为确保可靠性的一种重要补充得到了广泛应用。ＢＩＰ是一个通用的系统级形式化建模框架，支持层次化和模块
一
述构件及构件复合的系统级形式化建模语它的工具能够来分析模型和生成平台代码。语言提供了强大的机制来构建涉构件之间
ＤａｔａＢａｓｅＴｅｃｈｎｉｑｕｅ・数据库技术
ＡＡＤＬ数据通信的ＢＩＰ建模研究
文／刘玮
（１）原子构件：一类带有行为描述的构
随着ＡＡＤＬ在基于模型驱动
即时通信和延迟通信。
件，其行为里定义了一些迁移，（ｅｍｐｔｙ）交互和优先级。带有行为名的端口的触发迁移用
图４描述了即时通信的自动控制过程。
当时间与两个交互线程周期的最小公倍数对齐时，数据传输可以通过端口ｃｏｍｐｌｅｔｉｏｎｉ同步通信。在这种情况下，接收线＿
ｍｍｅｄｉａｔｅ
的状态来判定。下面详细描述这个语言的主要
２．３优先权

一种面向AADL架构的模型测试方法

0 引言
SAE 发布的 AA DL ( A rchitecture A naly sis and Desig n Lang uag e) 是一种嵌入式系统建模语言 , 它以构件的形式来描述整个系统 , 通过定义系统中的构件及构件间的交互来对系统结构进行建模 [ 1] 。此外 AA DL 规范可以通过定义 annex 进行扩展。目前已发布的 err or model annex 标准被用来描述系统的可靠性、安全性 [ 2] , 软件设计人员可以综合使用 AA DL 结构模型和错误模型对嵌入式系统进行建模。相比其他建模语言 , AA DL 对系统非功能属性描述的支持使其在嵌入式系统领域有着良好的应用前景。嵌入式软件系统广泛使用的模型驱动开发方法中 , 模型对软件系统的开发非常重要 , 模型的质量决定软件系统的质量 [ 3] 。本文研究的 A AD L 模型测试方法把开发人员建立的 AA DL 结构模型作为测试对象 , 根据期望模型生成测试用例 , 得到测试预言 , 在实际模型上执行测试用例 , 将实际输出和测试预言相比较以判断实际模型是否正确。 A A DL 是一种半形式化的描述语言 , 直接对其测试存在困难 , 因此测试工作建立在由 A AD L 模型转化的马尔可夫链模型的基础上。该测试方法可以在嵌入式软件开发初期检查出 AA DL 模型中存在的错
710072; 2 西北工业大学软件与微电子学院 , 陕西西安 710072) ( 1 西北工业大学计算机学院 , 陕西西安
摘要 : 鉴于模型在软件系统开发中日趋重要的地位和 A A D L 模型在嵌入式软件建模中的良好应用前景 , 为了在嵌入式软件系统开发前期保证 A A D L 模型的质量 , 提出了一种基于模型测试的 A A DL 架构验证方法 ; 该方法应用马尔可夫链描述 A A D L 架构的行为 , 然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言 , 并通过测试用例执行输出和期望值的比较判断 A AD L 模型的正确性 , 实现对系统 A A D L 模型的测试 ; 最后通过案例分析证明了该方法的有效性。关键词 : A A D L; 模型测试 ; 马尔可夫链

飞行管理系统AADL建模与分析

(1) 飞行规划。飞行规划负责规划整个航路 ,指定从起飞机场到目的地机场之间的飞行航线、航路点、起飞程序、降落程序等 ,以及备选的降落点。飞行规划也包括对风和温度的预测数据 ,及一些飞行限制值 ,如某飞行高度上的速度限制、某个航路点的速度限制和高度限制等。 (2) 性能优化。计算飞机的飞行剖面和高度、速度限制值 ,以最小化飞行成本。计算参数包括最大高度、优化高度、最大速度、最小速度、经济速度、长距离巡航速度、最大爬升角等。 (3) 综合导航与制导。计算俯仰、滚转和速度、推力指令。这些指令输入飞行指引、自动飞行控制系统和自动油门系统 ,用来控
期
COM PU
计算机技术与
TER TECHNOLO GY AND
发展
DEV ELOPM
EN
T
VMola.r2.0 2N0o1析
汤小明1 ,苏罗辉2 ,宋科璞2
(11 西北工业大学自动化学院 ,陕西西安 710075 ; 21 飞行自动控制研究所 ,陕西西安 710065)
摘要 :航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段 ,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分 ,传统上 ,对该系统的可调度性分析是在系统设计完成后 ,在实现与验证阶段进行的 ,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法 AADL 对其进行建模 ,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能 ,使得在系统需求分析阶段就可以准确确定系统的软硬件需求 ,并能大大降低系统的更改验证成本。首先论述了建模语言 AADL 的基本构成以及与航空电子应用接口规范 ARINC653 的对应关系 ;然后描述了飞行管理系统的功能构成 ,并建立了飞行管理系统的 AADL 模型 ;最后详细论述了系统调度理论 ,AADL 工具 ,飞管系统 AADL 模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。关键词 :航空电子系统 ;模型驱动 AADL ;飞行管理系统 ;实时调度分析中图分类号 : TP311 文献标识码 :A 文章编号 : 1673 - 629X(2010) 03 - 0191 - 04

AADL软件容错系统建模与评估_杨志义

态认证的规约，可用于软件任务和通讯结构的描述以及分布式多处理器硬件结构的描述。它包含了所有 ADL[2] 的标准概念 : 构件、描述构件间接口的连接器和构件间的连接。AADL 构件类型分为三类：软件构件（进程、线程、线程组、子程序和数据）、硬件构件（处理器、总线、内存和设备）和一个系统构件。构件间通过端口，子程序调用和共享数据进行通讯。
摘要：提出了一种解决软件容错系统的可靠性评估方法，该方法基于 AADL，对嵌入式软件系统进行建模，详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播，构建了 AADL 软件系统错误模型，并根据基本的转换规则将其转化为广义随机 Petri 网模型，使用现有工具对其进行了计算，从而实现了软件容错系统的可靠性评估；以航空交通控制 (ATC) 为应用场景进行实验，根据经验数据适当的假设了部分构件的失效率，收到了较好效果。
关键词：AADL ；可靠性；广义随机 Petri 网；ATC
Modeling and Assessment of Reliability of a Software Fault Tolerant System Using AADL
Yang Zhiyi, Zhang Chenyu, Dong Yunwei
2 容错系统模型设计
2.1 应用需求背景
在控制系统中，当发生软硬件错误时，为了能立即从错误状态中恢复过来，加强系统的可靠性，常采用冗余的方法。文献 [4] 中提出的 ATC 子系统，本文对 ATC 模型进行了简化，
中华测控网
· 780 ·
计算机测量与控制
第 17 卷
将系统分为两部分：飞机子系统和雷达子系统。飞机子系统通过中间件发送数据给雷达子系统，雷达子系

一种AADL模型测试仿真引擎的设计与实现

第４０卷第１１Ａ期２０１３年１１月
一
计
算
机
科
学
Ｖｏ１．４０Ｎｏ．１１Ａ
Ｎｏｖ２０１３
ＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ
种ＡＡＤＬ模型测试仿真引擎的设计与实现
宣杭董云卫孙博。
执行ＡＡＤＬ模型实例，从而对嵌入式系统的实时性开展模型测试。同时，以汽车控制系统为应用实例，基于ＡＡＤＬ模
型测试引擎ＡＭＳＥ进行了应用测试分析，获得了较好的测试结果。关键词ＡＡＤＬ，模型测试，仿真引擎
ＴＰ３１文献标识码Ａ中图法分类号
ＤｅｓｉｇｎａｎｄＩｍｐｌｅｍｅｎｔａｔｉｏｎｏｆＳｉｍｕｌａｔｉｏｎＥｎｇｉｎｅｆｏｒＡＡＤＬＭｏｄｅｌＢａｓｅｄＴｅｓｔｉｎｇ
Байду номын сангаас
ＡｂｓｔｒａｃｔＴｈｅｎｏｎ－ｐｒｏｐｅｒｔｉｅｓｏｆｓａｆｅｔｙ－ｃｒｉｔｉｃａｌｓｙｓｔｅｍ，ｓｕｃｈａｓｒｅａｌｔｉｍｅ，ｒｅｌｉａｂｉｌｉｔｙａｎｄｓａｆｅｔｙ，ａｒｅｂｅｃｏｍｉｎｇａｋｅｙｃｏｎ — ｓｔｒａｉｎｔｏｆｄｅｐｅｎｄｅｎｃｙｏｆｓｙｓｔｅｍｂｅｈａｖｉｏｒ，ａｎｄｔｈｅｙａｒｅｅｆｆｅｃｔｓｏｆｔｗａｒｅｑｕａｌｉｔｙｆｏｒｔｈｅｌａｒｇｅ－ｓｃａｌｅｓｙｓｔｅｍ．Ｉｔｉｓａｋｅｙｒｅ — ｓｅａｒｃｈｔａｓｋｔｏｆｉｎｄａｓｏｌｕｔｉｏｎｔｏａｎａｌｙｚｅｔｈｅｄｅｐｅｎｄｅｎｃｙｐｒｏｐｅｒｔｙｉｎｓｙｓｔｅｍｄｅｓｉｇｎｐｈａｓｅｓｆｏｒｔｈｅｐｕｒｐｏｓｅｔｈａｔｄｅｓｉｇｎｅｒｓｃａｎｏｐｔｉｃａｌｓｙｓｔｅｍａｒｃｈｉｔｅｃｔｕｒｅ，ｒｅｂｕｉｌｄｓｏｆｔｗａｒｅｃｏｍｐｏｎｅｎｔｓａｄｎｈａｒｄｗａｒｅｃｏｍｐｏｎｅｎｔｓｔｏｍｅｅｔｓｙｓｔｅｍｑｕａｌｉｔｙｓｐｅｃｉｆｉｃａ — ｔｉｏｎ．ＡｎＡＡＤＬｍｏｄｅｌ — ｂａｓｅｄｔｅｓｔＥｎｇｉｎｅｗａｓｄｅｓｉｇｎｅｄａｄｎｉｍｐｌｅｍｅｎｔｅｄｉｎｔｈｉｓｐａｐｅｒｔｏｓｏｌｖｅｑｕｅｓｔｉｏｎａｂｏｖｅ．Ｔｈｅｓｉｍｕ —

基于AADL的航空电子系统的建模研究

（１．ＳｈａａｎｘｉＰｏｌｙｔｅｃｈｎｉｃＩｎｓｔｉｔｕｔｅ，Ｘｉａｎｙａｎｇ７１２０００）（２．ＣｈｉｎａＡＶＩＣＸＩ ’ ＡＮＨｉｇｈｔＡｕｔｏｍａｔｉｃＣｏｎｔｒｏｌＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅ．Ｘｉ ’ ａｕ７１Ｏ０７５）
ｋｉｎｄｓｏｆｔａｓｋｓｆｒｏｍｔａｋｉｎｇｏｆｆｌａｄｉｎｇ．Ｍａｎａｇｉｎｇ，ｍｏｎｉｔｏｒｉｎｇａｎｄａｕｔｏｍａｔｉｃｃｏｎｔｒｏｌｔｈｅａｉｒｃｒａｆｔｔｏａｃｈｉｅｖｅｆｕｌｌｒａｎｇｅａｕｔｏｒｎａｔｉｃｆｌｉｇｈｔ，ｐｒｏｖｉｄｅｓｒｅｆｅｒｅｎｃｅｂａｓｉｓｆｏｒａｖｉａｔｉｏｎｅｌｅｃｔｒｏｎｉｃｓｙｓｔｅｍｍｏｄｅｌｄｅｓｉｇｎ．ＫｅｙＷｏｒｄｓａｖｉｏｎｉｃｓｓｙｓｔｅｍ．ｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎ．ｆｌｉｇｈｔｃｏｎｔｒｏｌｓｙｓｔｅｍ，ＡＡＤＩ
ＴＰ３６１．８中图分类号
ＲｅｓｅａｒｃｈｏｆＡｖｉｏｎｉｃｓＳｙｓｔｅｍＭｏｄｅｌｉｎｇＢａｓｅｄｏｎＡＡＤＬ

安全关键系统AADL架构安全性分析方法研究

《安全关键系统aadl架构安全性分析方法研究》2023-10-27CATALOGUE目录•引言•安全关键系统概述•aadl架构安全性分析概述•aadl架构安全性分析方法研究•实验与分析•结论与展望•参考文献01引言研究背景与意义安全关键系统在航空、汽车、电力等领域有广泛应用，其安全性对于整个系统的可靠性和安全性至关重要。

AADL（Architecture Analysis and Design Language）是一种用于描述和设计系统架构的语言，已被广泛应用于安全关键系统的设计和分析中。

现有的AADL架构安全性分析方法存在一些挑战和问题，如缺乏形式化的分析方法、难以自动化分析等，需要进一步研究和改进。

目前，AADL架构安全性分析方法的研究已经取得了一定的进展，但仍存在以下挑战2. 难以自动化分析：由于AADL架构的复杂性，难以实现自动化分析，需要开发相应的工具和平台。

3. 分析结果的准确性和可靠性问题：现有的分析方法往往存在分析结果不准确、不可靠的问题，需要进一步提高分析的精度和可靠性。

1. 缺乏形式化的分析方法：现有的分析方法多基于经验和手工分析，缺乏形式化的理论和方法支持。

研究现状与挑战本研究旨在解决上述问题，提出一种形式化的AADL架构安全性分析方法，并开发相应的工具和平台，实现自动化分析。

研究内容主要包括以下几个方面1. 研究形式化的AADL架构安全性分析方法，建立相应的理论模型和分析框架。

2. 开发相应的工具和平台，实现自动化分析，包括数据采集、处理、分析和结果呈现等功能。

3. 通过实验验证分析方法的可行性和有效性，评估其精度和可靠性。

研究目标与内容02安全关键系统概述定义安全关键系统是指那些在出现故障或错误时，可能对人的生命或财产造成威胁的计算机系统。

特点安全关键系统通常具有高可靠性、高安全性、高可用性和高实时性等特点，以确保系统的稳定性和安全性。

分类根据使用场景和安全需求的不同，安全关键系统可分为航空航天、轨道交通、电力能源等多个领域。

浅析基于BIP的AADL行为模型验证方法的论文（最终定稿）

浅析基于BIP的AADL行为模型验证方法的论文（最终定稿）第一篇：浅析基于BIP 的AADL 行为模型验证方法的论文前言随着嵌入式系统越来越多的应用在工业控制、车载电子、航天航空电子等任务关键和实时系统，它的复杂度和性能要求也越来越高。

传统的以代码为核心的开发方法逐步从代码为中心的开发提前到以模型驱动开发为核心。

以供在早期对系统进行设计验证，减少不必要的损失。

为此，美国汽车工程师协会在2004 年提出了体系结构建模语言AADL(architecturalanalysis and design language, AADL)，并发布为SAE AS5506 标准，目的是提供一种标准而又足够精确的方式，设计与分析嵌入式实时系统的软、硬件体系结构及功能和非功能性质。

由于AADL 具有语法简单、功能强大、可扩展等优点，他已经逐步成为工业界事实上的标准。

根据现有的形式化验证工具的应用情况，本文通过制定映射规则，将AADL 行为模型直接转换成BIP 模型。

并且利用已有的BIP 模型工具对准换后的BIP 模型进行验证。

提供一种形式化的验证AADL 行为模型的新途径，如图1 所示。

BIP构件模型BIP(Behavior,Interaction,Priority)是Verimag 提出的实时系统建模语言，采用自动机的方式描述行为，并且支持异构构件之间的组合。

BIP 模型工具能够用来分析模型和可执行代码。

BIP 语言对系统的形式化描述主要由下面三部分组成：原子构件：即带有行为描述的构件，这些行为包含了迁移，空交互和优先级。

触发的迁移包括端口，这些端口带有动作名称，可用于端口同步。

连接件：用于描述原子构件端口之间可能的交互模式。

优先级关系：用于在几种可能的交互方式中做选择，这种选择需要根据条件来判断。

条件和原子构件整体的状态有关。

下面详细阐述这个语言的主要特征。

2.1 优先权在包含多个构件交互的系统里，优先权可以根据条件来确定所有执行交互的优先级。

AADL 测试模型的构造研究

AADL 测试模型的构造研究
马春燕;董云卫;朱宇峰;陆伟
【期刊名称】《西北工业大学学报》
【年(卷),期】2010(028)006
【摘要】目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL 测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.
【总页数】6页(P968-973)
【作者】马春燕;董云卫;朱宇峰;陆伟
【作者单位】西北工业大学,软件与微电子学院;西北工业大学,计算机学院,陕西,西安,710072;西北工业大学,计算机学院,陕西,西安,710072;西北工业大学,软件与微电子学院
【正文语种】中文
【中图分类】TP311
【相关文献】
1.类状态图可测试模型的检查与构造 [J], 张毅坤;张保卫;崔杜武
2.基于类型理论的构造性软件测试模型 [J], 暴建民; 孙逢玖
3.基于AADL和HiP-HOPS的IMA系统安全性分析方法研究 [J], 杨海云; 孙有朝; 阮宏泽
4.AADL流模型与实时演算模型的转换方法研究 [J], 唐家强; 王星皓; 安品臣; 胡宾洋
5.基于AADL和GSPN的安全关键系统的研究 [J], 杨海云;孙有朝;阮宏泽;皇甫齐君
因版权原因，仅展示原文概要，查看原文内容请购买。

AADL在模型驱动中的应用研究的开题报告

AADL在模型驱动中的应用研究的开题报告一、研究背景随着软件系统越来越复杂，需求规约的精度和完整性也越来越重要。

同时，工业界和学术界对于如何更好地构建高质量软件系统的需求也越来越迫切。

因此，模型驱动开发(MDD)近年来成为软件工程研究和实践的热门方向。

在模型驱动方法中，模型作为软件开发的核心，被广泛用于需求、设计和实现等软件开发中的各个阶段。

作为一种注重架构和构造的软件开发方法，面向体系结构的软件开发方法(ADL)已经被广泛接受和应用。

在ADL中，架构是软件开发的重心，它规范了软件系统的结构、行为和交互方式。

在运用ADL进行软件开发时，这些规范可以非常明确地反映在代码的层面上。

但ADL是一种面向细节的设计问题，不能表达基于性质的软件系统特性，例如安全性、可靠性和可维护性。

AADL是一种基于架构的语言，可以支持软件架构和运行时质量属性。

AADL被广泛应用于嵌入式和实时系统的开发中，例如飞机、无人机、火车等系统。

本文研究的重点将是如何运用AADL开展模型驱动开发，并探讨AADL在该领域中的应用。

二、研究目的和意义本研究的主要目的是探究模型驱动开发方法中AADL的应用，研究模型驱动开发方法与基于AADL的软件开发方法之间的关系和差异，为产业界和学术界提供参考。

本研究将探讨以下实际问题：1. 如何将AADL的特性融入到模型驱动开发中？2. AADL是否能够与其他模型驱动技术协作？如果可以，如何实现？3. 如何量化AADL在模型驱动开发中的应用效果？本研究的结果对提高软件开发效率、提高软件质量、降低软件开发成本具有重要的指导意义。

三、研究内容和计划本研究将围绕以下几个方面进行深入研究：1. 模型驱动开发方法和AADL的基本原理和特点。

2. 模型驱动方法中AADL的应用场景。

研究现有的应用案例，并通过实例分析特定案例中AADL的应用与效果。

3. 探索AADL与其他模型驱动技术的协同应用，例如UML、SysML等。

AADL模型的形式化研究

AADL模型的形式化研究刘玮;李蜀瑜【期刊名称】《计算机技术与发展》【年(卷),期】2013(000)009【摘要】在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。

围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。

为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。

简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。

%In the embedded system modeling field,the AADL has gradually become the industry standard because it has the characteristics of modeling hardware/software collaborative. Based on the AADL formal characteristics,many domestic and foreign scholars launched a warm discussion. In order to help the system developers better understand AADL,guide the software development process,improve soft-ware development efficiency,discuss the AADL model from reliability analysis,schedulability analysis and AADL model testing on the three different viewpoint of the AADL formal verification theory. By contrast,it analyzes their advantages and disadvantages. Briefly in-troduce the AADL verification tool, then focus on the issue that how to construct embedded software development platform based on AADL.【总页数】4页(P43-45,50)【作者】刘玮;李蜀瑜【作者单位】陕西师范大学计算机学院，陕西西安 710062;陕西师范大学计算机学院，陕西西安 710062【正文语种】中文【中图分类】TP31【相关文献】1.一种基于 AADL 错误模型的软件安全性分析技术研究 [J], 成静;朱怡安;屈华敏;罗文波;江叶春;张涛2.基于Z-AADL模型的形式化转换 [J], 高正;曹子宁3.基于构件交互自动机的AADL模型转换方法研究 [J], 李揭阳;李勇;张福高4.基于MDE的模型转换研究：从AADL模型到Fiacre模型 [J], 刘玮;5.AADL流模型与实时演算模型的转换方法研究 [J], 唐家强; 王星皓; 安品臣; 胡宾洋因版权原因，仅展示原文概要，查看原文内容请购买。