Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Nicolescu, G. (Επιμελητής έκδοσης), Jerraya, A. A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2007.
• Θέματα: Engineering.; Special purpose computers.; Computers.; Computer simulation.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Theory of Computation.; Computer-Aided Engineering (CAD, CAE) and Design.; Simulation and Modeling.; Special Purpose and Application-Based Systems.

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...

Πίνακας περιεχομένων:

• 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.