of Networked Embedded Systems

Abstract

specification and 2) the choice of channels and protocols connecting physical nodes. These issues are faced in the paper by adopting UM­ LIMARTE as specification front-end and repository of refined versions of the model obtained by both simulation and analytical exploration of the design space. The emphasis is on using stan­ dard UMLIMARTE elements for the description of networked embedded systems to allow re-use, tool interoperability and documentation generation. The approach is explained on a case study related to building automation.