Global Specification and Validation of Embedded Systems
Publication year: 2007
: 978-1-4020-6153-0
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, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical).
: Engineering, Computation and execution models, Embedded computing systems, Hardware, Heterogeneous component interfaces, Heterogeneous systems, Simulation, Validation, architecture, integrated circuit, model, modeling, operating system, organization, simulation model, system modeling
