Message Scheduled System (MSS): A Composable Architecture for Distributed Real-Time Systems
Conference: MMB Workshop 2006 - ITG FA 6.2 Workshop on Model-Based Testing, GI/ITG Workshop on Non-Functional Properties of Embedded Systems, 13th GI/ITG Conference Measuring, Modelling, and Evaluation of Computer and Communication
03/27/2006 - 03/29/2006 at Nürnberg, Germany
Proceedings: MMB Workshop 2006
Pages: 11Language: englishTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Richling, Jan; Malek, Miroslaw (Humboldt University of Berlin, Germany)
Abstract:
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.