Modelling Real-time Database Systems in Duration Calculus

D. Van Hung and H. Van Huong (Macao)


Real-time Database, Concurrency Control, Duration Cal culus.


In this paper, we give a formal model for real-time database systems using Duration Calculus. Our model supports the formal reasoning about the operations in the systems. As a case study for our technique, we give a formal specification and verification of the Read/Write Priority Ceiling Protocol (R/WPCP).

Important Links:

Go Back