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

@inproceedings{Amnell2003TIMESAT,
  title={TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems},
  author={Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
  booktitle={FORMATS},
  year={2003}
}
Times is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviours for real-time systems. Given a system design model consisting of (1) a set of application tasks whose executions may be required to meet mixed timing, precedence, and resource constraints, (2) a network of timed automata describing the task arrival patterns and (3) a preemptive or non-preemptive scheduling policy, Times will generate a scheduler, and calculate… CONTINUE READING
Highly Influential
This paper has highly influenced 27 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 248 citations. REVIEW CITATIONS
151 Citations
11 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 151 extracted citations

249 Citations

0102030'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 249 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 11 references

A generi approa h to s hedulability analysis of real-time tasks

  • Elena Fersman, Wang Yi
  • Submitted for publi ation.,
  • 2003

hedulability analysis using two lo ks

  • E. Fersman, L. Mokrushin, P. Pettersson, S W.Yi.
  • In Pro . of TACAS'03,
  • 2003
1 Excerpt

Leho zky. An experimental investigation of syn hronisation proto ols

  • R. Rajkumar, L. Sha, J.P
  • In Pro eedings 6th IEEE Workshop on Real-Time…
  • 1998

Similar Papers

Loading similar papers…