Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems-Reference-Cited by-同舟云学术

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems

Published:2017 Issue: Volume: Page:54-70
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Chen Xiaohong,Yin Ling,Yu Yijun,Jin Zhi

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-68690-5_4

Reference32 articles.

1. Lee, E.: Cyber physical systems: design challenges. In: International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC2008), pp. 363–369 (2008)

2. Ying, T., Goddard, S., Perez, L.C.: A prototype architecture for cyber-physical systems. ACM SIGBED Rev. (2008)

3. Jackson, M.: The meaning of requirements. Ann. Softw. Eng. 3, 5–21 (1997)

4. Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Fm, T. (ed.) Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 249–263. IEEE Computer Society, Toronto (2001)

5. Jackson, M., Frames, P.: Analyzing and Structuring Software Development Problems. Addison-Wesley, New York (2001)

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

1. Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12

2. Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration;IEEE Transactions on Computers;2023-05-01

3. Evaluating the Effectiveness of Problem Frames for Contextual Modeling of Cyber-Physical Systems: a Tool Suite with Adaptive User Interfaces;Evaluation and Assessment in Software Engineering;2021-06-18

4. Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems;2019 IEEE 27th International Requirements Engineering Conference (RE);2019-09

5. Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica;International Journal of Software Science and Computational Intelligence;2019-07