𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Embedded System Applications

✍ Scribed by D. R. Boutin (auth.), Claude Baron, Jean-Claude Geffroy, Gilles Motet (eds.)


Publisher
Springer US
Year
1997
Tongue
English
Leaves
326
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Embedded systems encompass a variety of hardware and software components which perform specific functions in host systems, for example, satellites, washing machines, hand-held telephones and automobiles. Embedded systems have become increasingly digital with a non-digital periphery (analog power) and therefore, both hardware and software codesign are relevant. The vast majority of computers manufactured are used in such systems. They are called `embedded' to distinguish them from standard mainframes, workstations, and PCs. Athough the design of embedded systems has been used in industrial practice for decades, the systematic design of such systems has only recently gained increased attention. Advances in microelectronics have made possible applications that would have been impossible without an embedded system design.
Embedded System Applications describes the latest techniques for embedded system design in a variety of applications. This also includes some of the latest software tools for embedded system design. Applications of embedded system design in avionics, satellites, radio astronomy, space and control systems are illustrated in separate chapters. Finally, the book contains chapters related to industrial best-practice in embedded system design.
Embedded System Applications will be of interest to researchers and designers working in the design of embedded systems for industrial applications.

✦ Table of Contents


Front Matter....Pages N3-xi
The Joint Systems/Software Engineering Environment (Josee) Concept at Lockheed Martin Aeronautical Systems....Pages 1-8
Current Modeling in VITAL....Pages 9-18
EDgAR: A Platform for Hardware/Software Codesign....Pages 19-32
Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation....Pages 33-44
A Formal System for Correct Hardware Design....Pages 45-71
Integration of Behavioral Testability Metrics in High Level Synthesis....Pages 73-87
Evaluation of an Integrated High-Level Synthesis Method....Pages 89-108
Combinatorial Criteria Over Graphs of Specification to Decide Synthesis by Sequential Circuits....Pages 109-132
Automatic Generation and Optimisation of Markov Matrices....Pages 133-139
Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems....Pages 141-151
Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics....Pages 153-170
Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions....Pages 171-181
CATSAT’s Soft X-Ray Detection System: An Innovative and Cost Effective Approach....Pages 183-190
Petri Nets for a Space Operational System Availability Study....Pages 191-201
Results of Low-Cost Propulsion System Research for Small Satellite Application....Pages 203-230
Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer....Pages 231-243
Design and Realization of a Synchronous Cooperative Shared Electronic Board....Pages 245-261
Importance of Specification Means to Design Integrated Modular Avionics Systems....Pages 263-274
Industrial Cooperation: Definition, Interest and Dynamic Evolution....Pages 275-287
Multimedia Educational Issues in a Variety of Learning Contexts....Pages 289-303
SURF-2 a Tool for Dependability Modeling and Evaluation....Pages 305-315
Submicron Circuit Design on PC....Pages 317-324

✦ Subjects


Theory of Computation; Engineering, general; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering; Automotive Engineering


πŸ“œ SIMILAR VOLUMES


Fast and Effective Embedded Systems Desi
✍ Rob Toulson, Tim Wilmshurst πŸ“‚ Library πŸ“… 2012 πŸ› Newnes 🌐 English

This book is an introduction to embedded systems design, using the ARM mbed and C programming language as development tools.<br>The mbed provides a compact, self-contained and low-cost hardware core, and the on-line compiler requires no download or installation, being accessible wherever an internet

Fast and Effective Embedded Systems Desi
✍ Toulson, Rob;Wilmshurst, Tim πŸ“‚ Library πŸ“… 2016 πŸ› Newnes 🌐 English

<i>Fast and Effective Embedded Systems Design</i>is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, adoptin

Fast and Effective Embedded Systems Desi
✍ Rob Toulson, Tim Wilmshurst πŸ“‚ Library πŸ“… 2012 πŸ› Newnes 🌐 English

<p><i>Fast and Effective Embedded Systems Design</i> is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, ado

Embedded Systems and Applications
✍ Hamid R. Arabnia; Leonidas Deligiannidis; George Jandieri; Ashu M. G. Solo; Fern πŸ“‚ Library πŸ“… 2016 πŸ› C. S. R. E. A. 🌐 English

Embedded Systems and Applicationsis a compendium of articles and papers that were presented at ESA '15, an international conference that serves researchers, scholars, professionals, students, and academicians.

Smart Embedded Systems and Applications
✍ Saad Motahhir (editor) πŸ“‚ Library πŸ“… 2023 πŸ› River Publishers 🌐 English

<p><span>This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software and hardware development, with the use of digital technologies, and quality assurance for c

Fast and Effective Embedded Systems Desi
✍ Rob Toulson, Tim Wilmshurst πŸ“‚ Library πŸ“… 2017 πŸ› Newnes 🌐 English

<p><i>Fast and Effective Embedded Systems Design</i> is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, ado