Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, coc...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Nicolescu, G. (Autor), Jerraya, Ahmed A. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Electronic circuits.
Computer science.
Computer-aided engineering.
Computer simulation.
Computers, Special purpose.
Electronic Circuits and Systems.
Theory of Computation.
Computer-Aided Engineering (CAD, CAE) and Design.
Computer Modelling.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Heterogeneous Systems Modeling: Basic Concepts
  • Execution Models
  • Heterogeneous Systems Validation Based on Execution Models
  • Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems
  • Anatomy of a Continuous/Discrete System Execution Model for Timed Execution of Heterogeneous Systems
  • Methodology for Heterogeneous Systems Validation.

Ejemplares similares