AADL+：一个建模信息物理融合系统的AADL子语言

点击上方蓝字

关注我们

导

读

      AADL是一个架构分析和设计语言，因其语法简单，功能强大和可拓展能力强，被广泛应用在系统架构的建模和分析中。然而，AADL不能够建模连续动态系统，因而无法对信息物理融合系统进行建模。本文提出了一个AADL的子语言AADL+，AADL+不仅可以建模信息物理融合系统的离散和连续行为，而且也可以对信息组件和物理组件的交互进行建模。我们提供了AADL+的语法和语义，并且开发了一个基于OSATE的插件。这个插件不仅支持语法解析和检查，还可以与Modelica进行连接来对系统进行仿真。最后，我们成功地将AADL+附件应用在月球车控制系统的建模和分析上。

文章精要

请长按下方二维码识别，阅读该文。

相关内容推荐：

FunctionFlow：协调并行任务 2019 13(1)：73-85

利用软件词汇库进行基于关联的软件搜索 2018 12(5)：923-938

通过代码变化解决GPU控制响应的困局 2018 12(3)：545-559

挖掘历史提交信息支持开发者推荐的有效性经验研究 2018 12(3)：528-544

基于跨项目缺陷预测的集成分类器：扩展实证研究|FCS 12(2) 软件专栏

FCS 12(1) 文章 | 云计算中网络资源均衡的分层虚拟机迁移算法

FCS 12(1) 文章 | 并行符号执行引擎的性能调优

---

Frontiers of Computer Science

---

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社和北京航空航天大学共同主办、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号