Alberto Sangiovanni-Vincentelli

Peter Marwedel

Marco Di Natale

Haibo Zeng

This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.

From Functional Models to Implementations

Embedded Systems Development

Bassam Tabbara

Paolo Giusto

Luciano Lavagno

F. Balarin

Attila Jurecska

Claudio Passerone

Ellen Sentovich

M. Chiodo

Harry Hsieh

Kei Suzuki

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

The POLIS Approach

Hardware-Software Co-Design of Embedded Systems

Robert K. Brayton

Tiziano Villa

Nina Yevtushenko

Alan Mishchenko

Alexandre Petrenko

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.

Theory and Applications

The Unknown Component Problem

Joseph Sifakis

Presents a collection of papers from the EMSOF 2002 conference.

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Embedded Software

Amit Mehrotra

In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical high level specifications, for instance, system bit error rate or signal to noise ratio. Hence, predicting noise in RF systems at the design stage is extremely important. Additionally, with the growing complexity of modern RF systems, a flat transistor-level noise analysis for the entire system is becoming increasingly difficult. Hence accurate modelling at the component level and behavioural level simulation techniques are also becoming increasingly important. In this book, we concentrate on developing noise simulation techniques for RF circuits. The difference between our approach of performing noise analysis for RF circuits and the traditional techniques is that we first concentrate on the noise analysis for oscillators instead of non-oscillatory circuits. As a first step, we develop a new quantitative description of the dynamics of stable nonlinear oscillators in presence of deterministic perturbations. Unlike previous such attempts, this description is not limited to two-dimensional system of equations and does not make any assumptions about the type of nonlinearity. By considering stochastic perturbations in a stochastic differential calculus setting, we obtain a correct mathematical characterization of the noisy oscillator output. We present efficient numerical techniques both in time domain and in frequency domain for computing the phase noise of oscillators. This approach also determines the relative contribution of the device noise sources to phase noise, which is very useful for oscillator design. This new way of characterizing the oscillator output has a far-reaching impact on the noise analysis methodology for nonautonomous circuits, which we also investigate. We also use the perturbation analysis results of oscillators to derive the phase noise of phase feedback systems such as phase-locked loops. We formulate the problem as a stochastic differential equation and is solved in presence of circuit white noise sources yielding the spectrum of the PLI output. Noise Analysis of Radio Frequency Circuits is written for circuit designers and will be of particular interest to RF circuit designers.

Noise Analysis of Radio Frequency Circuits

Alberto Sangiovanni-Vincentelli

About

Books

Join the club