@inproceedings{98d7d1c4d2ee4b2bae932c599707f335,
title = "Scalable timing analysis with refinement",
abstract = "Traditional timing analysis techniques rely on composing system-level worst-case behavior with local worst-case behaviors of individual components. In many complex real-time systems, no single local worst-case behavior exists for each component and it generally requires to enumerate all the combinations of individual local behaviors to find the global worst case. This paper presents a scalable timing analysis technique based on abstraction refinement, which provides effective guidance to significantly prune away state space and quickly verify the desired timing properties. We first establish the general framework of the method, and then apply it to solve the analysis problem for several different realtime task models.",
keywords = "Digraph realtime task model, Real-time systems, Scalability, Timing analysis",
author = "Nan Guan and Yue Tang and Jakaria Abdullah and Martin Stigge and Wang Yi",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-662-46681-0_1",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "3--18",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings",
address = "Germany",
note = "21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 ; Conference date: 11-04-2015 Through 18-04-2015",
}