Timing analysis of Ada tasking programs
- 1 July 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 22 (7), 461-483
- https://doi.org/10.1109/32.538604
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Timing Verification by Successive ApproximationInformation and Computation, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A user guide to HyTechLecture Notes in Computer Science, 1995
- Timing analysis for fixed-priority scheduling of hard real-time systemsIEEE Transactions on Software Engineering, 1994
- An accurate worst case timing analysis technique for RISC processorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Implementing Ada 9X features using POSIX ThreadsPublished by Association for Computing Machinery (ACM) ,1993
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973