| Home > Publications > Reports > Informatics (CW) |
CW 345
D. Urting, Y. Berbers
Runtime verification of timing constraints
Abstract
The necessity for reusing software components in embedded systems becomes significant due to the ever-increasing software complexity, product diversification and market pressure. In order to facilitate the reuse of components we have developed the CCOM (Component and Contract Oriented Modeling) language for the specification and the composition of embedded components. Non-functional constraints, such as timing and memory constraints, can be specified by means of contracts that are imposed on the CCOM models. This report describes the design of a runtime monitoring system that offers verification mechanisms for the dynamic validation of timing contracts. We first give an overview of existing monitoring mechanisms and discuss important issues related to the monitoring of timing constraints in embedded applications. In the second part of the report a detailed description of the CCOM monitoring system is given.
report.pdf / mailto: D. Urting