Embedded System Applications

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) an...

Full description

Bibliographic Details
Other Authors: Baron, Jean-Claude (Editor), Geffroy, J.C. (Editor), Motet, G. (Editor)
Format: eBook
Language:English
Published: New York, NY Springer US 1997, 1997
Edition:1st ed. 1997
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 1 The Joint Systems/Software Engineering Environment (Josee) Concept at Lockheed Martin Aeronautical Systems
  • 2 Current Modeling in Vital
  • 3 Edgar: A Platform for Hardware/Software Codesign
  • 4 Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation
  • 5 A Formal System for Correct Hardware Design
  • 6 Integration of Behavioral Testability Metrics in High Level Synthesis
  • 7 Evaluation of an Integrated High-Level Synthesis Method
  • 8 Combinatorial Criteria Over Graphs of Specification to Decide Synthesis by Sequential Circuits
  • 9 Automatic Generation and Optimisation of Markov Matrices
  • 10 Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems
  • 11 Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics
  • 12 Petri Net Modeling and Behavioral Fault Modeling Scheme for Vhdl Descriptions
  • 13 Catsat’s Soft X-Ray Detection System: An Innovative and Cost Effective Approach
  • 14 Petri Nets for a Space Operational System Availability Study
  • 15 Results of Low-Cost Propulsion System Research for Small Satellite Application
  • 16 Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer
  • 17 Design and Realization of a Synchronous Cooperative Shared Electronic Board
  • 18 Importance of Specification Means to Design Integrated Modular Avionics Systems
  • 19 Industrial Cooperation: Definition, Interest and Dynamic Evolution
  • 20 Multimedia Educational Issues in a Variety of Learning Contexts
  • 21 Surf-2 a Tool for Dependability Modeling and Evaluation
  • 22 Submicron Circuit Design on PC.