Progettazione digitale

Richiedendo prerequisiti minimi sotto l’aspetto informatico, tecnologico e matematico, il testo si propone di presentare principi e metodologie fondamentali per il progetto di sistemi digitali e guida lo studente mediante problemi via via più avanzati attraverso le problematiche tipiche del progetto digitale. Poiché attualmente gran parte del progetto digitale viene realizzato servendosi di strumenti di progettazione automatica (i vari tool CAD), il testo tratta costantemente la teoria facendo anche riferimento alla possibilità di sperimentazione pratica basata su strumenti automatici di progettazione. Questo approccio risulta sicuramente innovativo e stimolante e costituisce uno dei contributi principali del libro alla didattica sulla progettazione digitale

Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System

Over the last decade, the industrial world has been involved in a massive revolution guided by the adoption of digital technologies. In this context, complex systems like cyber-physical systems play a fundamental role since they were designed and realized by composing heterogeneous components. The combined simulation of the behavioral models of these components allows to reproduce the nominal behavior of the real system. Similarly, a smart system is a device that integrates heterogeneous components but in a miniaturized form factor. The development of smart or cyber-physical systems, in combination with faulty behaviors modeled for the different physical domains composing the system, enables to support advanced functional safety assessment at the system level. A methodology to create and inject multi-domain fault models in the analog side of these systems has been proposed by exploiting the physical analogy between the electrical and mechanical domains to infer a new mechanical fault taxonomy. Thus, standard electrical fault models are injected into the electrical part, while the derived mechanical fault models are injected directly into the mechanical part. The entire flow has been applied to two case studies: a direct current motor connected with a gear train, and a three-axis accelerometer

Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs

n/

Integrating heterogeneous embedded systems through language translation and abstraction

The paper summarizes a bottom-up modeling and simulation methodology that starts from heterogeneous models written in heterogeneous languages and it composes them into a homogenous system-level description by exploiting automatic translation and abstraction. This allows the designer to work with his/her favorite design language for representing the heterogeneous behaviors of an embedded system (digital hw, analog hw, software, network, environment, ...), but these heterogeneous low level descriptions can be abstracted into a homogeneous system level model for verification, design space exploration, extra-functional properties validation, etc. This huge heterogeneity is particularly evident in smart systems, to whom the methodology has been effectively applied