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...
»