@inproceedings{WernerRichlingMilanovicetal.2003, author = {Werner, Matthias and Richling, Jan and Milanovic, Nikola and Stantchev, Vladimir}, title = {Composability Concept for Dependable Embedded Systems}, series = {Proceedings of the International Workshop on Dependable Embedded Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS 2003)}, booktitle = {Proceedings of the International Workshop on Dependable Embedded Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS 2003)}, url = {http://nbn-resolving.de/urn:nbn:de:0298-opus4-747}, pages = {5}, year = {2003}, abstract = {Composability is a sought after property. However, whereas there is usually an intuitive understanding of this concept, a clear definition has been frequently missing. In this paper, we refine our concept of composability given in. We see composability as a property of an architecture not of systems. In addition, we do not want to reduce composability to the functional specification; rather, we are focusing on how composability effects the nonfunctional properties, especially the composed system's real-time behavior, its reliability, its security, etc. We see the advantage of our approach in having a wide application domain. It works for functional and non-functional properties, it may consider both, hardware and software, and it allows for a description of composition anomalies. In this paper, we show how to apply our concept to an embedded hardware-software co-designed architecture and to composition and decomposition of dependable services in embedded environments.}, language = {en} }