Issue No. 09 - September (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.317429
<p>The successful development of complex real-time systems depends on analysis techniques that can accurately assess the timing properties of those systems. This paper describes a technique for deriving upper and lower bounds on the time that can elapse between two given events in an execution of a concurrent software system running on a single processor under arbitrary scheduling. The technique involves generating linear inequalities expressing conditions that must be satisfied by all executions of such a system and using integer programming methods to find appropriate solutions to the inequalities. The technique does not require construction of the state space of the system and its feasibility has been demonstrated by using an extended version of the constrained expression toolset to analyze the timing properties of some concurrent systems with very large state spaces.</p>
integer programming; real-time systems; scheduling; systems analysis; concurrency control; time bound derivation; uniprocessor concurrent systems; complex real-time systems; timing properties; lower bounds; upper bounds; concurrent software system; single processor; arbitrary scheduling; linear inequalities; integer programming methods; constrained expression toolset; very large state spaces; concurrent systems; timing analysis; finite state systems
L. Dillon, J. Wileden, G. Avrunin and J. Corbett, "Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 708-719, 1994.