检索结果-内蒙古大学图书馆

东南大学学报（自然科学版） 2015年第6期45卷 1032-1037页

作者：李静沈宁敏白海洋周培云南京航空航天大学计算机科学与技术学院南京211106

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A... 详细信息

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.

关键词：结构分析与设计语言时间自动机模型可调度性仿真验证

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的嵌入式软件模型可调度性验证

引用

计算机工程与科学 2013年第3期35卷 121-127页

作者：白海洋李静赵娜南京航空航天大学计算机科学与技术学院江苏南京210016

结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模... 详细信息

结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模型中的调度模板中,并给出了执行模型和附件模型的具体转换规则。转换后的模型可在UPPAAL工具中进行模拟和验证,分析原模型的可调度性。最后给出了AADL建模、模型转换和模型验证的全过程,证实了方法的有效性。

关键词：结构分析与设计语言时间自动机模型转换 UPPAAL 可调度性验证

来源：评论

学校读者我要写书评

暂无评论

基于AADL的无线传感器网络的建模与分析

引用

计算机科学 2012年第S3期39卷 424-427页

作者：钱磊郁文生朱明华华东师范大学上海高可信计算重点实验室上海200062

利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL... 详细信息

利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。

关键词：结构分析与设计语言无线传感器网络温度传感器嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于AADL的软件可靠性验证

引用

计算机应用 2012年第A02期32卷 92-95,139页

作者：谯婷婷王乐耶国栋中国航空工业集团西安飞行自动控制研究所西安710065 西安电子科技大学通信工程学院西安710071 中国移动通信集团陕西有限公司西安分公司西安710065

针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题... 详细信息

针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。

关键词：软件可靠性结构分析与设计语言安全等级流延迟

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件系统体系结构可靠性分析方法

引用

计算机应用研究 2020年第10期37卷 3053-3057页

作者：曲以堃张伟中国航天系统科学与工程研究院北京100048

AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可... 详细信息

AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可靠性模型;然后设计转换模型及其规则,将AADL模型转换为连续时间马尔可夫链模型;最后采用概率模型检验工具对连续时间马尔可夫链模型进行可靠性定量分析。仿真结果表明,与现有可靠性分析方法相比,该方法在计算效率和转换效率上都有明显的提高。基于AADL的可靠性分析框架实现在软件系统开发早期对SA进行可靠性定量计算,为AADL在嵌入式软件系统可靠性定量分析方面提供了一种新的验证思路。

关键词：软件体系结构结构分析与设计语言连续时间马尔可夫链转换模型可靠性

来源：评论

学校读者我要写书评

暂无评论

基于模型的汽车电子通信开发平台研究与实现

基于模型的汽车电子通信开发平台研究与实现

引用

作者：任聪电子科技大学

学位级别：硕士

伴随电子技术的高速发展，汽车电子技术进入了一个日新月异的时代，汽车用户对汽车功能应用要求变得越来越多，导致车身各零部件的软硬件结构也变得越来越复杂，其通信应用开发也变得扑朔迷离。为解决这个难题，汽车网络技术应运而生，... 详细信息

伴随电子技术的高速发展，汽车电子技术进入了一个日新月异的时代，汽车用户对汽车功能应用要求变得越来越多，导致车身各零部件的软硬件结构也变得越来越复杂，其通信应用开发也变得扑朔迷离。为解决这个难题，汽车网络技术应运而生，并在各大汽车厂商的汽车电子软件技术构成中占有越来越大的比重，随着汽车领域对高安全和高性能汽车产品的不断追求，汽车网络中可靠通信的需求也变得越来越强烈，随着标准化进程的加速以及汽车行业标准制定的逐渐增多，汽车电子软件的开发也变得困难重重，如何提高汽车电子技术应用开发效率以及缩短开发周期已成为一个重要课题。本文对汽车电子软件通信应用的模型化开发进行了探索和研究，提出了一个从上层应用到底层实现的汽车电子软件开发平台，它利用一个开源工具OSATE来完成汽车电子通信软件的功能和非功能建模，模型解析和验证的工作，然后再利用Drools规则引擎来实现汽车电子通信应用代码的自动生成，调试和测试等功能，使得汽车电子通信应用的开发变得简单和高效，最后还对汽车电子平台底层通信驱动部分的开发做出了详细介绍。本文完成的工作分为以下几点： 1)采用模型驱动的方法,设计并实现了一个代码自动生成工具。该工具利用AADL语言建立通信应用的模型并对模型解析，再利用XMLSchema约束文件将其转换为实例对象,最后根据编写好的转换规则在规则引擎中将实例对象转换为对应的C代码，该代码调用Com层提供的接口和服务来实现通信。 2)按照AUTOSAR的标准对汽车电子平台的通信部分SPI进行驱动开发，并对其板级扩展功能进行了实现，通过一对SPI接口对其他通信驱动程序进行封装，最后对SPI接口通信进行了测试。 3)用车身控制器通信应用作为实例，对整个平台从建模到代码转换，最后在平台上运行的整个工作流程进行了验证。

关键词：结构分析与设计语言汽车电子模型驱动 AUTOSAR SPI接口

来源：评论

学校读者我要写书评

暂无评论

信息物理融合系统的形式化建模与讨论

信息物理融合系统的形式化建模与讨论

引用

作者：钱磊华东师范大学

学位级别：硕士

信息物理融合系统(Cyber-Physical System, CPS)基于计算机互联网,在物与物互联的基础上,将计算(computation)、通信(communication)、控制(control)3C技术融合在一起,强调对物实时、动态的信息控制与信息服务,是国内外信息技术领域研... 详细信息

信息物理融合系统(Cyber-Physical System, CPS)基于计算机互联网,在物与物互联的基础上,将计算(computation)、通信(communication)、控制(control)3C技术融合在一起,强调对物实时、动态的信息控制与信息服务,是国内外信息技术领域研究的一类重要系统。如何对CPS系统进行建模,以及验证模型中的性质以确保CPS系统的保真性、可靠性等特点是一个重要的研究问题。本文主要采用微分动态逻辑(Differential Dynamic Logic, dL)、结构分析与设计语言(Architecture Analysis and Design Language, AADL)和时钟理论(Clock Theory)分别对不同的CPS应用场景进行建模分析并验证了其安全性性质。利用微分动态逻辑对CPS系统铁路道口控制进行形式化建模与分析。从火车发送接近信号到进入道口的运动过程中,针对火车到达道口的时间要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具KeYmaera对系统的安全性进行了验证,实现对火车进入道口前速度的正确控制。利用结构分析与设计语言AADL对无线传感器网络建模,对其中的网络节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,并进一步应用到传感器网络中。介绍新近提出的时钟理论构架,利用时钟理论在CPS时间特性描述上的优势,对温度控制器和火车控制系统进行建模,针对离散和连续运动的时间约束,用时钟理论进行形式化分析,使得对CPS系统的建模更加清楚简洁,对CPS建模的研究和应用有着重要的意义。最后,对CPS建模方法进行了总结,对信息物理融合系统的可靠性、安全性的研究工作提出了展望。

关键词：信息物理融合系统微分动态逻辑铁路道口控制结构分析与设计语言时钟理论无线传感器网络形式化验证混成系统

来源：评论

学校读者我要写书评

暂无评论

基于软件定义的移动信息物理融合系统

引用

广东工业大学学报 2019年第6期36卷 59-65页

作者：刘珍娟张立臣广东工业大学计算机学院广东广州510006

在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile CyberPhysical System)的出现.针对MCPS主要以硬件资源为核心,自动化水平不高的问题,本文提出了一种基于软件定义的MCPS建模方法.通过结构分析... 详细信息

在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile CyberPhysical System)的出现.针对MCPS主要以硬件资源为核心,自动化水平不高的问题,本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL(Architectural Analysis and Design Language)对硬件资源虚拟化,然后使用软件定义的方法对硬件资源进行分析和处理,可以有效提高MCPS系统的自动化水平.以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例,详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证,证实了基于软件定义建模的可行性与有效性.

关键词：移动信息物理融合系统软件定义结构分析与设计语言

来源：评论

学校读者我要写书评

暂无评论

基于AADL的航电系统可靠性分析工具

引用

现代电子技术 2014年第8期37卷 65-68,71页

作者：刘建军孟海宁中国航空计算技术研究所陕西西安710068 西安理工大学计算机科学与工程学院陕西西安710048

为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工... 详细信息

为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工具设计思路和方法是有效的,这为航电系统设计方案的检验与评估提供支持,也为系统满足适航标准的开发过程和安全性目标提供证据。

关键词：航电系统结构分析与设计语言可靠性分析可靠性评估

来源：评论

学校读者我要写书评

暂无评论

基于AADL的甲烷浓度监测报警系统可靠性验证

引用

数字技术与应用 2015年第10期33卷 72-73页

作者：杨夏湖南科技职业学院湖南长沙410004

结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模... 详细信息

结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模型建立、模型分析到模型修改的验证过程。为AADL在煤矿安全系统软件验证方面的应用奠定了基础。

关键词：甲烷浓度监测报警系统结构分析与设计语言流延迟

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：