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...
Other Authors: | , , |
---|---|
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.