Abstract
A general parametric analysis problem which allows the usage of parameter variables in both the real-time automata and the specifications is proposed and solved. The analysis algorithm is much simpler and can run more efficiently in average cases than previous work.
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Courcoubetis, C., and Dill, D.L. (1993), Model-Checking in Dense Real-Time, Information and Computation 104, Nr. 1, pp. 2–34.
Alur, R. and Dill, D., (1990), Automata for modeling real-time systems, in “Automata, Languages and Programming: Proceedings of the 17th ICALP,” Lecture Notes in Computer Science, 443, pp. 332–335, Springer-Verlag, Berlin/New York.
Alur, R. and Henzinger, T.A. (1990), Real-Time Logics: Complexity and Expressiveness, in “Proceedings, 5th IEEE LICS.”
Alur, R., Henzinger, T.A., and Vardi, M.Y. (1993), Parametric Real-Time Reasoning, in “Proceedings, 25th ACM STOC,” pp. 592–601.
J.R. Burch, E.M. Clarke, K.L. McMillan, D.L.Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond, IEEE LICS, 1990.
R.E. Bryant. Graph-based Algorithms for Boolean Function Manipulation, IEEE Trans. Comput., C-35(8), 1986.
Clarke, E. and Emerson, E.A. (1981), Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic, in “Proceedings, Workshop on Logic of Programs,” LNCS 131, Springer-Verlag.
Clarke, E., Emerson, E.A., and Sistla, A.P., (1986) Automatic Verification of Finite-State Concurrent Systems using Temporal-Logic Specifications, ACM Trans. Programming, Languages, and Systems, 8, Nr. 2, pp. 244–263.
Courcoubetis, C. and Yannakakis, M. (1992), Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1:385–415, Kluwer Academic Publishers; also in “Proceedings, 3rd CAV,” 1991, Springer-Verlag, LNCS 575.
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In proceedings of the 16th Annual Real-Time System Symposium, pages 56–65. IEEE Computer Society Press, 1995.
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, IEEE LICS 1992.
Wang, F. (1996). Parametric Timing Analysis for Real-Time Systems. Information and Computation, Vol. 130, Nr 2, Nov. 1996, Academic Press, ISSN 0890-5401; pp 131–150. Also in “Proceedings, 10th IEEE Symposium on Logic in Computer Science,” 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, F., Hsiung, PA. (1997). Parametric analysis of computer systems. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000495
Download citation
DOI: https://doi.org/10.1007/BFb0000495
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive