Transaction integration for reusable hard real-time components

Abstract

The paper presents a strategy for the composition of components to meet 'end to end' timing requirements. This is a framework based approach known as transaction integration. A framework is constructed through the use of transactions. A transaction represents a control and data flow path across a set of component interfaces, or placeholders, that must be completed by a specific deadline. Reusable real time components are 'plugged' into each placeholder. The paper provides techniques to verify that the performance characteristics of each placeholder, and the 'end to end' deadlines associated with each transaction are met.