AADL创始人Peter H．Feiler和Bruce A．Lewis总结了AADL的发展历程，提出AADL是在MetaH，ADL以及商业建模语言UML和HOOD(hierarchical object-oriented design)[9]的基础上发展起来的。1991年，在美国DARPA计划DSSA(domain specific software architectures)项目支持下，Honeywell实验室提出体系结构描述语言MetaH，专用于航空电子、飞行控制等系统的体系结构描述与分析。到1999年，学术界和工业界对MetaH进行了大量研究与应用，如支持多处理器系统建模、Ada95和POSIX中间件配置、MetaH-ACME的转换、可靠性建模等。2001年，SAE提出基于MetaH定义一个航空电子体系结构描述语言标准，即Avionics Architecture Description Language(AADL)，支持描述标准的航空电子控制与数据流机制及实时、容错、安全等非功能性质。2004年，AADL标准化得到了进一步的扩展。SAE，CMU，Honeywell等共同提出建立嵌入式实时系统体系结构描述语言标准，并正式命名为Architecture Analysis&Design Language(AADL)。2004年11月，发布了AADL 1.0版本，以文本的形式给出核心语言的语法和语义。2006年发布了一些扩展附件(annex)，如Graphical AADL Notation Annex，AADL Meta model and XML／XMI Interchange Format Annex，Error Model Annex，Behavior Annex，UML Profile Annex。2009年1月发布了AADL 2.0版本。
OSATE(open source AADL tool environment)是由CMU开发的AADL开源集成开发环境，是在Eclipse平台上的一套插件，用于AADL建模、编译和分析。在OSATE上开发了多种分析插件，进行可调度性分析、安全性分析、时间延迟分析等。而TOPCASED提供了AADL的图形化编辑器，因此，一般将OSATE和TOPCASED一起作为建模与分析工具来使用。
-
AADL（Architecture Analysis and Design Language）系统（体系）结构分析与设计语言，是一种面向嵌入式实时系统领域的建模语言，具有语法简单、语义精确、功能强大、可扩展等优点，能够对嵌入式软件的功能和非功能属性进行建模和描述，并且能够在开发早期对系统进行分析与验证。 A A D L 三 种 标 准 模 型 描 述 方 式 { 文 本 化 X M L 图 形 化
-
介绍 本文主要介绍了EMV2.aadl这个文件的基本内容，一方面更加深入的学习emv2的功能，另一方面为自己编写一个annex做准备 附录文件头部 作为一个附录，第一句话，要说明这事一个属性集，格式参照如下，表明这是一个叫做EMV2的附录 property set EMV2 is OccurrenceDistribution OccurrenceDistribution表示发生概率 对部分M
-
研究生毕设课题为形式化方法，所以最近在研究AADL建模语言，看了一些资料但是还是一知半解。对其中component type与component implementation的区别一直很困惑。通过查阅资料，现在明白了： 一个AADL组件由其组件类型（componenttype）和组件实现（component implementation）共同定义。其中组件类型描述了组件与外部环境的交互情况。它定义
-
使用AADL Inspector 分析AADL 代码时，使用静态分析功能分析，发现处理器，线程，进程数量都是0，但是实际上AADL代码里面是有配置的： ---------------------------------------------------- Root System Instance: STOOD::Avioics_Systems.NIL ----------------------
-
创建 NSIS 脚本的习惯：创建一个 include 目录，用来保存安装用的文件， .nsi 文件放在 include 的上级目录，再在 include 目录里创建一个 resource，用来保存一些资源文件比如图标、界面位图、自己修改的 UI 等等。 然后分析一下官方的安装程序，先清空临时文件夹，这是为了为了找东西方便，然后启动安装程序，再到临时目录里找一个 nxxx.tmp 这样的目录，里面有
-
1.自我介绍 2.实习项目拷打 3.场景题，有一万条数据，但有一个类只有条数据，训练时要注意什么，我:构造数据；增加查全率。面试官:从模型方面讲讲。我:加入正则化项。面试官:损失函数的权重。 4.一个项目，反例比较少，选择一个模型评估方法。没答上来。面试官说AUC曲线，让我说说原因。也猜到了要答AUC曲线跟数量无关，但是有点印像，画曲线的时候是要使用正例反例数量的，不敢说话，疯狂道歉。 5.SQL
-
摘要 这个问题是关于在几个不同的翻译单元中实现单个模板类实例化的单独编译。 文件A2.cpp: 现在我尝试用模板类做类似的事情。因为我确切地知道我将需要哪些实例，所以我显式地实例化模板。我单独编译每个实例化，因为成员函数包含相当大的数学表达式，这可能会在高优化级别上大大降低编译器的速度。所以我尝试了以下方法： 文件ta.h： 这是否意味着即使使用显式实例化也不可能（不允许）单独编译模板类（隐式实例
-
本文向大家介绍java反编译工具Bytecode-Viewer分享，包括了java反编译工具Bytecode-Viewer分享的使用技巧和注意事项，需要的朋友参考一下 在java的开发学习中，可能需要想了解class文件对应的代码内容是什么，如果我们使用IDE工具，可以通过IDE工具的各种反编译插件去进行反编译，但是java的IDE工具还是比较笨重的，启动耗时并且占用内存，这时我们就需要一些简单的
-
更新时间：2019-03-01 09:28:56 工程的创建 File->Create Project 输入工程名称，选择开发板，选择嵌入式框架。点击Create按钮。创建成功以后弹出_Create Project xxxx terminal显示Project has been successfully initialized。左侧workspace目录树显示创建的工程文件夹。 工程的编译 添加代
-
webpack配置 下图是采用 Mpx 开发小程序时，一个简短的 webpack 配置。配置说明可参考图中注释以及子项说明。 module.exports = { entry: { app: resolveSrc('app.mpx') }, output: { // 和 webpack 配置一致,编译后文件输出的路径 path: resolveDist(),
-
本文向大家介绍Mingw64编译wxWidgets 3.0.2常见错误分析，包括了Mingw64编译wxWidgets 3.0.2常见错误分析的使用技巧和注意事项，需要的朋友参考一下 使用Mingw64编译wxWidgets3.0.2，首先得下载wxMSW-Setup-3.0.2.exe(https://sourceforge.net/projects/wxwindows/files/3.0.2/
-
pc linux依赖环境 ~$ sudo dpkg --add-architecture i386 ~$ sudo apt-get update ~$ sudo apt-get install libc6:i386 libncurses5:i386 libstdc++6:i386 libx11-6:i386 gtk2-engines:i386 lib32ncurses5 lib32z1 libxt