Embedded system applications /
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Kluwer Academic Publishers,
[1997]
|
| Subjects: | |
| Online Access: | Publisher description Table of contents only |
Table of Contents:
- 1. The Joint Systems/Software Engineering Environment (JOSEE) Concept at Lockheed Martin Aeronautical Systems / D.R. Boutin
- 2. Current Modeling in Vital / J.L. Bàrreda, P. Sánchez
- 3. EDgAR: A Platform for Hardware/Software Codesign / A.J. Esteves, J.M. Fernandes, A.J. Proença
- 4. Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation / A. Aiello, J-F. Santucci, P. Bisgambiglia, M. Delhom
- 5. A Formal System for Correct Hardware Design / M. Allemand, S. Coupet-Grimal, J-L. Paillet
- 6. Integration of Behavioral Testability Metrics in High Level Synthesis / K. Olcoz, J.F. Santucci, F.F. Tirado
- 7. Evaluation of an Integrated High-Level Synthesis Method / P. Arató, I. Jankovits, Z. Sugár, Sz. Szigeti
- 8. Combinatorial Criteria over Graphs of Specification to Decide Synthesis by Sequential Circuits / Y.P. Tison, P. Simonnet
- 9. Automatic Generation and Optimisation of Markov Matrices / A. Cabarbaye
- 10. Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems /A. Rucinski, N. Valverde, C. Baron, P. Bisgambiglia, D. Fedrici, F-F. Santucci
- 11. Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics / P.D.V. van der Stok, P.T.A. Thijssen
- 12. Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions / D. Fédérici, J-F. Santucci, P. Bisgambiglia
- 13. CATSAT's Soft X-Ray Detection System: An Innovative and Cost Effective Approach / S.P. Lynch
- 14. Petri Nets for a Space Operational System Availability Study / M. Saleman, J.-F. Ereau
- 15. Results of Low-Cost Propulsion System Research for Small Satellite Application / J.J. Sellers, T.J. Lawrence, M. Paul
- 16. 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
- 17. Design and Realization of a Synchronous Cooperative Shared Electronic Board / V. Baudin, M. Diaz, P. Owezarski, T. Villemur
- 18. Importance of Specifictaion Means to Design Integrated Modular Avionics Systems / G. Motet
- 19. Industrial Cooperation: Definition, Interest and Dynamic Evolution / M. Filippi
- 20. Multimedia Educational Issues in a Variety of Learning Contexts / J-P. Soula, C. Baron
- 21. SURF-2 A Tool for Dependability Modeling and Evaluation / presented by L. Blain, J-E. Doucet
- 22. Submicron Circuit Design on PC / E. Sicard, S. Delmas.