Post on 21-Jan-2016
description
Les filières de l’Ensimag Une école de référence en mathématiques appliquées, informatique et télécommunications
Systèmes et LogicielsEmbarqués (SLE)
F. MaraninchiR. Leveugle
Les systèmes et logiciels embarqués :
• Où les trouve-t-on ? Qu’est-ce que c’est ? • Que faut-il savoir en informatique et maths applis pour faire (bien!) des systèmes embarqués ?
• Cours et choix de parcours (étranger, recherche, …)• Exemples de sujets de PFE, filière SLE 2010-2011
• Les systèmes embarqués à Grenoble
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Automates de VaucansonÀ mécanismes d’horlogerie
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Théodore RomboutsL’arracheur de dents Musée d’Art Roger-QuilliotClermont-Ferrand
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Quelles sont les différences entre ...
Réponse : il y a des systèmesnumériques partout !
Contexte général : • Grandes infrastructures telecom + calculateurs• Grands systèmes d’informations• Accès ubiquitaire (applis web…)• Des logiciels pour tout (finance, météo, jeux vidéo, commerce …) • Ceux qu’on voit le moins : les systèmes et logiciels embarqués
Un exemple : centrale inertiellepour l’avionique.
4 Gyroscopes(redondance en cas de panne) 350 000 lignes de logiciel
Calculs très précis
Position 3D deL’avion
Un exemple : contrôle de température et consommation dans un SoC
Le logiciel embarqué - éteint/rallume, - réduit la puissance - coupe l’horloge ….des différents blocs selon les besoins, pour réduire laconsommation.
Systèmes et Logiciels Embarqués :Tentative de définition...
Un système informatiqueConstitué de matériel et de logiciel… souvents conçus l’un pour l’autre + des parties analogiques
Soumis à des contraintes fortes • (taille mémoire)• temps de réaction court (temps-réel)• consommation d’énergie faible• connexion à un environnement physique• contextes critiques 0 bug !• parallélisme à tous les étages
Formation informatique/maths appli. solide,
appliquée aux défis de l'embarqué Modélisation de haut niveau (“système”) Prototypage virtuel, simulation, évaluation de qualité Développement par composants pré-validés Maîtrise de la complexité et du parallélisme sous toutes
ses formes
Des compétences pointues pour le développement de composants matériels et logiciels
Systèmes numériques intégrés, logiciels de contrôle temps-réel
Préparation à Un environnement multi-compétences et international Un domaine en développement très rapide
Formation Ensimag+Phelma / SLE
Compétences, métiers et employeurs
Compétences acquises• Vue globale d'un système informatisé / intégré, sécurité tolérance aux pannes, temps-réel, validation• Connaissance d'un domaine en pleine expansion
Métiers• Développement et intégration, modélisation et validation• Audit et conseil, R&D, édition de logiciels, ...
Employeurs… Exemples• ST Microelectronics, Airbus, Texas Instruments, Schneider,
Dassault Systèmes, Orange, Gemalto, Freescale, CS, Snecma, Hispano Suiza, Safran, Motorola, HTC
• EADS, Renault, Peugeot, Alsthom, Sagem• ATOS origin, Logica, Thales Services, Orange IT&L@bs
Cours 2A, 3A - Choix de parcours
Ressources en ligne : kiosk et ensiwiki
• 2A sem 1• 2A sem 2
• Cas particulier du module IRL• Projets de spécialité (juin)
• 3A
Choix de parcours 3A • Parcours recherche (master MOSIG, SIPT, …)• 3A et/ou PFE à l’étranger : nombreuses destinations
Cours 2A, 3A - Choix de parcours :Séjour à l’étranger, Reconnaissance internationale de la formation
google “master embedded software and systems”
Environ 3 560 000 résultats
Exemples de PFE 2010-2011 (page 1)
ST : development of the next generation of Home Video Division products. Contribute to the analysis of the existing behavioral C models
THALES COMMUNICATION : Etude de l’impact des politiques de scheduling FIFO/RR/EDF temps réel sur les traitements des flux réseau dans le cadre d’architectures SMP sous Linux
MathWorks : Vérification automatique des logiciels en calcul flottant
Logica : Évolutions et optimisations d’applications mobile (PDA) Démonstrateur TV-3D avec point de vue libre. Intégration de flux de données dans le système d’informations
d’Airbus
ICERA : Android Validation
Thales Avionics : Développement d'un moyen de débogage post-mortem embarqué.
Solucom : Les entreprises et la Téléphonie sur IPST : Validation et optimisation d’un compilateur OpenCL C pour
multi-pro Développement des moyens de vérification d'une architecture
multiprocesseur massivement parallèle
ASSYSTEM : VALIDATION LOGICIEL EMBARQUE - Tests unitaires et d'intégration pour logiciel sur carte PEPDC
Parkeon : Algorithme générique de reconnaissance de pièce sur sélecteur ; développement VHDL
Airbus : Nouvelles technologies temps réel et développements avioniques
Exemples de PFE 2010-2011 (page 2)
Exemples de PFE 2011-2012
ATOS : vérifier un logiciel critique embarqué en langage CComarch R&D : application mobile sur smartphone pour gérer une infrastructure réseau de PMESTMicroelectronics : logiciel embarqué sur réseau de capteursSOPRA Group : systèmes embarqués aéronautiques ARM : cohérence de cache pour système multi-coeurASSYSTEM : logiciel d'analyse de profil de consommationKALRAY : port d’un noyau linux sur plateforme multicoeurMATHWORKS/POLYSPACE : analyse de logiciel embarqué manipulant des flottants SCHNEIDER : composant ZigBee pour l’offre “power”MBDA : hyperviseur pour OS temps-réelSCHNEIDER : robot roulantTHALES : test de composants dans une architecture composants temps réelEUGEN SYSTEMS : jeu vidéo de stratégie temps réel.ARCHOS : programmation android
Les systèmes et Logiciels Embarqués à Grenoble
Le pôle de compétitivité mondial Minalogic [site web] De très nombreuses entreprises
Des laboratoires de recherche :
• Verimag [site web]• TIMA [site web]• TIMC [site web]• LIG [site web] • …
Embarquez avec
nous !