Automatic derivation of path and loop annotations in object-oriented real-time programs
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- On the false path problem in hard real-time programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Overview of RealTimeTalk, a Design Framework for Real-Time SystemsJournal of Parallel and Distributed Computing, 1996
- Performance analysis of embedded software using implicit path enumerationPublished by Association for Computing Machinery (ACM) ,1995
- Experiments with a program timing tool based on source-level timing schemaPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973