VIPress.net

Archive | LOGICIEL

inria

Vérification de logiciels critiques : création du laboratoire ProofInUse

Le lundi 2 février verra le lancement du laboratoire ProofInUse. Son objectif est de fournir des outils de vérification de logiciels basés sur la preuve mathématique à des acteurs industriels. Ces outils visent à remplacer ou à complémenter les activités existantes de tests, tout en réduisant les coûts de vérification pour l’aérospatial, le transport, la […]

Article en entier
avenir1501

Lancement de l’appel à projets « logiciel embarqué et objets connectés n°2 »

Le gouvernement lance le second appel à projets portant sur les technologies du logiciel embarqué et des objets connectés. Cet appel, ouvert jusqu’au 15 avril, vise à soutenir des projets de R&D sur les plateformes d’exécution embarquées pour applications industrielles. « La maîtrise des technologies de plateformes d’exécution embarquées représente un enjeu stratégique, à la […]

Article en entier
openwide

L’Allemand ESG s’allie au Français Open Wide dans l’embarqué et la voiture connectée

ESG, groupe allemand d’ingénierie dans les systèmes embarqués à destination des marchés de la défense, de l’aéronautique et de l’automobile, qui emploie 1600 personnes, noue un partenariat technologique, commercial et capitalistique, avec le Français Open Wide, spécialisé dans l’ingénierie des logiciels embarqués en environnement Open Source. (suite…)

Article en entier

Gemalto conclut l’acquisition de SafeNet

Gemalto, leader mondial de la sécurité numérique, a bouclé l’acquisition de SafeNet, le spécialiste américain de la protection des données et des logiciels, après avoir reçu l’aval des autorités de réglementation et de concurrence compétentes. SafeNet, dont le projet d’acquisition avait été annoncée à l’été 2014 pour un montant de 890 millions de dollars, sera […]

Article en entier
Top

ALLEZ A L'ESSENTIEL !

Recevez notre newsletter par email  

   JE M'INSCRIS A LA NEWSLETTER  

You have Successfully Subscribed!

Pin It on Pinterest