VOSySmonitoRV: une solution de virtualisation à criticité mixte pour RISC-V

Démonstration Au sommet RISC-V 2023 À Pékin

Lors du RISC-V Summit 2023 qui s'est tenu à Pékin, en Chine, Virtual Open Systems présente une nouvelle démonstration VOSySmonitoRV, ajoutant des fonctionnalités à une démonstration précédente.

Bien qu'aucun matériel ne mette en œuvre l'extension de l'hyperviseur RISC-V ratifiée (H), cette démonstration met en œuvre une virtualisation, basée sur VOSySmonitoRV, adaptée aux cas d'utilisation où la sécurité est de la plus haute importance. VOSySmonitoRV est configuré pour faire fonctionner simultanément trois systèmes d'exploitation sur une carte Lichee Pi 4A, une puissante carte RISC-V fabriquée par Sipeed et dotée d'un SoC TH1520 à quatre cœurs. Plus précisément, deux instances FreeRTOS tournent chacune sur un cœur dédié. Les deux cœurs restants fonctionnent sous Linux avec une application de cluster automobile avec deux jauges (RPMs et vitesse de la voiture).

Les tâches les plus contraignantes sur le plan de la sécurité sont exécutées dans les deux RTOS. La première instance récupère la vitesse de la voiture, la seconde les tours/minute du moteur. Ces deux informations sont partagées en temps réel avec l'instance Linux, grâce à une mémoire partagée située dans la mémoire de Linux. Linux, à son tour, les restitue à l'écran via une application QT5 issue du projet Automotive Grade Linux (AGL) et modifiée pour la démonstration.

Ce travail est le résultat des activités de recherche menées par Virtual Open Systems dans le cadre du projet HorizonEurope Vitamin-V.