The Community for Technology Leaders
Parallel and Distributed Processing Symposium, International (2008)
Miami, FL, USA
Apr. 14, 2008 to Apr. 18, 2008
ISBN: 978-1-4244-1693-6
pp: 1-8
Pavithra Prabhakar , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Xue Liu , School of Computer Science, McGill University, USA
Peter Csaba Olveczky , Department of Informatics, University of Oslo, USA
ABSTRACT
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” of our techniques has been used to find a previously unknown subtle bug in a state-of-the-art cheduling algorithm. This paper also shows how our general techniques can be instantiated to model and analyze the well known priority inheritance protocol.
INDEX TERMS
CITATION
Pavithra Prabhakar, Xue Liu, Peter Csaba Olveczky, "Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude", Parallel and Distributed Processing Symposium, International, vol. 00, no. , pp. 1-8, 2008, doi:10.1109/IPDPS.2008.4536574
89 ms
(Ver 3.3 (11022016))