Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2016
Page
%P
33 Result(s)
within
Franco Fummi
English
-
Chapter and Conference Paper
Toward Smart Doors: A Position Paper
Conventional automatic doors cannot distinguish between people wishing to pass through the door and people passing by the door, so they often open unnecessarily. This leads to the need to adopt new systems in ...
-
Chapter and Conference Paper
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation
This work presents a platform for the modelling, simulation and automatic parametrization of semi-quantitative metabolic networks. Starting from a network modelled through Petri Nets (PN) and represented in SB...
-
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...
-
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...
-
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...
-
Book
-
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...
-
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...
-
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...
-
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...
-
Article
HDL code generation from UML/MARTE sequence diagrams for verification and synthesis
Design of Embedded Systems is becoming more and more complex in terms of verify that requirements are fulfilled at different design levels. This requires the simulation of the system and the checking of its ti...
-
Article
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
The recent trend towards system-level design gives rise to new challenges for reusing existing (RTL) intellectual properties (IPs) and their verification environment in (TLM). While techniques and tools to abs...
-
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...
-
Chapter and Conference Paper
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework
Model development and analysis of biological systems is recognized as a key requirement for integrating in-vitro and in-vivo experimental data. In-silico simulations of a biochemical model allows one to test d...
-
Article
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
The paper proposes an integrated methodology to abstract already existing heterogeneous IPs into SysML behavioral equivalent models. This approach aims at integrating the abstracted components with partially s...
-
Article
On the Reuse of TLM Mutation Analysis at RTL
Mutation analysis has gained consensus during the last decades as being an efficient technique for measuring the quality of SW testbench. More recently, it has been efficiently applied for validating testbench...
-
Article
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
Functional verification techniques based on fault injection and simulation at register-transfer level (RTL) have been largely investigated in the past years. Although they have various advantages such as scala...
-
Article
Time-Constraint-Aware Optimization of Assertions in Embedded Software
Technology shrinking and sensitization have led to more and more transient faults in embedded systems. Transient faults are intermittent and non-predictable faults caused by external events, such as energetic ...
-
Article
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
SystemC is the de-facto standard language for system-level modeling, architectural exploration, performance analysis, software development, and functional verification of embedded systems. Nevertheless, it has...
-
Article
Efficient Generation of Stimuli for Functional Verification by Backjum** Across Extended FSMs
Extended finite state machines (EFSMs) can be efficiently adopted to model the functionality of complex designs without incurring the state explosion problem typical of the more traditional FSMs. However, trav...
