Learn More
The paper presents the design and multi-parameter optimization of a networked embedded application for the health-care domain. Several hardware, software, and application parameters, such as clock frequency, sensor sampling rate, data packet rate, are tuned at design- and run-time according to application specifications and operating conditions to optimize(More)
Network design in distributed embedded applications is a novel challenging task which requires <i>1)</i> the extraction of communication requirements from application specification and <i>2)</i> the choice of channels and protocols connecting physical nodes. These issues are faced in the paper by adopting UML/MARTE as specification front-end and repository(More)
Design of distributed embedded systems is a challenging task and it requires raising the level of abstraction to overcome the complexity of the design. In particular, modeling languages and semantic specification are necessary to address network description at high level of abstraction. Starting from this abstraction view, model manipulation is needed to(More)
Verification of real time embedded systems is becoming more and more complex in terms of maintaining the code size and keeping equivalence between the specification. It requires the simulation of the system and the checking of its timing and functional properties as well as constraints. The paper presents a methodology which starts from UML sequence(More)
The behavior of Networked Embedded Systems (NES) is not only driven by network components but also by the surrounding environment. To verify the correct behavior of such systems, different tests should be performed under different environmental conditions. The complexity and expense of testing such systems in real environments leads us to propose a(More)