计算机应用与软件Issue(8)：94-98,5.DOI:10.3969/j.issn.1000-386x.2015.08.022
基于 AADL的 CPS系统分析与设计
CPS SYSTEM ANALYSIS AND DESIGN BASED ON AADL
朱晨曦 1张立臣 1罗崇伟1
作者信息
- 1. 广东工业大学计算机学院 广东 广州 510006
- 折叠
摘要
Abstract
The modelling of cyber physical system ( CPS) requires the integration of the discrete computing entities and continuously physical entities.Traditional modelling methods, however, model separately for both and lack the abstraction of the mutual integration between the both.In this case, we employed the advantage of AADL ( architectural analysis and design language) in model-based de-velopment to expand AADL in spatiotemporal, behavioural and dynamic continuous aspects which it can’ t support, and proposed the corresponding transforming formula to express these two entities in AADL form after comparing the differences and correlations between current cellular automata, Modelica and AADL.We also used CPS system of VANET as an example to expatiate on the constitution and modelling process of the system, and analysed and verified the model in terms of the architecture and end-to-end flow delay, etc., thus validated the feasibility and correctness of the scheme.关键词
物理融合系统/AADL/基于模型/元胞自动机/车联网Key words
Cyber physical system/AADL/Model-based/Cellular automata/VANET分类
信息技术与安全科学引用本文复制引用
朱晨曦,张立臣,罗崇伟..基于 AADL的 CPS系统分析与设计[J].计算机应用与软件,2015,(8):94-98,5.
