Project Description

UTEST

Project website

Test des systèmes cyber-physiques dans l’incertitude : Méthodologies de test systématiques, extensibles et configurables basées sur des modèles et des recherches

L’incertitude est intrinsèque aux systèmes cyber-physiques (SCP) en raison des nouvelles interactions entre les systèmes embarqués, les équipements de réseau, les infrastructures en nuage et les humains. Les SCP sont devenus prédominants dans les domaines critiques et nécessitent la mise en œuvre de mécanismes appropriés pour gérer l’incertitude pendant leur fonctionnement à un coût acceptable, en évitant les menaces injustifiées pour leurs utilisateurs et leur environnement. Une façon de garantir la mise en œuvre correcte de tels mécanismes est par le biais de tests automatisés et systématiques basés sur des modèles (MBT) – une façon d’améliorer la fiabilité.

U-Test améliorera la fiabilité des SCP en définissant des cadres extensibles de MBT supportant le MBT holistique des CPS sous incertitude d’une manière rentable. Plus précisément, nos objectifs sont les suivants

Fournir une taxonomie complète et extensible des incertitudes classant les incertitudes, leurs propriétés et leurs relations.

Un cadre de modélisation des incertitudes (CMI) pour soutenir la modélisation des incertitudes à différents niveaux en s’appuyant sur les normes de modélisation et de test existantes.

Définition d’une méthode intelligente pour faire évoluer les modèles d’incertitude développés à l’aide du CMI vers des modèles d’incertitude inconnus réalistes à l’aide d’algorithmes de recherche (par exemple, les algorithmes génétiques).

Générer des cas de test rentables à partir de modèles d’incertitude et de modèles évolués. Le consortium U-Test comprend des experts de domaine de diverses facettes des SPC, c’est-à-dire, les logiciels, les systèmes embarqués, les systèmes distribués et l’infrastructure en nuage. Nous avons choisi deux études de cas dans divers domaines, notamment les systèmes de manutention et les sports géologiques, pour évaluer la rentabilité de U-Test. Les solutions seront intégrées dans deux outils commerciaux clés disponibles sur le marché : ModelBus/Fokus!MBT et CertifyIt. En outre, les solutions seront déployées dans la pratique réelle, en plus de la normalisation, afin d’obtenir un impact plus large dans les domaines de la logistique, des sports géographiques et des soins de santé et de faciliter davantage l’interopérabilité entre les outils et les technologies.

UTEST

Partners