Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Sara Bocchio is active.

Publication


Featured researches published by Sara Bocchio.


design, automation, and test in europe | 2005

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC

Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio

In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to operate at system-level. We present a UML 2.0 profile of the SystemC language, exploiting the MDA capabilities of defining modeling languages, platform independent and reducible to platform dependent languages. The UML profile captures both the structural and the behavioral features of the SystemC language, and allows high level modeling of system-on-a-chip with straightforward translation to SystemC code.


ieee computer society annual symposium on vlsi | 2010

MULTICUBE: Multi-objective Design Space Exploration of Multi-core Architectures

Cristina Silvano; William Fornaciari; Gianluca Palermo; Vittorio Zaccaria; Fabrizio Castro; Marcos Martinez; Sara Bocchio; Roberto Zafalon; Prabhat Avasare; Geert Vanmeerbeeck; Chantal Ykman-Couvreur; Maryse Wouters; Carlos Kavka; Luka Onesti; Alessandro Turco; Umberto Bondi; Giovanni Mariani; Hector Posadas; Eugenio Villar; Chris Wu; Fan Dongrui; Zhang Hao; Tang Shibin

Technology trends enable the integration of many processor cores in a System-on-Chip (SoC). In these complex architectures, several architectural parameters can be tuned to find the best trade-off in terms of multiple metrics such as energy and delay. The main goal of the MULTICUBE project consists of the definition of an automatic Design Space Exploration framework to support the design of next generation many-core architectures.


design automation conference | 2006

A model-driven design environment for embedded systems

Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio

This paper presents a prototype environment for HW/SW co-design of embedded systems based on the unified modeling language (UML) and SystemC. The environment supports a model-driven SoC design methodology which provides a graphical high-level representation of hardware and software components, and allows either C/C++/SystemC code generation from models and a reverse engineering process from code to graphical UML models


international conference on computer aided design | 2006

UML for ESL design: basic principles, tools, and applications

Wolfgang Mueller; Alberto Rosti; Sara Bocchio; Elvinia Riccobene; Patrizia Scandurra; Wim Dehaene; Yves Vanderperren

This paper starts with a brief introduction to the UML 2.0 and application-specific UML customizations via profiles. After a discussion of UML design tools with focus on EDA support, we present a HW/SW co-design approach and demonstrate how HW architectures are described together with application SW in a unique UML based environment. Using a dedicated profile providing support for SystemC in UML, and a SystemC wrapper for the SimIt instruction set simulator of a StrongARM, an executable model of the complete architecture is generated which can be simulated by the SystemC kernel. The physical layer of an 802.11a system is used as an application example


ACM Transactions in Embedded Computing Systems | 2009

SystemC/C-based model-driven design for embedded systems

Elvinia Riccobene; Patrizia Scandurra; Sara Bocchio; Alberto Rosti; Luigi Lavazza; Luigi Mantellini

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture—a framework for Model-driven Engineering—capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation/back-annotation from/to UML models.


embedded software | 2005

A UML 2.0 profile for SystemC: toward high-level SoC design

Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio

In this paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of modeling constructs designed to lift both structural and behavioral features (including events and time features) of the SystemC language to UML level. The main target of this profile is to provide a means for software and hardware engineers to improve the current industrial Systems-on-a-Chip (SoC) design methodology joining the capabilities of UML and SystemC to operate at system-level.


model based methodologies for pervasive and embedded software | 2007

Designing a Unified Process for Embedded Systems

Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio

In the embedded systems and SoC (system-on-chip) area, we defined a model-driven design methodology based on UML 2.0, UML profiles and SystemC. In this paper, we present the development process UPES (unified process for embedded systems) that we define to foster our methodology in a systematic and seamless manner according to the platform-based design principles


international conference on hardware/software codesign and system synthesis | 2012

From RTL IP to functional system-level models with extra-functional properties

Daniel Lorenz; Kim Grüttner; Nicola Bombieri; Valerio Guarnieri; Sara Bocchio

The paper presents a novel abstraction methodology for generating time- and power-annotated TLM models from synthesizable RTL descriptions. The proposed techniques allow the integration of existing RTL IP components into virtual platforms for early software development and platform design, configuration, and exploration. With the proposed approach, IP models can be natively integrated into SystemC TLM-2.0 platforms and executed 10-1000 times faster compared to state-of-the-art RTL simulators. The abstraction methodology guarantees preservation of the behaviour and timing of the RTL models. Target technology dependent power properties of IP components are represented as power state-machines and integrated into the abstracted TLM models. The experimental results show a relative error less than 10\% of the abstracted models power consumption compared to state-of-the-art RTL power simulators. The evaluation has been performed on RTL IP components with different characteristics and demonstrates the effectiveness of the presented abstraction methodology.


forum on specification and design languages | 2007

A Model-driven Co-design Flow for Embedded Systems

Sara Bocchio; Elvinia Riccobene; Alberto Rosti; Patrizia Scandurra

The UML (Unified Modeling Language), with the enhancements in UML 2.0, is receiving interest by an increasing number of industrial and academic groups from the EDA, embedded software and hardware systems, who look at it and at its extension mechanisms as a practical and standard means to define family of languages targeted to specific application domains and levels of abstraction, while providing unification. In the Embedded Systems and SoC (System-on-Chip) area, we defined a model-driven design methodology based on UML 2.0, UML profiles and C/C++/SystemC. In this paper, we extend this design flow in order to support the platform-based design principles. We also present the architecture of a prototype tool, which provides a graphical representation in UML (from a highlevel functional model down to RTL) of hardware and software components, C/C++/SystemC code generation from UML models, and a reverse engineering process from C/C++/SystemC code to UML models.


international cryptology conference | 2015

Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications

Parinaz Sayyah; Mihai Teodor Lazarescu; Sara Bocchio; Emad Samuel Malki Ebeid; Gianluca Palermo; Davide Quaglia; Alberto Rosti; Luciano Lavagno

Networked embedded systems are essential building blocks of a broad variety of distributed applications ranging from agriculture to industrial automation to healthcare and more. These often require specific energy optimizations to increase the battery lifetime or to operate using energy harvested from the environment. Since a dominant portion of power consumption is determined and managed by software, the software development process must have access to the sophisticated power management mechanisms provided by state-of-the-art hardware platforms to achieve the best tradeoff between system availability and reactivity. Furthermore, internode communications must be considered to properly assess the energy consumption. This article describes a design flow based on a SystemC virtual platform including both accurate power models of the hardware components and a fast abstract model of the wireless network. The platform allows both model-driven design of the application and the exploration of power and network management alternatives. These can be evaluated in different network scenarios, allowing one to exploit power optimization strategies without requiring expensive field trials. The effectiveness of the approach is demonstrated via experiments on a wireless body area network application.

Collaboration


Dive into the Sara Bocchio's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Fan Dongrui

Chinese Academy of Sciences

View shared research outputs
Researchain Logo
Decentralizing Knowledge