Systèmes embarqués : contraintes et technologies (série : Colloquium Jacques Morgenstern)

Les systèmes informatiques embarqués envahissent tous les pans de l'industrie,de l'avionique et l'automobile aux objets les plus courants. Ils sont formés de matériel et logiciel intimement mêlés. Les contraintes de fiabilité y sont considérables,que ce soit pour des questions évidentes de sécurité des personnes,ou simplement pour des raisons économiques de coût des bugs. Les contraintes technologiques y sont aussi très fortes: taille,consommation électrique,etc. Des technologies spécifiques de programmation et de vérification de ces systèmes ont été mises au point ces 15 dernières années,en particulier en France. Elles sont maintenant appliquées dans de grands projets industriels,et elles représentent certainement l'apport majeur des méthodes formelles en informatique. Nous présenterons les types principaux de systèmes,leurs contraintes,et la façon dont les méthodes modernes permettent de les réaliser plus vite et d'augmenter leur fiabilité.

Disciplines : ,,
Mots-clés : fuscia,conférence,recherche,STIC,systèmes embarqués,bug,contraintes,sécurité,system on chip,flot de développement,frontière matériel - logiciel,parallélisme,Esterel,langage impératif,langage asynchrone,flot de données,flot de contrôle,vérification formelle,calcul booléen,propagation de contraintes,mathématiques appliquées
Type de document : image en mouvement
Type de ressource : lecture
Niveau : higher education,doctorat
Publics visés : learner,teacher
Activité induite : s'informer,apprendre
Proposition d'utilisation : Cycle de conférences mensuelles, les Colloquium Jacques Morgenstern peuvent être choisis par les étudiants de l'Ecole Doctorale STIC dans le cadre des heures de formation complémentaire. Les orateurs interviennent en français ou en anglais.
Auteurs ou éditeurs : Gérard Berry,Institut National de Recherche en Informatique et en Automatique,Université de Nice,Ecole Polytechnique Universitaire,Laboratoire I3S