Modeling Real-Time Systems — Challenges and Work Directions-Reference-Cited by-同舟云学术

Modeling Real-Time Systems — Challenges and Work Directions

Published:2001 Issue: Volume: Page:373-389
ISSN:0302-9743
Container-title:Embedded Software
language:
Short-container-title:

Author:

Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45449-7_26

Reference35 articles.

1. N. C. Audsley, A. Burns, and M. F. Richardson. Hard real-time scheduling: the deadline monotonic approach. In Workshop on real-time operating systems and software, 1991.

2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

3. K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. RTSS 1999, pages 154–163. IEEE Computer Society Press, 1999.

4. Lect Notes Comput Sci;A. K,2000

5. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on ”control-theoretical approaches to real-time computing” (to appear), 2001.

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

1. Information at the Threshold of Interpretation: Science as Human Construction of Sense;A Critical Reflection on Automated Science;2020

2. On Formalization of Semantics of Real-Time and Cyber-Physical Systems;Advances in Intelligent Systems and Computing;2018-05-12

3. Bibliography;Time-Predictable Architectures;2014-01-17

4. The Theory of Timed I/O Automata, Second Edition;Synthesis Lectures on Distributed Computing Theory;2010-01

5. Automatic Compositional Verification of Business Processes;Enterprise Information Systems;2009