Die Arbeit stellt das Modell und die Implementierung einer aktiven Realzeitdatenbank für eingebettete Realzeitsysteme vor. Es wird ein semantisches Concurrency-Control Protokoll entwickelt, das aufgrund einer Datenflußanalyse unterschiedlich restriktive Locking-Strategien erlaubt und so die Blockierzeiten der Transaktionen minimiert. Die Konsistenz der Daten wird über aktive Regeln in der Datenbank sichergestellt. Das Laufzeitverhalten des Datenbankmodells ist vorhersagbar. Die Integration in einen Realzeitnachweis wird gezeigt.
«
Die Arbeit stellt das Modell und die Implementierung einer aktiven Realzeitdatenbank für eingebettete Realzeitsysteme vor. Es wird ein semantisches Concurrency-Control Protokoll entwickelt, das aufgrund einer Datenflußanalyse unterschiedlich restriktive Locking-Strategien erlaubt und so die Blockierzeiten der Transaktionen minimiert. Die Konsistenz der Daten wird über aktive Regeln in der Datenbank sichergestellt. Das Laufzeitverhalten des Datenbankmodells ist vorhersagbar. Die Integration in ei...
»
Übersetzte Kurzfassung:
This thesis presents the model and the implementation of an active real-time database (ARTDB) for embedded real-time systems. A semantic concurrency-control protocol is developed. That allows - based on a data-flow analysis - locking strategies of different degrees of restrictiveness. By this new protocol blocking times of database transactions are minimized. At the same time, data consistency is realized by active database rules. The runtime behaviour of the database model is predictable and the integration of the new model in a deadline verification methodology is shown.
«
This thesis presents the model and the implementation of an active real-time database (ARTDB) for embedded real-time systems. A semantic concurrency-control protocol is developed. That allows - based on a data-flow analysis - locking strategies of different degrees of restrictiveness. By this new protocol blocking times of database transactions are minimized. At the same time, data consistency is realized by active database rules. The runtime behaviour of the database model is predictable and th...
»