AADL的研究初步-程序员宅基地
技术标签： 代码生成 AADL 嵌入式系统 航空航天 系统架构
AADL自提出以来，被广泛应用在航空航天、轨道交通、汽车电子等嵌入式领域。下边梳理一下AADL的由来、构成、作用、目前的研究成果和工业应用，以希望能解决更多工业中的实际问题。说的大一点，国家在十三五之间，提出要在高科技领域实现国产化的工具，我们要根据国际上已有的成果，来创造更多属于我们国家的知识并且解决实际中的问题。
一、AADL的由来
1991年Honeywell实验室基于嵌入式系统提出了MetaH语言，2001年美国汽车电子协会SAE提出了航空架构描述语言AADL（Avionics Architecture Description Language），由于以上两个语言不足以解决现实中航空系统存在的一些问题。2004年SAE，卡内基梅隆大学CMU和Honeywell实验室在MetaH和AADL的基础上提出了架构分析和设计语言AADL（Architecture Analysis and Design Language），并基于Eclipse在2004年推出Osate1.0版本（Open Source AADL Tool Environment），之后的2009年推出Osate2.0版本。
二、AADL核心内容
AADL核心内容包括：
- 软件组件：process、thread、thread group、subprogram、data
- 硬件平台组件：processor、bus、memory、device
- 系统组件：system
- 每个组件都有自己的实现implementation，组件之前可以面向对象里的继承inheritance or entends。
- 每个组件都有自己属性property，例如可以定义线程的初始时间、执行时间、结束时间、优先级等等。
- 可以定义组件之间交互的特征feature，如data port、event port和data event port，需要总线require bus和提供总线 provide bus。
- 另外可以根据端口port，来指定组件之前的流flow，其中包括；端到端流end to to flow和流规约flow specification（流源flow source和流终点flow sink）。
- 除此之外，可以定义模式mode组件，模式类似于自动机，mode相当于状态，通过外部事件的触发，transition将一个mode转向另一个mode。
如图所示：
三、AADL的功能
- AADL可以用以上组件，建立系统的组件模型
- AADL用来进行非功能性分析：首先提取出系统每个组件的特征feature和每个组件的属性property，通过在每个组件的属性和特征里设置已经提取出的值，然后再进行非功能性分析。(ps:非功能性和功能性任务的区别：功能性是指系统要做什么事情，比如飞机要起飞、飞机之间要通信；非功能性是指系统的可靠性、安全性、稳定性等等，这些往往在系统程序正确的基础上，不是因为人为的因素引起的，比如飞机要在多少秒内完成起飞动作，飞机之间要在多少时间内发送消息或者得到响应。总之，功能性是指资源需求，非功能性是指时间约束)
- AADL模型可以在验证正确性以后进行代码的生成。例如C语言、ada语言等等。
四、AADL的研究成果
AADL是一个正在发展中的语言，目前需要科研单位在原有的基础上做了一些拓展、转换成果和对应的插件或工具。
拓展主要是增加AADL的附件Annex，或者称为AADL的子语言sublanguage，例如Behavior Annex、Error Annex 、BLESS、Hybrid Annex、Hazard Annex、Uncertainty Annex等等。
语言的转换主要是借助其他语言的优势，来填补AADL语言表达能力上的不足。例如与进程顺序通信CSP、重写逻辑Maude、同步语言SCADE和Esterel、定理证明Event-B等等进行转换。
工具的实现氛围两类：一类工具是在实现Osate功能的基础上，增加其他的功能；另一类是通过XML文件，与Osate做无缝的连接，例如Cheddar可以实现系统的实时调度分析、ADeS可以对AADL模型进行验证、Ocarina进行代码的生成......
五、AADL在工业界的应用
AADL最初是用来解决航空航天系统中非功能性质的分析，目前已经得到业内的广泛认可。
由于该领域涉及到国家的核心技术，其他国家也都是在技术上实行保密，在研究上进行公开。所以，要促进AADL的良性持续发展，需要工业界有一个专门的小组来调研类似相关的成果，以能够解决利用传统测试方法不能解决或者需要耗费大量人力物力解决的实问题。
Osate 工具链接：
智能推荐
zabbix短信告警oracle,zabbix 实现短信告警-程序员宅基地
文章浏览阅读402次。之前一直调用飞信接口发送告警信息，最近购买了第三方短信接口。所以准备使用接口发送告警。短信接口是基于https的摘要认证。https认证还是自己做的，调用接口的时候还需要load证书。感觉超级难用，不管那么多，先让它跑起来再说。废话不多说，先上代码。#!/usr/bin/envpython#coding:utf-8importrequestsfromrequests.authimport..._zabbix实现短信告警
soapui中文操作手册(四)----MOCK服务_soapui设置成中文-程序员宅基地
文章浏览阅读6.8k次，点赞2次，收藏12次。转载地址：http://www.cnblogs.com/zerotest/p/4670005.htmlWeb Service Mocking是武器库一个非常有用的工具。这是解决“如果没有Web服务如何创建针对性的Web服务测试”问题的办法。Web Service Mocking将在这里派上用场。它允许你实际的Web服务产生之前，创建近似或模拟的Web Service。在本教_soapui设置成中文
Swift 包管理器 (SPM)：管理 iOS 中的依赖关系_ios spm-程序员宅基地
文章浏览阅读845次，点赞29次，收藏7次。Swift 包管理器 (SPM)：管理 iOS 中的依赖关系_ios spm
SCI论文润色真有必要吗？-程序员宅基地
文章浏览阅读381次，点赞10次，收藏7次。总的来说，sci论文润色虽然不会改变论文的学术内容和贡献，但它能够显著的提升论文的质量和可读性，从而增加论文被接受和引用的机会。在论文投稿前都是需要润色的，特别是英文论文投稿，一定得靠谱。但如果是一些小问题，比如语法语句错误，专业言论不恰当，那么你的文章会在投稿过程中外审评定完以后，也会给你返修意见和修改机会。如果是新作者，或者是对自己的语言能力不那么自信，那么是很有必要的。其他人的视角可能会发现你忽略的错误或不清晰的表达，同时也可以提供有关论文结构和逻辑的反馈意见。关于SCI论文润色的常见方法。
Prometheus监控数据格式的学习-程序员宅基地
文章浏览阅读1.1k次，点赞33次，收藏9次。Prometheus 指标（metrics）的数据形式是一种简单的文本格式（容易通过 HTTP 协议被 Prometheus 服务器拉取）。每一行包含了一个指标的数据，通常包括指标名称、可选的一组标签以及指标的值。Prometheus 的指标数据可以有不同类型，如 Counter、Gauge、Histogram 和 Summary，它们的表示形式会有所不同。
数字图像处理(10): OpenCV 图像阈值化处理_binarization threshold-程序员宅基地
文章浏览阅读5.6k次，点赞26次，收藏43次。目录1 什么是阈值化-threshold()2 二进制阈值化3 反二进制阈值化4 截断阈值化5 反阈值化为06 阈值化为07 小结参考资料1 什么是阈值化-threshold()图像的二值化或阈值化 (Binarization)旨在提取图像中的目标物体，将背景以及噪声区分开来。通常会设定一个阈值，通过阈值将图像的像素划分为两类：大于阈值的..._binarization threshold
随便推点
使用安卓模拟器时提示关闭hyper-v_hyperv影响 模拟器-程序员宅基地
文章浏览阅读1.6w次。本电脑是宏碁传奇X，cpu是r7 5800u，显卡rtx3050；使用了雷电、mumu两款安卓模拟器，雷电启动报错g_bGuestPowerOff fastpipeapi.cpp:1161，使用了网上的所有方案都不行，包括开启VT（amd开启SVM），命令关闭hyper-v服务等；尝试mumu模拟器，安装时支持vt项检测不通过，后来发现mumu模拟器在amd的cpu上只支持32位版，换装32位版检测通过，但是只要打开模拟器就提示需要关闭hyper-v，我已经确认关闭后，启动依旧这样提示，查找了网上很_hyperv影响 模拟器
【大厂秘籍】系列 - Mysql索引详解-程序员宅基地
文章浏览阅读564次。MySQL官方对索引定义：是存储引擎用于快速查找记录的一种数据结构。需要额外开辟空间和数据维护工作。● 索引是物理数据页存储，在数据文件中（InnoDB，ibd文件），利用数据页(page)存储。● 索引可以加快检索速度，但是同时也会降低增删改操作速度，索引维护需要代价。
CSS实现当鼠标停留在一个元素上时，使得两个元素的样式发生改变_css鼠标悬浮修改其他元素样式-程序员宅基地
文章浏览阅读825次。使用兄弟选择器实现同时改变两个元素的样式_css鼠标悬浮修改其他元素样式
文献学习-40-基于可迁移性引导的多源模型自适应医学图像分割-程序员宅基地
文章浏览阅读4.8k次，点赞32次，收藏43次。香港中文大学袁奕萱教授团队提出了一种名为多源模型自适应 (MSMA) 的新型无监督域适应方法。MSMA 旨在仅利用预训练的源模型（而非源数据）将知识迁移到未标记的目标域，从而实现对目标域的有效分割。
（4）FPGA开发工具介绍（第1天）-程序员宅基地
文章浏览阅读8.8k次。（4）FPGA开发工具介绍（第1天）1 文章目录1）文章目录2）FPGA初级课程介绍3）FPGA初级课程架构4）FPGA开发工具介绍（第1天）5）技术交流6）参考资料2 FPGA初级课程介绍1）FPGA初级就业课程共100篇文章，目的是为了让想学FPGA的小伙伴快速入门。2）FPGA初级就业课程包括FPGA简介、Verilog HDL基本语法、Verilog HDL 入门实例、FPGA入门实例、Xilinx FPGA IP core设计、Xilinx FPGA原语与U_fpga开发工具
js中的定时器如何使用_js定时器用法-程序员宅基地
文章浏览阅读1.4k次。JS提供了一些原生方法来实现延时去执行某一段代码，下面来简单介绍一下setTiemout、setInterval、setImmediate、requestAnimationFrame。首先，我们先来了解一下什么是定时器：JS提供了一些原生方法来实现延时去执行某一段代码下面来简单介绍一下setTimeout() ：在指定的毫秒数后调用函数或计算表达式。setTimeout(code,millisec,lang)参数 描述code 必需。要调用的函数后要执行的 JavaScript 代码串。_js定时器用法