Message Scheduled System (MSS): A Composable Architecture for Distributed Real-Time Systems

Composability is a term that is often used but seldom defined. In this paper, we present a definition of composability as a property of a system architecture. This allows to provide means to reach certain target properties at the architecture rather than the system level. As an example we introduce the Message Scheduled System (MSS) which is an architecture that is composable with respect to temporal behavior. We show how the idea of composability can also be used to prove nonfunctional properties of this composable architecture.