skip to main content

Embedded system design

Marwedel, Peter

Dordrecht the Netherlands : Kluwer Academic Publishers, 2003

Voir les exemplaires

  • Titre:
    Embedded system design
  • Auteur: Marwedel, Peter
  • Sujets: Systèmes enfouis (informatique) ;
    Systèmes enfouis ;
    Informatique
  • Description: Mines : Contents : 1 Introduction. 1.1. Terms and scope. 1.2. Application areas. 1.3. Growing importance of embedded systems. 1.4. Structure of this book. 2 Specifications. 2.1. Requirements. 2.2. Models of computation. 2.3. StateCharts. 2.4. General language characteristics. 2.5. SDL. 2.6. Petri nets. 2.7. Message Sequence Charts. 2.8. UML. 2.9. Process networks. 2.10. Java. 2.11. VHDL. 2.12. System C. 2.13.Verilog and System Verilog. 2.14. SpecC. 2.15. Additional languages. 2.16. Levels of hardware modeling. 2.17. Language comparison. 2.18. Dependability requirements. 3 Embedded system hardware. 3.1. Introduction. 3.2. Input. 3.3. Communication. 3.4. Processing units. 3.5. Memories. 3.6. Output.4 Embedded operating systems, middleware, and scheduling. 4.1. Prediction of execution times. 4.2. Scheduling in real-time systems. 4.3. Embedded operating systems. 4.4. Middleware. 5 Implementing embedded systems: hardware/software codesign. 5.1. Task level concurrency management. 5.2. High-level optimizations. 5.3. Hardware/software partitioning. 5.4. Compilers for embedded systems. 5.5. Voltage scaling and power management. 5.6. Actual design flows and tools. 6 Validation. 6.1. Introduction. 6.2. Simulation. 6.3. Rapid prototyping and emulation. 6.4. Test. 6.5. Fault simulation. 6.6. Fault injection. 6.7. Risk- and dependability analysis. 6.8. Formal verification
  • Éditeur: Dordrecht the Netherlands : Kluwer Academic Publishers
  • Date de publication: 2003
  • Format: 1 vol. (XVII-241 p.) : ill., couv. ill. ; 24 cm
  • Langue: Anglais
  • Identifiant: ISBN 1-402-07690-8
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré