Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

IPPS
2008
IEEE

favoriteEmaildiscussreport

143views Distributed And Parallel Com...» more IPPS 2008»

Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude

13 years 10 months ago

Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude

Download folk.uio.no

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 ﬁnd a previously unknown subtle bug in a state-of-theart scheduling algorithm. This paper also shows how our general techniques can be instantiated to model and analyze the well known priority inheritance protocol.

Peter Csaba Ölveczky, Pavithra Prabhakar, Xue

Real-time Traffic

Checking Real-time Resource-sharing | Distributed And Parallel Computing | General Techniques | IPPS 2008 | Unknown Subtle Bug |

claim paper

Related Content

» Specification and Analysis of RealTime Systems Using RealTime Maude

» Specification and analysis of the AERNCA active network protocol suite in RealTime Maude

» Formal Analysis of TimeDependent Cryptographic Protocols in RealTime Maude

» Abstraction and Completeness for RealTime Maude

» Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in RealTime Mau...

» Formal Simulation and Analysis of the CASH Scheduling Algorithm in RealTime Maude

» Formal modeling and analysis of wireless sensor network algorithms in RealTime Maude

» Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in RealTime M...

» Recent Advances in RealTime Maude

Post Info
More Details (n/a)

Added	31 May 2010
Updated	31 May 2010
Type	Conference
Year	2008
Where	IPPS
Authors	Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu

Comments (0)