RTSL: a language for real-time schedulability analysis
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 274-283
- https://doi.org/10.1109/real.1993.393489
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- The rate monotonic scheduling algorithm: exact characterization and average case behaviorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Toward the deterministic scheduling of Ada tasksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A theory of testing for real-timePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic model checking: 10/sup 20/ states and beyondPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Coverage Preserving Reduction Strategies for Reachability AnalysisPublished by Elsevier ,1992
- Constructing Predictable Real Time SystemsPublished by Springer Nature ,1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- An Analysis of Input/Output Paradigms for Real-Time SystemsPublished by Defense Technical Information Center (DTIC) ,1990
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973