HCC propose un exécutif 100% vérifiable pour les microcontrôleurs STM32
Publié le 12-11-2013
par Pierrick Arlot
Spécialiste des intergiciels de stockage et de communication pour systèmes embarqués, l’éditeur écossais HCC-Embedded a développé un noyau enfoui intégralement vérifiable pour la famille de microcontrôleurs à...
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)
- 28/11/2013 – Altera, 3S et Exor intègrent une IHM et un automate programmable sur un seul circuit SoC FPGA
- 21/11/2013 – "Android 4.4 marque le vrai premier pas de Google dans l'Internet des objets"
- 12/11/2013 – Avnet propose une carte SOM et un design de référence pour écran tactile à base de Zynq
- 08/11/2013 – Silicon Labs accélère la conception de systèmes de contrôle de moteurs à courant continu “sans balai”
- 07/11/2013 – mbed, le cheval de Troie d’ARM pour envahir le marché de l’Internet des objets
- 07/11/2013 – Grâce aux circuits d’Enpirion, Altera améliore le rendement énergétique des conceptions FPGA
