MISTRAL-PROJECT

Modern Systems-of-Systems (SoS) and Systems-on-Chip (SoC), including military systems, consist of heterogeneous and often distributed components that not only interact among themselves, but also with the physical world via wireless networks (such as radio), sensors and actuators. This interaction can be a source of malfunctioning of the system, due to the heterogeneous nature of analog and digital components involving many A/D and D/A interfaces, but also due to the complex timing constraints resulting from the distribution of the components. Systematic verification and validation techniques, used extensively in the digital domain, are still in their infancy for analog and mixed-signal (AMS) systems. The nature of analog systems, the very high cost of their simulation, the complex interactions between analog and digital components as well as the cultural background of AMS designers make the proliferation of verification technology to the AMS domain an extremely difficult and..