Timing behavior analysis for real-time systems
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10436871,p. 112-122
- https://doi.org/10.1109/lics.1995.523249
Abstract
We extend TCTL model-checking problem to timing behavior analysis problem for real-time systems and develop new techniques in solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the systems working.Keywords
This publication has 11 references indexed in Scilit:
- Symbolic model checking for distributed real-time systemsPublished by Springer Nature ,2005
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Real-time logics: complexity and expressivenessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Explicit clock temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Minimum and maximum delay problems in real-time systemsFormal Methods in System Design, 1992
- The benefits of relaxing punctualityPublished by Association for Computing Machinery (ACM) ,1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986