AADL+: a simulation-based methodology for cyber-physical systems-Reference-Cited by-同舟云学术

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

Published:2018-12-28 Issue:3 Volume:13 Page:516-538
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Liu Jing,Li Tengfei,Ding Zuohua,Qian Yuqing,Sun Haiying,He Jifeng

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11704-018-7039-7.pdf

Reference38 articles.

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

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

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

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

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

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra;International Journal of Software Engineering and Knowledge Engineering;2023-09-27

2. Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL;International Journal on Software Tools for Technology Transfer;2022-09-03

3. An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

4. Research on Cyber-Physical Systems Based on Software Definition;2021 IEEE 12th International Conference on Software Engineering and Service Science (ICSESS);2021-08-20

5. Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems;2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC);2021-07