@conference {18490, title = {Topology Optimization of Wireless Localization Networks}, booktitle = {European Wireless 2016 }, year = {2016}, month = {05/2016}, address = {Oulu, Finland}, abstract = {This paper addresses topology optimization problem for an ultra wide band (UWB) localization network, where trilateration is used to obtain the target position based on its distances from fixed and known anchors. Our goal is to minimize the number of anchors needed to localize a target, while keeping the localization uncertainty lower than a given threshold in an area of arbitrary shape with obstacles. Our propagation model accounts for the presence of line of sight (LOS) between nodes, while geometric dilution of precision (GDoP) is used to express the localization error introduced by trilateration. We propose two integer linear programming formulations to solve the problem. To handle the problems of large sizes, we use the greedy placement with pruning heuristic. We test our solutions through simulation and show that the integer linear programming is appropriate to handle reasonably sized problems, and the heuristic achieves the results, in terms of the number of anchors placed, within less than 2\% of optimum on average. }, keywords = {localization network, propagation model, topology optimization, ultra wide band, wireless protocols, wireless sensor networks}, author = {Bala{\'c}, Katarina and Akhmedov, Murodzhon and Prevostini, Mauro and Malek, Miroslaw} } @conference {18047, title = {Time of Flight Error Compensation for In-Tunnel Vehicle Localization}, booktitle = {The Fourth International Workshop on Pervasive Networks for Emergency Management, 2014 (PerNEM{\textquoteright}14)}, year = {2014}, month = {03/2014}, publisher = {IEEE}, organization = {IEEE}, address = {Budapest, Hungary}, keywords = {calibration, position estimation, time of flight, vehicle localization, wireless sensor networks}, doi = {10.1109/PerComW.2014.6815226}, author = {Bala{\'c}, Katarina and Di Giulio, Pablo Andres and Taddeo, Antonio Vincenzo and Prevostini, Mauro} } @conference {17741, title = {Calibration and in-Field Validation Tests of a Web-based Adaptive Management System for Monitoring - Scaphoideus titanus}, booktitle = {Future Integrated Pest Management in Europe}, year = {2013}, abstract = {We developed a Web-based Adaptive Management System (WAMS) within a research project, called "SMART VINEYARD", which was funded by the Swiss Federal Commission for Technology and Innovation (Project 11307.1 PFES-ES). Goal of the project was to address the challenge of proposing a decision support system to provide real-time forecast of the life stages of - Scaphoideus titanus, vector of flavescence dor{\'e}e. The benefit of using the WAMS is to decide the timing of insecticide application and the planning of in-field monitoring tasks.}, author = {Prevostini, Mauro and Taddeo, Antonio Vincenzo and Bala{\'c}, Katarina and Jermini, Mauro and Linder, Christian} } @conference {17768, title = {Characterization of In-tunnel Distance Measurements for Vehicle Localization}, booktitle = {IEEE Wireless Communications and Networking Conference (WCNC)}, year = {2013}, address = {Shanghai, P.R. China}, abstract = {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. Based on our analysis, we designed a vehicle localization system showing that the time of flight approach is a suitable, accurate and cost effective solution for this purpose. We designed and validated our solution by performing real experiments in a tunnel located in Lugano, Switzerland.}, author = {Widmann, Daniel and Bala{\'c}, Katarina and Taddeo, Antonio Vincenzo and Prevostini, Mauro and Puiatti, Alessandro} } @conference {17694, title = {WAMS - an adaptive system for knowledge acquisition and decision support: the case of Scaphoideus titanus}, booktitle = {IOBC/WPRS European Meeting}, year = {2011}, month = {10/2011}, pages = {57-64}, publisher = {Working Group on Integrated Protection and Production in Viticulture}, organization = {Working Group on Integrated Protection and Production in Viticulture}, address = {Lacanau, France}, author = {Prevostini, Mauro and Taddeo, Antonio Vincenzo and Bala{\'c}, Katarina and Rigamonti, Ivo and Baumg{\"a}rtner, Johann and Jermini, Mauro} } @inbook {17693, title = {MDE Support for HW/SW Codesign: a UML-based Design Flow}, booktitle = {Advances in Design Methods from Modeling Languages for Embedded Systems and SoC{\textquoteright}s}, year = {2010}, pages = {19-37}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht, The Netherlands}, author = {Murillo, Luis Gabriel and Mura, Marcello and Prevostini, Mauro} } @conference {120.ArMuPr10, title = {Using MARTE for Designing power Supply Section of WSNs}, booktitle = {M-BED 2010: Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (a DATE 2010 Workshop)}, year = {2010}, month = {March 12}, address = {Dresden, Germany}, abstract = {Probably the biggest issue while tackling Wireless Sensor Networks design has always been providing them with adequate power supplies. Energy Harvesting was proposed as an essential feature for Wireless Sensor Networks (WSN)s in many application fields when the amount of energy contained in a commercial battery does not allow fulfilling the required mission. Solar energy is the most widespread mechanism used to harvest energy of the environment because of its good power density. However it introduces a level of uncertainty on the amount of energy available in the system. In this paper we propose a high level methodology for designing the power supply section of sensor nodes. In particular we suggest how to use MARTE UML design language in order to collect requirements for the application and transform them into specifications of the power supply system. The framework we propose aims at validating the design by simulating appropriate scenarios.}, author = {Argyris, Ioannis and Mura, Marcello and Prevostini, Mauro} } @conference {103.MuMuPr09, title = {Semi-Automated HW/SW Co-design for Embedded Systems: from MARTE Models to SystemC Simulators}, booktitle = {FDL{\textquoteright}09 Proceedings}, year = {2009}, month = {September 22-24}, address = {Sophia-Antipolis, France}, abstract = {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 both methodologies are merged and exploited to enable a fast design process targeting highly complex Real-Time Embedded Systems, executing several tasks on SoC and MPSoC devices, while allowing the usage of Design Space Exploration, Schedulability Analysis and Estimation techniques.}, author = {Murillo, Luis Gabriel and Mura, Marcello and Prevostini, Mauro} } @conference {74.Munich, title = {Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities}, booktitle = {Proceedings of MARTE Workshop (DATE08)}, year = {2008}, month = {March}, address = {Munich, Germany}, abstract = {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 diagrams for requirements specification, MARTE is tailored for systems in which Real Time constraints play a major role. Expressiveness of such profiles and their matching with languages that represent the next step in the development of Hardware/Software systems will be the main subject of this work. A Wireless Sensor Network scenario is taken as a reference case study and used to illustrate a practical application of MDA.}, keywords = {automatic generation of code, high level design, profiling, unified modeling language (UML)}, author = {Mura, Marcello and Panda, Amrit and Prevostini, Mauro} } @conference {83.Stuttgart, title = {Model-based Design Space Exploration for RTES with SysML and MARTE}, booktitle = {Proceedings of FDL08}, year = {2008}, month = {September}, address = {Stuttgart, Germany}, abstract = {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 Space Exploration (DSE), which helps designers in discovering the optimal solutions among all possible combinations after mapping functional to architectural specifications; for RTES this step is particularly hard as it should include scheduling analysis in order to proof the time validity after the mapping. This paper presents some guidelines on how to use SysML and MARTE profiles to identify design points fulfilling the timing constraints of an RTES, and thus allowing to automatize DSE analysis within the system design phase.}, keywords = {high level design, unified modeling language (UML)}, doi = {http://dx.doi.org/10.1109/FDL.2008.4641446}, author = {Mura, Marcello and Murillo, Luis Gabriel and Prevostini, Mauro} } @misc {52.Prevo2007MISC, title = {Introduction to SysML}, year = {2007}, month = {April 20}, abstract = {The Systems Modeling Language (SysML) is a general-purpose graphical modeling language for specifying, analyzing, designing, and verifying complex systems that may include hardware, software, information, personnel, procedures, and facilities. It is a response to the UML for Systems Engineering RFP developed by OMG, INCOSE, and the ISO AP233 workgroup. In this presentation I will provide an overview of SysML in particular by showing the diagrams that describe the four pillars of SysML: Requirements, Behavior, Structure, and Parametrics. The diagrams will be shown by means of a simple case study in the field of Wireless Sensor Network.}, keywords = {embedded systems, systems modeling language (SysML), wireless sensor networks}, author = {Prevostini, Mauro} } @conference {44.SivaPrev2006, title = {Bridging the Gap between SysML and Design Space Exploration}, booktitle = {FDL{\textquoteright}06 Proceedings}, year = {2006}, month = {September 19-22}, pages = {389-394}, address = {Darmstadt, Germany}, abstract = {In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogeneous systems where hardware and software are combined. One of the emerging modeling languages for system designers is the UML-based language called Systems Modeling Language (SysML). One of the most important tasks to be addressed early in the system design phase is the Design Space Exploration (DSE). DSE helps designers in discovering the optimal solutions among all possible combinations after mapping functional to architectural specifications. This paper describes an approach on how to use SysML for a DSE analysis within a system design phase.}, keywords = {design space exploration, HW/SW co-design, modeling languages, systems modeling language (SysML)}, author = {Sivakumar, Ganesan and Prevostini, Mauro} } @conference {34.BaLaPrevos2005, title = {Design and Synthesis of Reusable Platforms with Programmable Interconnects}, booktitle = {UML-SoC 2005}, year = {2005}, month = {June 12}, pages = {43-48}, address = {Anaheim, California}, abstract = {Platform based design requires to restrict the number of possible design choices in order to make it possible to come up with programmable solutions able to cope with the current complexity of System-On-Chip (SoC) designs. Nowadays there is a general consensus toward the fact that an effective Electronic System Level (ESL) design methodology must provide a specific support for platform specification, hardware/software partitioning and programmatic interfaces synthesis in order to allow designers to exploit the potentials of state-of-the-art technologies. In this work we present a methodology that leverages on UML for building new architectural platforms to be used to be used in the system design process. We show how our methodology can allow to reuse pre-designed platforms by adding new architectural components and by customizing their interconnections}, keywords = {HW/SW co-design, system-on-chip (SoC), unified modeling language (UML)}, author = {Basu, Ananda Shankar and Lajolo, Marcello and Prevostini, Mauro} } @inbook {30.BaLaPre2005, title = {A Methodology for Bridging the Gap between UML and Codesign}, booktitle = {UML for SOC Design}, year = {2005}, pages = {119-146}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht, The Netherlands}, abstract = {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 level specification down to hardware/software partitioning and integration.}, keywords = {HW/SW co-design, methodology, system specifications, unified modeling language (UML)}, author = {Basu, Ananda Shankar and Lajolo, Marcello and Prevostini, Mauro}, editor = {Martin, Grant and Muller, Wolfgang} } @conference {23.BaLaPre2004, title = {UML in an Electronic System Level Design Methodology}, booktitle = {UML-SOC{\textquoteright}04}, year = {2004}, month = {June 6}, pages = {47-52}, address = {San Diego, California}, abstract = {The interest in System-On-Chip (SoC) design using the Unifed Modeling Language (UML) has been growing significantly during the last couple of years. In this paper we would like to present a methodology that aims to address embedded systems design issues at multiple levels of abstraction and to support a function/architecture codesign process. Our approach integrates UML with high-level synthesis and hardware/software co-verification techniques in order to provide an automated flow for SoC design starting from system-level specifications down to hardware/software partitioning and integration. UML has been selected because it is platform independent and helps team members to share very efficiently relevant information during the various design phases, while high-level synthesis helps to evaluate constraints that the embedded system must satisfy: e.g. performance, power and cost starting from behavioral specifications. The paper aims to give a contribution towards SoC Design automation from System-level specification to hardware/software partitioning.}, keywords = {HW/SW co-design, methodology, system-on-chip (SoC), unified modeling language (UML)}, author = {Basu, Ananda Shankar and Lajolo, Marcello and Prevostini, Mauro} } @conference {24.LaBaPre2004, title = {UML Specifications Towards a Codesign Environment}, booktitle = {FDL{\textquoteright}04}, year = {2004}, month = {September 14-17}, pages = {313-324}, address = {Lille, France}, abstract = {The Unified Modeling Language (UML) is receiving more and more attention from system designers that need to model both hardware and software related aspects of a system. On the ground of the growing consensus toward the need to raise the level of abstraction in system specifications, we would like to present a methodology that aims to address embedded systems design issues at multiple levels of abstraction and to support a function/architecture codesign process. Our approach integrates UML with high-level synthesis and hardware/software co-verification techniques in order to provide an automated flow for SoC design starting from system-level specifications down to hardware/software partitioning and integration. UML has been selected because it is platform independent and helps team member to share very efficiently relevant information during the various design phases, while high-level synthesis helps to evaluate constraints that the embedded system must satisfy: e.g. performance, power and cost starting from behavioral specifications.}, keywords = {embedded systems, HW/SW co-design, system-on-chip (SoC), unified modeling language (UML)}, author = {Lajolo, Marcello and Basu, Ananda Shankar and Prevostini, Mauro} } @conference {25.PiPreSte2004, title = {UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems}, booktitle = {FDL{\textquoteright}04}, year = {2004}, month = {September 14-17}, pages = {301-312}, address = {Lille, France}, abstract = {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 Independent Modeling (PIM), we develop a protocol concept to address authentication, integrity and confidentiality, also covering battery lifetime checking and theft monitoring. Finally the protocol itself is described by means of UML. Limited resource and low-power constraints are taken into account when examining secure-transmission features. RMR is thus an example of an application requiring a light-weight protocol combined with security features. One of the future objectives is to switch from the PIM description to PSM implementation.}, keywords = {embedded systems, low-power protocols, security, unified modeling language (UML)}, author = {Piscopo, Giuseppe and Prevostini, Mauro and Stefanini, Ivan} } @inbook {19.1016432, title = {UML-based specifications of an embedded system oriented to HW/SW partitioning: a case study}, booktitle = {Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL{\textquoteright}03}, year = {2004}, pages = {71-84}, publisher = {Kluwer Academic Publishers}, organization = {Kluwer Academic Publishers}, address = {Norwell, MA, USA}, abstract = {The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modeling 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 envision its extension for specification and modelling of hardware-software systems as well, starting with the first design phases, i.e. prior to hardware-software partitioning. This paper analyses the development of a solution able to define the hardware/software partitioning of an embedded system starting from its UML system specifications. The case study chosen is a Wireless Meter Reader (WMR) dedicated to the measurement of energy consumption. The designers evaluated the hardware/software partitioning solution in terms of cost, performance, size and consumption.}, keywords = {embedded systems, HW/SW partitioning, system specifications, unified modeling language (UML)}, isbn = {1-4020-7990-7}, author = {Prevostini, Mauro and Balzarini, Francesco and Kostadinov, Atanas Nikolov and Mankan, Srinivas and Martinola, Aris and Minosi, Antonio} } @conference {12.MiMaMaPreKoBa2003, title = {Intelligent, low-power and low-cost measurement system for energy consumption}, booktitle = {VECIMS 2003}, year = {2003}, month = {July 27-29}, pages = {125-130}, address = {Lugano}, abstract = {In the area of utility measurement systems, there is increasing awareness to the importance of using intelligent and secure meter readers. The aim is not simply that of reducing operational costs; aspects such as availability of real-time determination of consumption (mainly in the case of energy meters, but potentially also for water consumption etc.) are relevant not only for actions such as real-time billing but also in view of an increasing environmental awareness leading to {\textquoteright}preferential{\textquoteright} billing in particular times of the day or of the week and requiring availability of fine-grained statistics. All these actions in turn involve the requirement of data integrity; when utilities other than power providers are considered, the device should be battery-powered (and very long battery life must be granted), so that low-power design becomes a further requirement while being permanently either in active or in standby mode; moreover, not being connected to the power network means that wireless connections for transmitting and receiving information must be taken into account. Finally, these devices should be made available to the general public and thus be low-cost ones. This paper describes how all the above constraints have been analyzed in the design of a wireless meter reading system.}, keywords = {measurement systems, meter reading systems, power consumption}, author = {Minosi, Antonio and Martinola, Aris and Mankan, Srinivas and Prevostini, Mauro and Kostadinov, Atanas Nikolov and Balzarini, Francesco} } @conference {14.MiMaMaBaKoPre2003, title = {UML-based Specifications of an Embedded System Oriented to HW/SW Partitioning: a Case Study}, booktitle = {FDL{\textquoteright}03}, year = {2003}, month = {September 23-26}, pages = {226-237}, address = {Frankfurt}, 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 envision its extension for specification and modelling of hardware-software systems as well, starting with the first design phases, i.e. prior to hardware-software partitioning. This paper analyses the development of a solution able to define the hardware/software partitioning of an embedded system starting from its UML system specifications. The case study chosen is a Wireless Meter Reader (WMR) dedicated to the measurement of energy consumption. The designers evaluated the hard-ware/software partitioning solution in terms of cost, performance, size and consumption.}, keywords = {embedded systems, HW/SW partitioning, unified modeling language (UML)}, author = {Minosi, Antonio and Mankan, Srinivas and Martinola, Aris and Balzarini, Francesco and Kostadinov, Atanas Nikolov and Prevostini, Mauro} } @conference {7.MiMaMaPre, title = {System-level design of embedded applications by UML: the Wireless Meter Reading case}, booktitle = {MSy2002 Workshop}, year = {2002}, month = {October 3-4}, pages = {181-187}, address = {Winterthur}, abstract = {The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of best engineering practices that have proven successful in the modeling of large and complex systems; it is interesting to envision its extension for specification and modeling of hardwaresoftware systems as well, since the first design phases, i.e. before hardware-software partitioning has been effected. This paper describes how UML has been used in the design of a wireless meter reading system consisting of hardware and software components.}, keywords = {embedded applications, unified modeling language (UML), wireless meter reading}, author = {Minosi, Antonio and Martinola, Aris and Mankan, Srinivas and Prevostini, Mauro} }