- 1.M. Abadi and L. Lamport. An old-fashioned recipe for real time. In Proc. REX Workshop on Real Time, LNCS 600. Springer, 1992.]] Google ScholarDigital Library
- 2.R. Alur. Techniques for Automatic Verification of Real.time Systems. PhD thesis, Stanford Univ., 1991.]] Google ScholarDigital Library
- 3.R. Alur, C. Courcoubetis, and D. Dill. Modelchecking for real-time systems. In Proc. 5th 1EEE LICS, 1990.]]Google Scholar
- 4.R. Alur, C. Courcoubetis, T. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Proc. Workshop on Theory of Hybrid Systems, LNCS. Springer, 1993. To appear.]] Google ScholarDigital Library
- 5.R. Alur and D. Dill. Automata for modeling realtime systems. In Proc. 17th ICALP, LNCS 443. Springer, 1990.]] Google ScholarDigital Library
- 6.R. Alur, T. Feder, and T. Henzinger. The benefits of relaxing punctuality. In Proc. lOth ACM PODC, 1991.]] Google ScholarDigital Library
- 7.R. Alur and T. Henzinger. A really temporal logic. In Proc. 30th 1EEE FOCS, 1989.]]Google ScholarDigital Library
- 8.R. Alur and T. Henzinger. Real-time logics: Complexity and expressiveness. In Proc. 5th 1EEE LICS, 1990.]]Google ScholarCross Ref
- 9.R. Ahr and T. Henzinger. Back to the future: Towards a theory of timed regular languages. In Proc. 33rd IEEE FOCS, 1992.]]Google Scholar
- 10.H. Attiya, C. Dwork, N. Lynch, and L. Stockmeyer. Bounds on the time to reach agreement in the presence of timing uncertainty. In Proc. 23rd A CM STOC, 1991.]] Google ScholarDigital Library
- 11.C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proc. 3rd CAV, LNCS 575. Springer, 1991.]] Google ScholarDigital Library
- 12.D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Proc. 1st CAV, LNCS 407. Springer, 1989.]] Google ScholarDigital Library
- 13.E. Emerson, A. Mok, A. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In Proc. 2nd CAV, LNCS 531. Springer, 1990.]] Google ScholarDigital Library
- 14.H. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.]]Google Scholar
- 15.E. Hard, O. Lichtenstein, and A. Pnueli. Explicitclock temporal logic. In Proc. 5th 1EEE LICS, 1990.]]Google Scholar
- 16.T. Henzinger. The Temporal Specification and Veri- Univ., 1991.]]Google Scholar
- 17.T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems, in Proc. 7th 1EEE LICS, 1992.]]Google ScholarCross Ref
- 18.J. Hooman. Specification and compositional verification of real-time systems. LNCS 558. Springer, 1991.]] Google ScholarDigital Library
- 19.O. Ibarra, T. Jiang, N. Tran, and H. Wang. New decidability results concerning two-way counter machines and applications. In Proc. 20th ICALP, LNCS. Springer, 1993. To appear.]] Google ScholarDigital Library
- 20.F. Jahanian. Verifying properties of systems with variable timing constraints. In Proc. l Oth IEEE RTSS, 1989.]]Google ScholarCross Ref
- 21.R. Koymans. Specifying real-time properties with metric temporal logic. J. Real-time Systems, 2:255- 299, 1990.]] Google ScholarDigital Library
- 22.R. P. Kurshan. Analysis of discrete-event coordination. In LNCS 430. Springer, 1990.]] Google ScholarDigital Library
- 23.L. Lamport. A fast mutual exclusion algorithm. ACM Trans. Computer Systems, 5:1-11, 1987.]] Google ScholarDigital Library
- 24.N. Leveson and J. Stolzy. Analyzing safety and fault tolerance using timed Petri nets. In Proc. Int. Conf. Theory and Practice ol Software Development, LNCS 186. Springer, 1985.]] Google ScholarDigital Library
- 25.H. Lewis. A logic of concrete time intervals, in Proc. 5th IEEE LICS, 1990.]]Google ScholarCross Ref
- 26.L. Lipshitz. The diophantine problem for addition and divisibility. Trans. AMS, 235:271-283, 1978.]]Google ScholarCross Ref
- 27.Z. Manna and A. Pnueli. The Temporal Logic o} Reactive and Concurrent Systems. Springer, 1992.]] Google ScholarDigital Library
- 28.J. Ostroff. Temporal Logic o.? Real-time Systems. Research Studies Press, 1990.]] Google ScholarDigital Library
- 29.F. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In Proc. REX Workshop on Real Time, LNCS 600. Springer, 1992.]] Google ScholarDigital Library
- 30.R. Strong, D. Dolev, and F. Cristian. New latency bounds for atomic broadcast. In Proc. 11th IEEE RTSS, 1990.]]Google ScholarCross Ref
- 31.M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st 1EEE LICS, 1986.]]Google Scholar
- 32.F. Wang, A. Mok, and E. Emerson. Real-time distributed system specification and verification in APTL. In Proc. 12th lnt. Conf. Software Engineering, 1992.]]Google Scholar
- 33.H. Weinberg and L. Zuck. Timed Ethernet: Realtime formal specification of Ethernet. In Proc. 3rd CONCUR, LNCS 630. Springer, 1992.]] Google ScholarDigital Library
Index Terms
- Parametric real-time reasoning
Recommendations
Parametric Timing Analysis for Real-Time Systems
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with ...
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and SystemsTiming correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Comments