Skip to main content
SpringerLink
Log in

AADL+: a simulation-based methodology for cyber-physical systems

  • Research Article
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Lee E A, Seshia S A. Introduction to Embedded Systems: a Cyber-Physical Systems Approach. MA: The MIT Press, 2016

    MATH  Google Scholar 

  2. Debbabi M, Hassaïne F, Jarraya Y, Soeanu A, Alawneh L. Unified modeling language. Encyclopedia of Systems Biology, 2010, 20(1): 9

    Google Scholar 

  3. Selic B, Gerard S. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Amsterdam: Elsevier, 2013

    Google Scholar 

  4. Cao Y, Liu Y S, Paredis C J J. System-level model integration of design and simulation for mechatronic systems based on SysML. Mechatronics, 2011, 21(6): 1063–1075

    Article  Google Scholar 

  5. Feiler P H, Lewis B A, Vestal S. 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

    Google Scholar 

  6. Vestal S. MetaH support for real-time multi-processor avionics. In: Proceedings of the Joint Workshop on Parallel and Distributed Real-Time Systems. 1997, 11–21

    Google Scholar 

  7. Lee E A. The past, present and future of cyber-physicalsystems: a focus on models. Sensors, 2015, 15(3): 4837–4869

    Article  Google Scholar 

  8. Wang Z J, Xie L L. Cyber-physical systems: a survey. Acta Automatica Sinica, 2011, 37(10): 1157–1166

    Google Scholar 

  9. Feiler P H, Gluch D P. Model-based Eegineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language. New Jexsey: Addison-Wesley, 2012

    Google Scholar 

  10. Aerospace S A E. SAE AS5506 annex: behavior specification v1.6. New Jersey: SAE International, 2007

    Google Scholar 

  11. Aerospace S A E. SAE AS5506a: architecture analysis and design language v2.0. Google Scholar, 2009

    Google Scholar 

  12. Øksendal B. Stochastic Differential Equations - An Introduction with Applications. New York: Springer Science & Business Media, 2003

    MATH  Google Scholar 

  13. Modelica Association. 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. Rajhans A, Cheng S W, Schmerl B, Garlan D, Krogh B H, Agbi C, Bhave A. An architectural approach to the design and analysis of cyberphysical systems. Electronic Communications of the EASST, 2009, 21: 14–38

    Google Scholar 

  15. Banerjee A, Kandula S, Mukherjee T, Gupta S. 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

    Article  Google Scholar 

  16. Smith D B, Hanlen L W. Channel Modeling for Wireless Body Area Networks. Ultra-Low-Power Short-Range Radios. New York: Springer International Publishing, 2015, 25–55

    Chapter  Google Scholar 

  17. Singhoff F, Legrand J, Nana L, Marcé L. Cheddar:a flexible real time scheduling framework. ACM SIGAda Ada Letters, 2004, 24(4): 1–8

    Article  Google Scholar 

  18. Alur R, Grosu R, Hur Y, Kumar V, Lee I. Modular specification of hybrid systems in Charon. In: Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control. 2000, 6–19

    Chapter  Google Scholar 

  19. Sokolsky O. The montana toolset: OSATE plugins for analysis and code generation. In: Proceedings of AADL Workshop, 2005

  20. Zhou Y C, Baras J, Wang S G. Hardware software co-design for automotive CPS using architecture analysis and design language. 2016, arXiv preprint arXiv:1603.05069

    Google Scholar 

  21. Palachi E, Cohen C, Takashi S. Simulation of cyber physical models using SysML and numerical solvers. In: Proceedings of the IEEE International Systems Conference. 2013, 671–675

    Google Scholar 

  22. Behjati R, Yue T, Nejati S, Briand L, Selic B. Extending SysML with AADL concepts for comprehensive system architecture modeling. In: Proceedings of European Conference on Modelling Foundations and Applications. 2011, 236–252

    Chapter  Google Scholar 

  23. Bernardeschi C, Domenici A, Masci P. A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering, 2018, 44(6): 512–533

    Article  Google Scholar 

  24. Prist M, Freddi A, Longhi S, Monteriù A. An integrated simulation module for wireless cyber-physical system. In: Proceedings of the 15th International Conference on Environment and Electrical Engineering. 2015, 1397–1402

    Google Scholar 

  25. Bhasin K, Barnes P, Reinert J, Golden B. Applying model based systems engineering to NASA’s space communications networks. In: Proceedings of the IEEE International Systems Conference. 2013, 325–330

    Google Scholar 

  26. Lee J, Cha R, Han Y H, Nam W, Choi J Y, Kim W T, Park S M. Modeling autonomous military robots using hybrid system framework. In: Proceedings of International Conference on Information and Communication Technology Convergence. 2010, 429–430

    Google Scholar 

  27. Sokolsky O, Pajic M, Bezzo N, Lee I. Architecture-centric software development for cyber-physical systems. In: Proceedings of the 1st Workshop on Cyber-Physical System Architectures and Design Methodologies. 2014

    Google Scholar 

  28. Ahmad E, Larson B R, Barrett S C, Zhan N J, Dong Y W. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. ACM SIGAda Ada Letters, 2014, 34(3): 29–38

    Article  Google Scholar 

  29. Bujorianu M C, Bujorianu M L, Barringer H. A unifying specification logic for cyber-physical systems. In: Proceedings of Mediterranean Conference on Control and Automation. 2009, 1166–1171

    Google Scholar 

  30. Zhang Y, Dong Y W, Zhang F, Zhang Y F. Research on modeling and analysis of CPS. In: Proceedings of the International Conference on Autonomic and Trusted Computing. 2011, 92–105

    Google Scholar 

  31. Alur R. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software. 2011, 273–278

    Google Scholar 

  32. Sun Z H, Zhou X S. Extending and recompiling AADL for CPS modeling. In: Proceedings of the IEEE International Conference on Green Computing and Communications. 2013, 1225–1230

    Google Scholar 

  33. Dziwok S, Gerking C, Becker S, Thiele S, Heinzemann C, Pohlmann U. 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

    Google Scholar 

  34. Zhang L C. 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

    Google Scholar 

  35. Ehsan A, Dong Y W, Brian L, Tang T, Lü J D, Zhan N J. Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Science China Information Sciences, 2015, 58(11): 1–20

    MathSciNet  Google Scholar 

  36. Yang Z B, Hu K, Ma D F, Pi L. Towards a formal semantics for the AADL behavior annex. In: Proceedings of the Conference on Design, Automation and Test in Europe. 2009, 1166–1171

    Google Scholar 

  37. Kamandi A, Habibi J. 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

    Google Scholar 

  38. Torlak E, Taghdiri M, Dennis G, Near J P. Applications and extensions of Alloy: past, present and future. Mathematical Structures in Computer Science, 2013, 23(4): 915–933

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China

    Jing Liu, Tengfei Li, Yuqing Qian, Haiying Sun & Jifeng He

  2. Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou, 310018, China

    Zuohua Ding

Authors
  1. Jing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tengfei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zuohua Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yuqing Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Haiying Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jifeng He
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jifeng He.

Additional information

Jing Liu is currently a professor of computer science at East China Normal University (ECNU), China. She is also the vice director of Computing Theories Institute, ECNU. In recent years, she is working on the area of model driven architecture. Now her work focuses on the design of real-time embedded systems and cyber physical system.

Tengfei Li received the BS degree from the School of Mathematics and Statistics, Changshu Institute of Technology, China in 2014. He is currently a PhD student in the School of Computer Science and Software Engineering, East China Normal University, China. His research interests are in the area of safety-critical cyber physical systems, formal verification and hybrid systems.

Zuohua Ding received his PhD (1996) in Mathematics(advisor: Professor Athanassios G. Kartsatos) and MS (1998) of Computer Science (advisor: Professor Abraham Kandel) all from University of South Florida, USA. He is currently a professor and the director of Lab of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, China, and he has been a research professor of National Institute for Systems Test and Productivity, USA since 2001. From 1998 to 2001, he was a senior software engineer in Advanced Fiber Communication, USA. His research interests include system modeling, program analysis, service computing, software reliability prediction and Petri nets, subjects on which he has authored and coauthored more than 70 papers.

Yuqing Qian received the BE degree and ME degree from School of Computer Science and Software Engineering, East China Normal University, China in 2011 and 2014, respectively. He is currently an engineer in internet finance. His research interests are in the area of program analysis and software engineering.

Haiying Sun received the master’s degree in computer science and technology from the NanJing University Science and Technology in 2001. She earned her PhD in Formal Method From East China Normal University in 2017. She is now a lecturer at East China Normal University. Her research interests include formal method, automatic test generation, system simulation, and model-driven engineering.

Jifeng He is currently a professor of computer science at East China Normal University (ECNU), China. He is an academician of Chinese Academy of Sciences. He is also the dean of Software Engineering Institute, ECNU. In recent years, he has also been working on the mathematical model about the co-design of software and hardware. His work focuses on design of real-time embedded systems, cyber physical system, and the Internet of Things.

Electronic supplementary material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liu, J., Li, T., Ding, Z. et al. AADL+: a simulation-based methodology for cyber-physical systems. Front. Comput. Sci. 13, 516–538 (2019). https://doi.org/10.1007/s11704-018-7039-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-018-7039-7

Keywords

Search

Navigation