基于 AADL的 CPS系统分析与设计

• 作者: 张立臣 朱晨曦 罗崇伟
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 物理融合系统 AADL 基于模型 元胞自动机 车联网
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 94-98
• 页数: 5页
• 分类号: TP302.1
• 字数: 4942字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.08.022

摘要

信息物理融合系统CPS（ Cyber Physical System）的建模需要融合离散计算实体与连续物理实体，而传统的建模方法却是分别对两者进行建模，缺乏对两者相互融合的抽象。针对这种情况，利用结构分析与设计语言 AADL （ Architectural Analysis and Design Language）在基于模型开发上的优势，对AADL所不能支持的时空、行为、动态连续等方面进行扩展，通过比较现有元胞自动机、Modelica与AADL的区别与关联后，提出相应的变换公式将两者用AADL的形式表达。以车联网CPS系统为案例，详细描述系统的组成与建模过程，并对该模型在系统体系结构、端到端的流延迟等方面进行分析验证，证实该方案的可行性与正确性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	朱晨曦	广东工业大学计算机学院	1	6	1.0	1.0
3	罗崇伟	广东工业大学计算机学院	2	8	2.0	2.0