Site-Index

Systèmes complexes

  • Systèmes embarqués critiques autonomes [ACES]

    Systèmes autonomes complexes. Informatique distribuée tolérante aux pannes et asynchrone
    Lire la suite
  • System on Chip [LabSoc]

    Nouvelles méthodes, techniques, langages et outils pour les systèmes intégrés et embarqués complexes. Abstraction, méthodes formelles, simulation ultra rapide, génération de code à partir de modèles abstraits
    Lire la suite
  • Secure and Safe Hardware [SSH]

    Les thématiques de recherche de l'équipe concernent les architectures et les méthodes pour concevoir efficacement des systèmes embarqués répondant à des contraintes fortes, comme la sécurité et la fiabilité... Les contraintes de complexité et de consommation sont traitées dans la thématique Architectures optimales pour l'implémentation d'algorithmes complexes (Optimal Architectures for Complex Algorithms Implementations
    Lire la suite
  • Image, Modélisation, Analyse, GEométrie, Synthèse [ImaGEs]

    L' équipe s'attache à la résolution globale de problèmes complexes d'image et d'informatique graphique, intégrant des techniques multiples et complémentaires, reposant sur des bases théoriques solides au carrefour des mathématiques appliquées et de l'informatique, et permettant de conduire des données brutes à leur interprétation
    Lire la suite
  • Chaire Ingénierie des Systèmes Complexes

    Chaire Ingénierie des Systèmes Complexes. Télécom ParisTech entre dans la chaire" Ingénierie des Systèmes Complexes" auprès de Thales, Dassault Aviation, DGA (Direction Générale de l'Armement), DCNS, Polytechnique et ENSTA ParisTech... Naturels ou artificiels, les systèmes complexes sont partout... Parmi ceux -ci, les systèmes complexes artificiels que sont les systèmes dits" cyber physiques ",composés de programmes et de systèmes informatiques, pilotent, contrôlent, et automatisent aujourd' hui de nombreuses tâches qui ont un impact sur nos vies quotidiennes et qui ne tolèrent aucun dysfonctionnement: avions de ligne, appareils médicaux, dispositifs de défense... Des exemples connus de bugs ont montré l'insuffisance des tests usuels, comme celui du premier vol d'Ariane 5.Il est indispensable de prouver la validité et la fiabilité de ces programmes en perpétuelle évolution grâce à de nouvelles techniques afin de s'assurer de leur bon fonctionnement
    Lire la suite
  • Conception de systèmes intégrés complexes

    1. Exploration d'architecture de systèmes à très haut niveau d'abstraction... Accélérer les simulations de l'ensemble du système de plusieurs ordres de grandeur par rapport à modèles transactionnels classiques. Autoriser l'utilisation des techniques de vérification formelle sur le système complet
    Lire la suite
  • C2S - Recherche

    Nos recherches portent sur l'intégration de fonctions analogiques ou mixtes (analogiques numériques) et radiofréquences à sein de systèmes complexes. Elles sont structurées autour de deux axes principaux
    Lire la suite
  • Mastère Spécialisé Systèmes Embarqués : Ingénierie cyber-physique des objets connectés

    La modélisation, le test et la vérification des systèmes complexes. La transformation des innovations en valeur économique
    Lire la suite
  • LabSoC - Recherche

    Nos thèmes de recherche sont consacrés à la conception de systèmes intégrés complexes, à l'étude de leur sécurité et à leur application au domaine de la radio dite logicielle. Conception de systèmes intégrés complexes
    Lire la suite
  • Equipes

    l' équipe) s'intéresse aux applications des statistiques et des probabilités au traitement de l'information; le groupe couvre un spectre large allant des développements de nouvelles méthodes et algorithmes jusqu' à applications; les activités de cette équipe se déclinent autour de plusieurs thèmes: apprentissage statistique, données dépendantes et systèmes aléatoires complexes, méthodes et algorithmes pour l'analyse de données cosmologiques, méthodes de Monte Carlo par chaînes de Markov, méthodes de Monte Carlo séquentielles (filtrage particulaire), traitement d'antennes, géo-localisation, estimation de modèles
    Lire la suite