ABSTRACT
The chapter starts with the property of composability, which is a prerequisite of a component-based design framework. Composability enables the independent development of nodes and the smooth integration of these nodes using a time-triggered network. Composability rules out unintended interference between nodes and preserves the correctness of the nodes’ services upon integration.
