Parallel and Distributed Processing Symposium, International (2008)
Miami, FL, USA
Apr. 14, 2008 to Apr. 18, 2008
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
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.
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