Le micronoyau seL4 est prouvé formellement au niveau binaire sur une architecture RISC-V 64 bits
Publié le 20-05-2021
par Francois Gauthier
[EDITION ABONNES] La fondation seL4 (désormais hébergée sous l’ombrelle de la Linux Foundation) et l’organisme RISC-V International ont annoncé que le micronoyau seL4, déjà vérifié...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 09/06/2021 – Micropaiements et IoT : le logiciel STM32Cube de ST colle aux évolutions de la technologie de registre distribué IOTA
- 02/06/2021 – Microchip renforce la protection des informations sensibles dans les designs sur FPGA
- 21/05/2021 – IoTerop fournit son logiciel de device management LwM2M aux modules et passerelles IoT de Thales
- 03/05/2021 – Conception de systèmes sur batteries : Saft s'appuie sur l’outil de prototypage virtuel d’objets connectés de Wisebatt
- 29/04/2021 – White paper : tout ce que vous avez toujours voulu savoir sur le protocole pour l'Internet des objets MQTT
- 06/04/2021 – Sécurité embarquée : wolfSSL lance un logiciel compact de détection et de prévention d’intrusions IDPS
