The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1994 vol.20)
pp: 708-719
ABSTRACT
<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>
INDEX TERMS
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
CITATION
G.S. Avrunin, J.C. Corbett, L.K. Dillon, J.C. Wileden, "Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems", IEEE Transactions on Software Engineering, vol.20, no. 9, pp. 708-719, September 1994, doi:10.1109/32.317429
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool