TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems-Reference-Cited by-同舟云学术

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Published:2004 Issue: Volume: Page:60-72
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Amnell Tobias,Fersman Elena,Mokrushin Leonid,Pettersson Paul,Yi Wang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40903-8_6

Reference11 articles.

1. Lecture Notes in Computer Science;T. Amnell,2002

2. Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nordic Journal of Computing 9(4), 269–300 (2002)

3. Balarin, F., Lavagno, L., Murthy, P., Sangiovanni-vincentelli, A.: Scheduling for embedded real-time systems. IEEE Design & Test of Computers 15(1), 71–82 (1998)

4. Buttazzo, G.C.: Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Dordrecht (1997)

5. Ericsson, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Proceedings of Nordic Workshop on Programming Theory (1998)

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

1. Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design;2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS);2024-05-13

2. Towards Systematic and Precise Compilation of Domain-Specific Modelling Languages;Advances in Intelligent Systems and Computing;2024

3. Compositional verification of embedded real-time systems;Journal of Systems Architecture;2023-09

4. An evaluation of approaches to model checking real-time task schedulability analysis;International Journal on Software Tools for Technology Transfer;2023-01-19

5. A Verification Tool for Real-Time Task Schedulability Analysis;South African Institute of Computer Scientists and Information Technologists;2023