La jeune société belge Open License Society a fait appel à une méthode de modélisation formelle pour développer l’OS temps réel OpenComRTOS. Objectif : garantir l’absence d’erreurs dans le code et permettre à son utilisateur de vérifier n’importe quel aspect du logiciel.
Pour Eric Verhulst, le fondateur de la jeune firme belge Open License Society, le
…
STRATÉGIE 450 Md$ pour les semi-conducteurs coréens PAGE 19 DOSSIER Comment la distribution s'adapte aux marchés ÉVÉNEMENT Computex fête la…
L'AMÉRICAIN EST LE PREMIER À FAIRE LA DEMONSTRATION DE CIRCUITS INTÉGRÉS GRAVES EN PROCESS 2 nm, GRÂCE À UNE TECHNOLOGIE…
ANNONCÉ COMME PLUS ÉCONOMIQUE QUE LES TECHNOLOGIES SIGFOX ET LORA, CE FORMAT DE RÉSEAUX LOCAUX MESH À FAIBLE CONSOMMATION CONVIENT…
UN CONNECTEUR SUR MESURE CONSTITUÉ DE BLOCS ÉLEMENTAIRES (PUISSANCE, SIGNAUX OU DONNÉES) ASSEMBLÉS SUR UN RAIL : C'EST CE QUE…
