Skip to main content
SpringerLink
Log in

Embedded System Applications

  • Book
  • © 1997

Overview

Editors:
  1. Claude Baron

    1. Institut National des Sciences Appliquées, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Claude Geffroy

    1. Institut National des Sciences Appliquées, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gilles Motet

    1. Institut National des Sciences Appliquées, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Pages N3-xi
    Download chapter PDF

  2. The Joint Systems/Software Engineering Environment (Josee) Concept at Lockheed Martin Aeronautical Systems

    • D. R. Boutin
    Pages 1-8

  3. Current Modeling in VITAL

    • J. L. Barreda, P. Sánchez
    Pages 9-18

  4. EDgAR: A Platform for Hardware/Software Codesign

    • A. J. Esteves, J. M. Fernandes, A. J. Proença
    Pages 19-32

  5. Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation

    • A. Aiello, J.-F. Santucci, P. Bisgambiglia, M. Delhom
    Pages 33-44

  6. A Formal System for Correct Hardware Design

    • M. Allemand, S. Coupet-Grimal, J.-L. Paillet
    Pages 45-71

  7. Integration of Behavioral Testability Metrics in High Level Synthesis

    • K. Olcoz, J. F. Santucci, J. F. Tirado
    Pages 73-87

  8. Evaluation of an Integrated High-Level Synthesis Method

    • P. Arató, I. Jankovits, Z. Sugár, Sz. Szigeti
    Pages 89-108

  9. Combinatorial Criteria Over Graphs of Specification to Decide Synthesis by Sequential Circuits

    • Y. P. Tison, P. Simonnet
    Pages 109-132

  10. Automatic Generation and Optimisation of Markov Matrices

    • A. Cabarbaye
    Pages 133-139

  11. Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems

    • A. Rucinski, N. Valverde, C. Baron, P. Bisgambiglia, D. Federici, J-F. Santucci
    Pages 141-151

  12. Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics

    • P. D. V. van der Stok, P. T. A. Thijssen
    Pages 153-170

  13. Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions

    • Dominique Fédérici, Jean-François Santucci, Paul Bisgambiglia
    Pages 171-181

  14. CATSAT’s Soft X-Ray Detection System: An Innovative and Cost Effective Approach

    • S. P. Lynch
    Pages 183-190

  15. Petri Nets for a Space Operational System Availability Study

    • M. Saleman, J.-F. Ereau
    Pages 191-201

  16. Results of Low-Cost Propulsion System Research for Small Satellite Application

    • J. J. Sellers, T. J. Lawrence, M. Paul
    Pages 203-230

  17. Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer

    • J.-L. Noullet, L. Ravera, A. Ferreira, D. Lagrange, M. Giard, M. Torres
    Pages 231-243

  18. Design and Realization of a Synchronous Cooperative Shared Electronic Board

    • V. Baudin, M. Diaz, P. Owezarski, T. Villemur
    Pages 245-261

  19. Importance of Specification Means to Design Integrated Modular Avionics Systems

    • G. Motet
    Pages 263-274

  20. Industrial Cooperation: Definition, Interest and Dynamic Evolution

    • M. Filippi
    Pages 275-287
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institut National des Sciences Appliquées, Toulouse, France

    Claude Baron, Jean-Claude Geffroy, Gilles Motet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation