Please wait a minute...
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Front. Comput. Sci.    2019, Vol. 13 Issue (3) : 516-538    https://doi.org/10.1007/s11704-018-7039-7
RESEARCH ARTICLE
AADL+: a simulation-based methodology for cyber-physical systems
Jing LIU1, Tengfei LI1, Zuohua DING2, Yuqing QIAN1, Haiying SUN1, Jifeng HE1()
1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China
2. Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou 310018, China
 Download: PDF(840 KB)  
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
Abstract

AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures. It is quite popular for its simple syntax, powerful functionality and extensibility and has been widely applied in embedded systems for its advantage. However, it is not enough for AADL to model cyber-physical systems (CPS) mainly because it cannot be used to model the continuous dynamic behaviors. This paper proposes an approach to construct a new sublanguage of AADL called AADL+, to facilitate the modeling of not only the discrete and continuous behavior of CPS, but also interaction between cyber components and physical components. The syntax and semantics of the sublanguage are provided to describe the behaviors of the systems. What’s more, we develop a plug-in to OSATE (open-source AADL tool environment) for the modeling of CPS. And the plug-in supports syntax checking and simulation of the system model through linking with modelica. Finally, the AADL+ annex is successfully applied to model a lunar rover control system.

Keywords AADL      cyber-physical systems (CPS)      simulation      OSATE      lunar rover control system     
Corresponding Author(s): Jifeng HE   
Just Accepted Date: 07 December 2017   Online First Date: 07 January 2019    Issue Date: 24 April 2019
 Cite this article:   
Jing LIU,Tengfei LI,Zuohua DING, et al. AADL+: a simulation-based methodology for cyber-physical systems[J]. Front. Comput. Sci., 2019, 13(3): 516-538.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-018-7039-7
https://academic.hep.com.cn/fcs/EN/Y2019/V13/I3/516
1 E ALee, S ASeshia. Introduction to Embedded Systems: a Cyber-Physical Systems Approach. MA: The MIT Press, 2016
2 MDebbabi, F Hassaïne, YJarraya, ASoeanu, L Alawneh. Unified modeling language. Encyclopedia of Systems Biology, 2010, 20(1): 9
3 BSelic, SGerard. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Amsterdam: Elsevier, 2013
4 YCao, Y SLiu, C J JParedis. System-level model integration of design and simulation for mechatronic systems based on SysML. Mechatronics, 2011, 21(6): 1063–1075
https://doi.org/10.1016/j.mechatronics.2011.05.003
5 P HFeiler, B ALewis, SVestal. The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems. In: Proceedings of 2006 IEEE International Conference on Control Applications, International Symposium on Intelligent Control. 2006, 1206–1211
6 SVestal. MetaH support for real-time multi-processor avionics. In: Proceedings of the Joint Workshop on Parallel and Distributed Real- Time Systems. 1997, 11–21
https://doi.org/10.1109/WPDRTS.1997.637858
7 E ALee. The past, present and future of cyber-physicalsystems: a focus on models. Sensors, 2015, 15(3): 4837–4869
https://doi.org/10.3390/s150304837
8 Z JWang, L LXie. Cyber-physical systems: a survey. Acta Automatica Sinica, 2011, 37(10): 1157–1166
9 P HFeiler, D PGluch. Model-based Eegineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language. New Jexsey: Addison-Wesley, 2012
10 S A EAerospace. SAE AS5506 annex: behavior specification v1.6. New Jersey: SAE International, 2007
11 S A EAerospace. SAE AS5506a: architecture analysis and design language v2.0. Google Scholar, 2009
12 BØksendal. Stochastic Differential Equations- An Introduction with Applications. New York: Springer Science & Business Media, 2003
13 AssociationModelica. Modelica- a united object-oriented language for systems modeling-language specification version 3.3. PELAB, IDA, Linköpings Universitet, S-58183 Linköping, Sweden, 2014
14 ARajhans, S WCheng, BSchmerl, D Garlan, B HKrogh, CAgbi, ABhave. An architectural approach to the design and analysis of cyberphysical systems. Electronic Communications of the EASST, 2009, 21: 14–38
15 ABanerjee, S Kandula, TMukherjee, SGupta. BAND-AiDe: a tool for cyber-physical oriented analysis and design of body area networks and devices. ACM Transactions on Embedded Computing Systems, 2012, 11(S2): 49
https://doi.org/10.1145/2331147.2331159
16 D BSmith, L WHanlen. Channel Modeling for Wireless Body Area Networks. Ultra-Low-Power Short-Range Radios. New York: Springer International Publishing, 2015, 25–55
https://doi.org/10.1007/978-3-319-14714-7_2
17 FSinghoff, J Legrand, LNana, LMarcé. Cheddar:a flexible real time scheduling framework. ACM SIGAda Ada Letters, 2004, 24(4): 1–8
https://doi.org/10.1145/1046191.1032298
18 RAlur, RGrosu, YHur, V Kumar, ILee. Modular specification of hybrid systems in Charon. In: Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control. 2000, 6–19
https://doi.org/10.1007/3-540-46430-1_5
19 OSokolsky. The montana toolset: OSATE plugins for analysis and code generation. In: Proceedings of AADL Workshop, 2005
20 Y CZhou, JBaras, S GWang. Hardware software co-design for automotive CPS using architecture analysis and design language. 2016, arXiv preprint arXiv:1603.05069
21 EPalachi, CCohen, STakashi. Simulation of cyber physical models using SysML and numerical solvers. In: Proceedings of the IEEE International Systems Conference. 2013, 671–675
https://doi.org/10.1109/SysCon.2013.6549954
22 RBehjati, TYue, SNejati, L Briand, BSelic. Extending SysML with AADL concepts for comprehensive system architecture modeling. In: Proceedings of European Conference on Modelling Foundations and Applications. 2011, 236–252
https://doi.org/10.1007/978-3-642-21470-7_17
23 CBernardeschi, A Domenici, PMasci. A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering, 2018, 44(6): 512–533
https://doi.org/10.1109/TSE.2017.2694423
24 MPrist, AFreddi, SLonghi, A Monteriù. An integrated simulation module for wireless cyber-physical system. In: Proceedings of the 15th International Conference on Environment and Electrical Engineering. 2015, 1397–1402
https://doi.org/10.1109/EEEIC.2015.7165374
25 KBhasin, PBarnes, JReinert, B Golden. Applying model based systems engineering to NASA’s space communications networks. In: Proceedings of the IEEE International Systems Conference. 2013, 325–330
https://doi.org/10.1109/SysCon.2013.6549901
26 JLee, RCha, Y HHan, W Nam, J YChoi, W TKim, S MPark. Modeling autonomous military robots using hybrid system framework. In: Proceedings of International Conference on Information and Communication Technology Convergence. 2010, 429–430
27 OSokolsky, MPajic, NBezzo, I Lee. Architecture-centric software development for cyber-physical systems. In: Proceedings of the 1st Workshop on Cyber-Physical System Architectures and Design Methodologies. 2014
28 EAhmad, B RLarson, S CBarrett, N J Zhan, Y WDong. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. ACM SIGAda Ada Letters, 2014, 34(3): 29–38
https://doi.org/10.1145/2692956.2663178
29 M CBujorianu, M L Bujorianu, HBarringer. A unifying specification logic for cyber-physical systems. In: Proceedings of Mediterranean Conference on Control and Automation. 2009, 1166–1171
https://doi.org/10.1109/MED.2009.5164704
30 YZhang, Y WDong, FZhang, Y F Zhang. Research on modeling and analysis of CPS. In: Proceedings of the International Conference on Autonomic and Trusted Computing. 2011, 92–105
31 RAlur. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software. 2011, 273–278
https://doi.org/10.1145/2038642.2038685
32 Z HSun, X SZhou. Extending and recompiling AADL for CPS modeling. In: Proceedings of the IEEE International Conference on Green Computing and Communications. 2013, 1225–1230
https://doi.org/10.1109/GreenCom-iThings-CPSCom.2013.213
33 SDziwok, C Gerking, SBecker, SThiele, C Heinzemann, UPohlmann. A tool suite for the model-driven software engineering of cyberphysical systems. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2014, 715–718
34 L CZhang. Aspect-oriented modeling of railway cyber physical systems based on the extension of AADL. In: Proceedings of the IEEE International Conference on High Performance Computing and Communications & the 10th IEEE International Conference on Embedded and Ubiquitous Computing. 2013, 2104–2111
https://doi.org/10.1109/HPCC.and.EUC.2013.302
35 AEhsan, Y WDong, LBrian, T Tang, J DLü, N JZhan. Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Science China Information Sciences, 2015, 58(11): 1–20
https://doi.org/10.1007/s11432-015-5346-2
36 Z BYang, KHu, D FMa, L Pi. Towards a formal semantics for the AADL behavior annex. In: Proceedings of the Conference on Design, Automation and Test in Europe. 2009, 1166–1171
37 AKamandi, JHabibi. A survey of syntax and semantics frameworks of modeling languages. In: Proceedings of the 2nd International Conference on Computer Science and ITS Applications. 2009, 1–6
https://doi.org/10.1109/CSA.2009.5404220
38 ETorlak, M Taghdiri, GDennis, J PNear. Applications and extensions of Alloy: past, present and future. Mathematical Structures in Computer Science, 2013, 23(4): 915–933
https://doi.org/10.1017/S0960129512000291
[1] Article highlights Download
[1] Najme MANSOURI, Mohammad Masoud JAVIDI, Behnam Mohammad Hasani ZADE. Hierarchical data replication strategy to improve performance in cloud computing[J]. Front. Comput. Sci., 2021, 15(2): 152501-.
[2] Jianpeng HU, Linpeng HUANG, Tianqi SUN, Ying FAN, Wenqiang HU, Hao ZHONG. Proactive planning of bandwidth resource using simulation-based what-if predictions forWeb services in the cloud[J]. Front. Comput. Sci., 2021, 15(1): 151201-.
[3] Daian YUE, Vania JOLOBOFF, Frédéric MALLET. TRAP: trace runtime analysis of properties[J]. Front. Comput. Sci., 2020, 14(3): 143201-.
[4] Samuel IRVING, Bin LI, Shaoming CHEN, Lu PENG, Weihua ZHANG, Lide DUAN. Computer comparisons in the presence of performance variation[J]. Front. Comput. Sci., 2020, 14(1): 21-41.
[5] Ying JIANG, Shichao LIU, Thomas EHRHARD. A fully abstract semantics for value-passing CCS for trees[J]. Front. Comput. Sci., 2019, 13(4): 828-849.
[6] Kai HU, Zhangbo DUAN, Jiye WANG, Lingchao GAO, Lihong SHANG. Template-based AADL automatic code generation[J]. Front. Comput. Sci., 2019, 13(4): 698-714.
[7] Thierry GAUTIER, Clément GUY, Alexandre HONORAT, Paul LE GUERNIC, Jean-Pierre TALPIN, Loïc BESNARD. Polychronous automata and their use for formal validation of AADL models[J]. Front. Comput. Sci., 2019, 13(4): 677-697.
[8] Jin HUANG, Jiong CHEN, Weiwei XU, Hujun BAO. A survey on fast simulation of elastic objects[J]. Front. Comput. Sci., 2019, 13(3): 443-459.
[9] Juan ZHANG, Fuqing DUAN, Mingquan ZHOU, Dongcan JIANG, Xuesong WANG, Zhongke WU, Youliang HUANG, Guoguang DU, Shaolong LIU, Pengbo ZHOU, Xiangang SHANG. Stable and realistic crack pattern generation using a cracking node method[J]. Front. Comput. Sci., 2018, 12(4): 777-797.
[10] Wenhao ZHOU,Juan CHEN,Chen CUI,Qian WANG,Dezun DONG,Yuhua TANG. Detailed and clock-driven simulation for HPC interconnection network[J]. Front. Comput. Sci., 2016, 10(5): 797-811.
[11] Zhibin YANG,Jean-Paul BODEVEIX,Mamoun FILALI,Kai HU,Yongwang ZHAO,Dianfu MA. Towards a verified compiler prototype for the synchronous language SIGNAL[J]. Front. Comput. Sci., 2016, 10(1): 37-53.
[12] Luxi CHEN,Linpeng HUANG,Chen LI,Tao ZAN. Integrating behavior analysis into architectural modeling[J]. Front. Comput. Sci., 2015, 9(1): 15-33.
[13] Xiaodong LI,Xiaotie DENG,Shanfeng ZHU,Feng WANG,Haoran XIE. An intelligent market making strategy in algorithmic trading[J]. Front. Comput. Sci., 2014, 8(4): 596-608.
[14] Najme MANSOURI. Network and data location aware approach for simultaneous job scheduling and data replication in large-scale data grid environments[J]. Front. Comput. Sci., 2014, 8(3): 391-408.
[15] Huafeng YU, Yue MA, Thierry GAUTIER, Lo?c BESNARD, Jean-Pierre TALPIN, Paul Le GUERNIC, Yves SOREL. Exploring system architectures in AADL via Polychrony and SynDEx[J]. Front Comput Sci, 2013, 7(5): 627-649.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed