Sitaram C. V. Raju

Learn More
INTRODUCTION Executable specifications have been advocated as a promising method for understanding the requirements specification of systems, and for developing systems incrementally. 1,2 An executable specification serves as a prototype of the final implementation. The main advantage of prototyping systems is that it gives the designer early feedback that(More)
In this paper, we describe a run-time environment for monitoring distributed real-time systems. In particular , we focus on the problem of detecting violations of timing assertions in an environment in which the real-time tasks run on multiple processors, and timing constraints can be either inter-processor or intra-processor constraints. Constraint(More)
Embedded real-time systems often operate under strict timing and dependability constraints. To ensure responsiveness , these systems must be able to provide the expected services in a timely manner even in the presence of faults. In this paper, we describe a run-time environment for monitoring of timing constraints in distributed real-time systems. In(More)
  • 1