Development of a distribution mechanism for real-time databases that
allow a control-system to be stimulated and analyzed during run-time.
Modeling a reconfiguration of an ACCORD-based system so that the
system developer can, based on a model of a component determine if dynamic
reconfiguration is feasible or not a priory (before the actual
reconfiguration takes place).
Integration of the COMET database as a part of a
larger component framework so that transparent support for data management
in existing component-based systems can be achieved.
Extension of the formalization framework for reconfigurable real-time
component-based systems, so that extensive verification can be done on a
real-time system composed out of arbitrary number of components and
Introduction of snapshot transactions to allow hard control-tasks to
atomically access multiple data elements in a real-time database
Design and development of COMET MiniLine; a static real-time database
management system intended for small embedded systems.
We introduced the adaptive QoS mechanisms in ACCORD so
that the real-time system can adapt efficiently to changes under variable
workloads. We are able to provide specified levels of real-time perfomance
under dynamic reconfiguration of component-based real-time systems (by
enabling system dynamically adjusts to the change in system
We extended the ACCORD framework to enable real-time systems to be
dynamically reconfigured. This has been done by introducing an ACCORD
component framework that handles component and aspect communication.
Configuration tool for the ACCORD-based systems has
been developed and applied to making different configurations of the COMET
A formalization framework for fromal verification of RTCOM
components has been developed. The framework has been applied to the
verification of real-time systems composed out of limited number of
components and aspects.
QoS extenstions to the ACCORD method have been made to
enable design of QoS-aware real-time systems. These extenstions have been
implemented into and tested on the experimental COMET database platform.
Pessimistic concurrencycontrol and versioning
algorithm has been developed to support
previously introduced database pointers
COMET library has been enriched with a set of
components and aspects that allow different configurations of COMET
database with respect to concurrency control policies, and depending on
the requirementes of the application with which the database is to be
RTCOM, a real-time
component model, has been developed within ACCORD.
A method for analyzing the WCET of real-time
systems composed using aspects and components, i.e., ACCORD and RTCOM,
has been developed. This method we call aspect-level WCET analysis. We
have also developed a tool,
Aspect Anlyzer, that
supports automatic aspect-level WCET analysis of different
configurations of components and aspects.
A new technique, called
Database Pointers, that enables fast acces to the data in hard
real-time system has been developed.