Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal

Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as well. In this paper we show some possibilities of using a verification tool Uppaal on some variants of priority assignment algorithms. We present some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal.

• Type: Journal
• Year: 2010
• Where: DATESO
• Authors: Martin Kot
• Keywords: Database, DATESO 2010, Priority Assignment Algorithms, Real-time Database Management, Verification Tool