Mauro Prevostini

Learn More
In this paper two well known UML profiles, namely SysML and MARTE are closely examined and compared. Both profiles are well suited for the description of embedded systems, although focusing on different aspects and can therefore be considered as complementary. While SysML targets system engineering descriptions in a high level of abstraction and provide(More)
Abstract The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business and other non-software systems. The UML represents a collection of best engineering practices that succeeded in modelling large and complex systems; it is interesting to(More)
Abstrac t In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IPsec, SSL/TSL) and existing implementations aimed at embedded systems with low-power constraints in general (e.g. lwIP, lwBT, ZigBee). Then, starting from a Platform(More)
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Time Embedded Systems (RTES). An important goal to achieve is the implementation and use of these models in all the steps of a common design flow. One of these steps is the Design(More)
A)shod In the oren of ulility mensuremen1 sysiems, there is incrensing nwnreuess to the importance of using intelligent and secure meier reoders The aim is not simply that of reducing operational costs; clspec& such ILF uvnilnbili@ of red-time determinntion of consumption (mainly in the case of energy meters, but potentinlly dso for water consumption eic.)(More)
Although MDE and Hw/Sw Co-design are widely used to address the design complexity problem, the lack of design procedures and methodologies joining both concepts restrains their usage as complementary techniques, thus preventing the implementation of faster and more robust design cycles. In this paper we present a practical semi-automated design flow where(More)
An increased number of vehicular applications and services requires accurate distance measurements. Due to specific properties of radio waves propagation, it may not be effective to use ranging systems designed for other environments inside tunnels. In this paper we analysed the characteristics of time of flight based ranging for in-tunnel applications.(More)
As computing systems become increasingly pervasive, the number of applications that can benefit from or require localization capabilities continuously increases. In indoor environments, wireless sensor networks are a common means to perform localization, trilateration being one of the most commonly used techniques. The placement of anchor nodes influences(More)