11 Result(s)

Chapter

Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms

Modeling Cyber-Physical Systems requires aggregating semantics and languages tailored to different specific domains, while simulating these systems requires integrating different tools and technologies. Academ...

Stefano Centomo, Michele Lora, Franco Fummi in Languages, Design Methods, and Tools for E… (2020)

Chapter

Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction

Each year automotive systems are becoming smarter thanks to their enhancement with sensing, actuation and computation features. The recent advancements in the field of autonomous driving have increased even mo...

Enrico Fraccaroli, Francesco Stefanni… in Languages, Design Methods, and Tools for E… (2019)

Chapter

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

Verification of cyber-physical systems SW often requires simulation of accurate heterogeneous HW models. However, heterogeneous system simulators do not easily allow it and designers must connect multiple simu...

Stefano Centomo, Michele Lora… in Languages, Design Methods, and Tools for E… (2019)

Reference Work Entry In depth

Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework

Since the mid-1990s, Model-Driven Design (MDD) methodologies (Selic, IEEE Softw 20(5):19–25, 2003) have aimed at raising the level of abstraction through an extensive use of generic models in all the phases o...

Graziano Pravadelli, Davide Quaglia, Sara Vinco… in Handbook of Hardware/Software Codesign (2017)

Chapter

Smart System Case Studies

This chapter presents two case studies showing how the proposed approach applies to smart system design and optimization. The former is the virtual prototy** platform built for a laser pico-projector actuato...

Ignazio Blanco, Fabio Cenni, Roberto Carminati… in Smart Systems Integration and Simulation (2016)

Chapter

Design Domains and Abstraction Levels for Effective Smart System Simulation

Smart systems represent a broad class of systems defined as intelligent, miniaturized devices incorporating functionality like sensing, actuation, and control. In order to support these functions, they must in...

Sara Vinco, Michele Lora, Valerio Guarnieri… in Smart Systems Integration and Simulation (2016)

Living Reference Work Entry In depth

Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework

Since the mid-1990s, Model-Driven Design (MDD) methodologies (Selic, IEEE Softw 20(5):19–25, 2003) have aimed at raising the level of abstraction through an extensive use of generic models in all the phases o...

Graziano Pravadelli, Davide Quaglia, Sara Vinco… in Handbook of Hardware/Software Codesign

Chapter

Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity

The high level of heterogeneity of modern embedded systems forces designers to use different computational models and formalisms, thus making reuse and integration very difficult tasks. Reducing such an hetero...

Franco Fummi, Michele Lora… in Languages, Design Methods, and Tools for E… (2015)

Article

Guest Editor’s Introduction

Ian G. Harris, Franco Fummi in International Journal of Parallel Programming (2006)

Article

Editorial

Franco Fummi, Ian G. Harris in International Journal of Parallel Programming (2005)