Pour satisfaire des exigences toujours plus fortes en rapidité et en puissance, l’industrie adopte des processeurs hétérogènes où voisinent maintenant deux types de circuits optimisés pour des tâches différentes. Problème : chacun utilise un modèle de programmation spécifique non compatible avec l’autre. Scientifique au centre Inria Rennes – Bretagne Atlantique…
Financé par la Direction générale de l’armement (DGA) et géré par Inria pour le compte des partenaires du Pôle d’excellence cyber (PEC) situé en Bretagne, un cycle de semestres consacrés à la cyber sécurité vient de débuter à Rennes. Objectif : inviter des pointures mondiales à présenter leurs travaux et…
Au lycée, en première et terminale S, l’option “Numérique et science informatique” (NSI) devient une matière à part entière. Cette discipline sera enseignée par des professeurs titulaires du nouveau Capes d’informatique délivré à partir de 2020. Le centre Inria Rennes – Bretagne Atlantique contribue actuellement à la formation des premiers…
En comparant automatiquement des myriades de données, les algorithmes d’IA produisent de la connaissance qui leur permet ensuite d’effectuer des prédictions et de prendre des décisions. Leurs choix impactent de plus en plus notre vie quotidienne. Problème : dans l’état actuel de cette technologie, la décision manque de transparence. L’être…
Inria et le centre de R&D Europe de Mitsubishi Electric (MERCE) viennent de signer un accord-cadre pour étendre leurs collaborations de recherche. Le partenariat s’intéresse en particulier à l’automatisation dans le domaine des méthodes formelles et plus spécifiquement à la vérification des systèmes cyberphysiques. En toile de fond : la…
Entre téléphonie et Internet des objets, les processeurs embarqués se multiplient. Ils interviennent maintenant dans toutes sortes de transactions. Problème : ces processeurs, y compris ceux aux architectures les plus complexes, peuvent s’avérer vulnérables aux attaques par impulsion électromagnétique. C’est ce que vient de démontrer un groupe de chercheurs du…
Entreprise de services du numérique (ESN) née à Rennes, Groupe Créative réalise actuellement la modélisation 3D de ses locaux dans lesquels les visiteurs pourront bientôt se déplacer virtuellement. Signe particulier : c’est un robot déambulant dans les couloirs qui se charge de faire l’acquisition des images. Et cela, de façon…
Assemblages d’éléments physiques et de composants logiciels, les systèmes cyber-physiques deviennent de plus en plus complexes. Pour continuer à les modéliser, il faut donc envisager un changement de paradigme. C’est l’objectif de ModeliScale, un projet coordonné par Inria autour de six équipes de recherche. Les travaux en cours ont permis…
Pour économiser la batterie, les applications embarquées doivent consommer le minimum d’énergie et fonctionner avec une faible empreinte mémoire. D’où la nécessité d’optimiser le code afin d’alléger le travail du processeur. Dans ce domaine, des résultats de recherche d’Inria et de l’IETR vont aboutir à la création d’une startup autour…
Lauréat 2019 d’une bourse du Conseil européen de la recherche (ERC), le projet Stuod vise à concevoir de nouveaux outils mathématiques pour estimer la variabilité et l’incertitude dans la modélisation des couches océaniques supérieures, un thème qui trouve une résonnance particulière à l’aune du réchauffement climatique. Ces recherches pluridisciplinaires vont…
