Gérard Berry – Esterel et SCADE, Urgences scientifiques posées par l’industrie (3/3): masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle

29 janvier 2014

berry-gerardLes trois cours donnés à Sophia Antipolis sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Chaque cours sera suivi d’un séminaire. Pour en savoir plus…

Le cours du 29 janvier nous fera revenir à la science à travers trois problèmes scientifiques durs posés pour Esterel par les utilisateurs industriels et dont la solution était vitale pour eux, ce qui la rendait tout aussi vitale pour Esterel Technologies le traitement de la causalité, difficulté intrinsèque des langages synchrones dont la solution a été trouvée dans une relation surprenante entre logique et électricité, le traitement des circuits multi-horloges maintenant universels en électronique, et enfin le délciat traitement formel des ECO (Engineering Change Order), demandes de corrections de bugs d’un circuit sans toucher à son code source. Ces problèmes sont souvent bien différents de ceux que se posent spontanément les chercheurs, mais tout aussi scientifiques, tout aussi intéressants, et pas moins difficiles. Les trois cours donnés à Sophia Antipolis sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques.

Slides

Les commentaires sont clos.