Testing Environment for CPS by Cooperating Model Checking with Execution Testing-Reference-Cited by-同舟云学术

Testing Environment for CPS by Cooperating Model Checking with Execution Testing

Author:

Kuroiwa Takeru,Aoyama Yusuke,Kushiro Noriyuki

Publisher

Elsevier BV

Subject

General Engineering

Reference16 articles.

1. Cyber physical systems: Design challenges;Lee;Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on. IEEE,2008

2. Cyber-physical systems: the next computing revolution;Rajkumar;Proceedings of the 47th Design Automation Conference. ACM,2010

3. Software Product Lines: Practices and Patterns;Clements,2001

4. Model Checking;Clarke,1999

5. Alur, R., Henzinger, T.A., and Vardi, M.Y. Theory in practice for system design and verification. ACM Siglog News. 2015. 2.1, p. 46-51.

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

1. A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30

4. Emulation Technologies Streamline Testing of IoT Systems;IEEJ Transactions on Electronics, Information and Systems;2020-01-01