Home > Research > Publications & Outputs > Compositional design of RT systems


Text available via DOI:

View graph of relations

Compositional design of RT systems: A conceptual basis for specification of linking interfaces

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review



Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) systems focusing specifically on the role of specification of linking interfaces (LIFs) across components. © 2003 IEEE.