Viresh Rustagi

Learn More
Static timing analyzers, which are used to analyze real-time systems, need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. This paper describes three complementary methods to support timing analysis by bounding the number of loop iterations. First, an(More)
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. This paper describes three complementary methods to support timing analysis by bounding the number of loop iterations. First, an algorithm is presented that determines the minimum(More)
MiThOS (Micro-kernel Threads Operating System) is an experimental operating system for embedded systems. The system kernel is a rst implementation of the POSIX \Minimal Real-Time System Proole". It is based on prior work of a library implementation of Pthreads (POSIX threads). The system is fully pre-emptive. It supports multi-threading within a single(More)
  • 1