Systèmes embarqués

Joseph Sifakis - @ CNRS Bellevue

Cycles "les défis scientifiques du 21e siècle"

Sifakis-systèmes embarqués

5/03/2009

Mardi 10 mars, Joseph Sifakis, prix Turing 2007, directeur de recherche au CNRS et titulaire de la chaire industrielle Schneider-INRIA-Digiteo, tiendra une conférence à l'Académie des sciences sur le thème des systèmes embarqués, nouveaux défis informatiques dont l'INRIA a fait l'une de ses priorités.

Mots-clés :

Accueil > Actualité > Actualités Inria > Sifakis-systèmes embarqués

Extraction des données cryptographiques - © Inria / Photo Kaksonen

Systèmes embarqués

Système de cryptographie dédié aux systèmes embarqués

Camille Liewig - 5/10/2009

Deux chercheurs, Pierrick Gaudry et Eric Schost, viennent de mettre au point un nouveau cryptosystème plus rapide et plus fiable. Intitulé Surf 1271, il repose sur l’utilisation de courbes hyper elliptiques et semble particulièrement adapté aux systèmes embarqués.

Mots-clés :

Accueil > Actualité > Actualités Inria > Système de cryptographie dédié aux systèmes embarqués

Showroom des démos

Robotique humanoïde personnelle : Acrhoban

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Robotique humanoïde personnelle : Acrhoban

Showroom des démos

TimeSquare : Spécifications Fonctionnelles à base de Temps Logique en Ingénierie des Modèles

TimeSquare est basé sur le formalisme CCSL (Clock Constraint Specification Language), partie du profil OMG UML MARTE (modélisation et l'analyse de systèmes temps-réel embarqués). L'outil permet de spécifier des horloges logiques et de les associer à des activations et rythmes comportementaux au sein d'un système embarqué (par exemple modélisé en UML ou SysML). TimeSquare permet l'analyse et l'unification des horloges logiques et de leurs temps hétérogènes, dans une perspective de placement/ordonnancement d'applications sur des plates-formes d'exécution.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > TimeSquare

Edition de logiciels, systèmes embarqués

Le mot de Thierry Vareine, responsable sectoriel

Les logiciels et systèmes embarqués constituent l'un des cœurs de métier d’Inria, depuis sa création. De la carte à puce à la fusée et aux satellites, en passant par le transport (train, automobile) ou l’électronique grand public (téléphone), ces technologies sont un moteur de l’innovation et de la croissance pour l’ensemble de l’économie. Questions à Thierry Vareine, responsable sectoriel systèmes embarqués & édition logicielle.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Edito

Edition de logiciels, systèmes embarqués

Logiciels & technologies à suivre

Quelques exemples de start-up et de technologies issues des travaux scientifiques Inria à suivre de près, dans le secteur édition de logiciels et systèmes embarqués.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Logiciels

Showroom des démos

TimeSquare : Spécifications Fonctionnelles à base de Temps Logique en Ingénierie des Modèles

TimeSquare est basé sur le formalisme CCSL (Clock Constraint Specification Language), partie du profil OMG UML MARTE (modélisation et l'analyse de systèmes temps-réel embarqués). L'outil permet de spécifier des horloges logiques et de les associer à des activations et rythmes comportementaux au sein d'un système embarqué (par exemple modélisé en UML ou SysML). TimeSquare permet l'analyse et l'unification des horloges logiques et de leurs temps hétérogènes, dans une perspective de placement/ordonnancement d'applications sur des plates-formes d'exécution.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > TimeSquare

Evénement

Assises de l'embarqué 2011

23/11/2011

Syntec Numérique, Cap'Tronic et DGCIS (Direction générale de la compétitivité, de l'industrie et des services) organisent les 4èmes « Assises de l’Embarqué », le rendez-vous des professionnels fournisseurs et donneurs d’ordres de l’informatique et des systèmes embarqués. De 9h30 à 17h00 chez UBIFRANCE - Paris 13

Lieu : Ubifrance, Paris 13

Intervenants : Thierry Vareine, responsable sectoriel systèmes embarqués d'Inria

Mots-clés :

Accueil > Innovation > Agenda > Assises de l'embarqué 2011

Systèmes embarqués

Les Assises de l’embarqué

7/10/2010

Lieu : Paris - Ministère de l’Economie, de l’Industrie et de l’Emploi

Intervenants : Thierry Vareine, responsable sectoriel édition logiciels & systèmes embarqués

Mots-clés :

Systèmes embarqués

Accueil > Innovation > Agenda > Les Assises de l’embarqué

Métiers d'Inria

Alexis Muller : « Ma voie était dans la recherche »

Françoise Monfort -

Alexis Muller est ingénieur expert à Inria Lille - Nord Europe. Une première expérience dans l’industrie lui a fait comprendre que sa voie se trouvait dans la recherche.