COMET Status

COMET Status
COMET Publications
COMET Members
COMET Final Year Projects
COMET Funding
Contact Us

Status of the project: June 2005 / February 2005 / September 2004 / March 2003

June 2005

On-going work:

bulletDevelopment of a distribution mechanism for real-time databases that allow a control-system to be stimulated and analyzed during run-time.
bulletModeling 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).
bulletIntegration 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.
bulletExtension 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 aspects.

Finished work:

bulletIntroduction of snapshot transactions to allow hard control-tasks to atomically access multiple data elements in a real-time database management system.
bulletDesign and development of COMET MiniLine; a static real-time database management system intended for small embedded systems.

Back to top

February 2005

bulletWe 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 configuration).
bulletWe 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.
bulletConfiguration tool for the ACCORD-based systems has been developed and applied to making different configurations of the COMET database. 
bulletA 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.

Back to top

September 2004

bulletQoS 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.
bulletPessimistic concurrency control and versioning algorithm has been developed to support previously introduced database pointers in real-time databases.
bulletCOMET 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 integrated.

Back to top

March 2003

bulletA new method for building real-time systems using aspects and components has been established. This method is called aspectual component-based real-time system development (ACCORD).
bulletRTCOM, a real-time component model, has been developed within ACCORD.
bulletA 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.
bulletA new technique, called Database Pointers, that enables fast acces to the data in hard real-time system has been developed.

Back to top


 page contains a list of scheduled project events, and key milestones and

Home | ACCORD | RTCOM | Database Pointers | Aspect Analyzer

For problems or questions regarding this web contact webmaster.
Last updated: Wednesday, 01 June 2005.