Anzeige
Erschienen in:
2011 | OriginalPaper | Buchkapitel
Using Uppaal for Verification of Priority Assignment in Real-Time Databases
verfasst von : Martin Kot
Erschienen in: Digital Information Processing and Communications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Model checking, as one area of formal verification, is recently subject of an intensive research. Many verification tools intended to check properties of models of systems were developed, mainly at universities. Many researches are also interested in real-time database management systems (RTDBMS). In this paper we show some possibilities of using a verification tool Uppaal on some variants of priority assignment algorithms used in RTDBMS. We present some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal and then some simulation and verification possibilities of Uppaal on those models.