Mauro Prevostini

Learn 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)
— 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)
The Unified Modeling Language (UML) is getting more popular among system designers due to the need to raise the level of abstraction in system specifications. We present here a methodology that integrates UML specifications with a hardware/software codesign platform. This work aims to give a contribution toward SoC Design Automation starting from system(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)
Vehicle localization systems rely on measuring distances between a given target and a set of reference points. The accuracy of a localization system strictly depends on the exactness of these measurements. However, the estimation of distances via wireless signals is affected by errors due to factors such as channel noise and multipath propagation. Precise(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 l ow-power constraints in general (e.g. lwIP, lwBT, ZigBee). Then, starting from a Platform(More)