With respect to modeling and validation of embedded systems the overall trends include the need for dealing with increasingly complex systems with and increasing number of (functional and non-functional) features.

The need for a scientific foundation for embedded systems dealing simulataneously with software, hardware resources and physical environments have received substantial attention during the last year with significant contributions from the partners of the ARTIST Design Modeling and Validation Cluster. Emphasis is on quantitative modeling as well as component-based design methodologiy with the ambition of establishing a coherent family of design flows spanning computer science, control and hardware.

The quantitative and component-based modeling formalism are accompanied with advances in analysis techniques allowing for early exploration and assessment of alternative design solutions as well as validation of final implementations. Efforts in combining techniques ranging from simulation, testing, model-checking, run-time verification, artificial intelligence, compositionality, refinement as well as abstact interpretation are currently pursued.

Also, a number of newly started STREP, IP and ARTEMIS projects are actively pursuing the accessibility of state-of-the art research result on quantitative modeling and validation from industrial too-chains.

Réalisation Axome - Création de sites Internet