Projet

Réseau d'Excellence sur la conception de systèmes embarqués (Artist)

Période

2004-2007

Mots clés

systèmes embarqués, tests, vérification,

Description

ARTIST veut renforcer la recherche dans la conception de systèmes embarqués. Un système embarqué est un système informatique qui fait partie d'un appareil plis large, comme un avion, un train, un ascenseur, une fusée, etc. Ces systèmes sont difficiles à concevoir, et contiennent souvent des erreurs actuellement. Le but du projet est de fournir une méthodologie et des outils pour aider les concepteurs de ces systèmes à détecter ces erreurs et les éliminer avant la mise en service de l'appareil.