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...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Dordrecht :
Springer Netherlands
2007.
Cham : Springer Nature |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Global Specification and Validation of Embedded Systems, Texte imprimé, 9781402061516 • Global Specification and Validation of Embedded Systems, Texte imprimé, 9789048113811 • Global Specification and Validation of Embedded Systems, Texte imprimé, 9789048175505 |
Taula de continguts:
- 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.