|
Showing 1 - 3 of
3 matches in All Departments
This book to offers a hands-on guide to designing, analyzing and
debugging a communication infrastructure based on the Controller
Area Network (CAN) bus. Although the CAN bus standard is well
established and currently used in most automotive systems, as well
as avionics, medical systems and other devices, its features are
not fully understood by most developers, who tend to misuse the
network. This results in lost opportunities for better efficiency
and performance. These authors offer a comprehensive range of
architectural solutions and domains of analysis. It also provides
formal models and analytical results, with thorough discussion of
their applicability, so that it serves as an invaluable reference
for researchers and students, as well as practicing engineers.
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.
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.
|
|