Simulation of real-time systems with clock calculus-Reference-Cited by-同舟云学术

Simulation of real-time systems with clock calculus

Published:2015-02 Issue: Volume:51 Page:69-86
ISSN:1569-190X
Container-title:Simulation Modelling Practice and Theory
language:en
Short-container-title:Simulation Modelling Practice and Theory

Author:

Hu Kai,Zhang Teng,Yang Zhibin,Tsai Wei-Tek

Funder

National Natural Science Foundations of China

State Key Laboratory of Software Development Environment

Aviation Science Foundation of China

Publisher

Elsevier BV

Subject

Hardware and Architecture,Modeling and Simulation,Software

Reference37 articles.

1. D. Potop-Butucaru, R. de Simone, J.-P. Talpin, The synchronous hypothesis and synchronous languages, in: The Embedded Systems Handbook, 2005, pp. 1–21.

2. The esterel synchronous programming language: design, semantics, implementation;Berry;Sci. Comput. Programm.,1992

3. The synchronous data flow programming language lustre;Halbwachs;Proc. IEEE,1991

4. K. Schneider, The synchronous programming language quartz, Tech. rep., Internal Report 375, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany, 2009.

5. Programming real-time applications with signal;LeGuernic;Proc. IEEE,1991

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

1. Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study;Science of Computer Programming;2021-07

2. Verification of concurrent code from synchronous specifications;Science of Computer Programming;2021-06

3. Smart Contract Engineering;Electronics;2020-12-02

4. Template-based AADL automatic code generation;Frontiers of Computer Science;2019-06-18

5. Multi-tenant Verification-as-a-Service (VaaS) in a cloud;Simulation Modelling Practice and Theory;2016-01