Cargando…

Handbook of real-time and embedded systems /

Detalles Bibliográficos
Otros Autores: Lee, Insup, Leung, Joseph Y-T, Son, Sang H.
Formato: Libro
Lenguaje:English
Publicado: Boca Raton : Chapman & Hall/CRC, c2008.
Colección:Chapman & Hall/CRC computer and information science series
Materias:
Acceso en línea:Tabla de contenido
Tabla de Contenidos:
  • Introduction and overview
  • Pt. I. Real-time scheduling and resource management
  • Real-time scheduling and resource management
  • Schedulability analysis of multiprocessor sporadic task systems
  • Rate-base resource allocation methods
  • Compositional real-time schedulability analysis
  • Power-aware resource management techniques for low-power embedded systems
  • Imprecise computation model: total weighted error and maximum weighted error
  • Imprecise computation model: bicriteria and other related problems
  • Stochastic analysis of priority-driven periodic real-time systems
  • Pt. II. Programming languages, paradigms, and analysis for real-time and embedded systems
  • The evolution of real-time programming
  • Real-time java
  • Programming execution-time servers and supporting EDF scheduling in Ada 2005
  • Synchronous programming
  • Pt. III. Operating systems and middleware for real-time and embedded systems
  • Qo-S enabled component middleware for distributes real-time and embedded systems
  • Safe and structured use of interrupts in real-time and embedded software
  • QoS support and an analytic study for USB1.x/2.0 devices
  • Referance middleware architecture for real-time and embedded systems: a case for networked service robots
  • Pt. IV. Real-time communications/sensor networks
  • Online QoS adaptation with the flexible time-triggered (FTT) communication paradigm
  • Wireless sensor networks
  • Messaging in sensor networks: addressing wireless communications and application diversity
  • Real-time communication for embedded wireless networks
  • Programming and virtualization of distributes multitasking sensor networks
  • Pt. V Real-time database/data services
  • Real time-data distribution
  • Temporal consistency maintenance for real-time update transactions
  • Salvaging resources by discarding irreconcilably conflicting transactions in firm real-time database systems
  • Application-tailored databases for real-time systems
  • DeeDS NG: architecture, design, and sample application scenario
  • Pt. VI. Formalisms, methods, and tools
  • State space abstractions for time petri nets
  • Process-algebraic analysis of timing and schedulability properties
  • Modular hierarchies of models for embedded systems
  • Metamodeling languages and metaprogrammable tools
  • Hardware/software codesign
  • Execution time analysis for embedded real-time systems
  • Pt. VII. Experiences with real-time and embedded systems
  • Dynamic QoS management in distributed real-time embedded systems
  • Embedding mobility in multimedia systems and applications
  • Embedded systems and software technology in the automotive domain
  • Real-time data services for automotive applications.