In the last decade, a large number of different software component models have been
developed, with different aims and using different principles and technologies. This has …

Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …

Software development cycles in the context of Internet of Things (IoT) applications require
the orchestration of different technological layers, and involve complex technical challenges …

Rail road switch heaters are used to avoid the formation of snow and ice on top of rail road
switches during the cold season, in order to guarantee their correct functioning. Effective …

Failure of robotic software may cause catastrophic damages. In order to establish a higher
level of trust in robotic systems, formal methods are often proposed. However, their …

The essence of component-based software engineering is embodied in component models.
Component models specify the properties of components and the mechanism of component …

The paper presents Save-IDE, an integrated development environment for the development
of component-based embedded systems. Save-IDE supports efficient development of …

ProCom is a new component model for real-time and embedded systems, targeting the
domains of vehicular and telecommunication systems. In this paper, we describe how the …

The goal of this thesis is to add to the efforts toward the long-sought objective of secure and
safe robots with predictable and a priori known behavior. For the reasons given above …

Energy harvesting solutions with rechargeable batteries are a frequent choice to tackle the
problems of supplying continuous power to deeply embedded devices like wireless sensor …