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 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

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

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

4. Verifying Liveness and Real-Time of OS-Based Embedded Software;2022 25th Euromicro Conference on Digital System Design (DSD);2022-08

5. Early timing analysis based on scenario requirements and platform models;Software and Systems Modeling;2022-04-28