Titre : Scade 6, un langage synchrone industrie Auteur : Xavier Fornari (Esterel-Technologies) Abstract : Le langage Scade 6 est l'héritier des langages Lustre et Esterel, et est utilisé industriellement. Le design du langage a été fait sur la base de ces langages, tout en tenant compte du domaine d'utilisation final: les logiciels critiques embarqués. Après un aperçu du langage, nous abordons quelques éléments de sa compilation en langage C. Outre les difficultés inhérentes à ce type de compilation, l'environnement de certification impose certaines contraintes sur la réalisation