translate English to French: Work includes unification of computational models and composition methods, holistic design addressing event and time constraints, interface technologies in hard- and software addressing real-world and legacy issues, techniques and integrated validation tools to ensure ultra-stable, dependable embedded systems.
Les travaux incluront l'unification des modèles de calcul et des méthodes de composition, la conception holistique intégrant les contraintes d'événements et de temps, les technologies des interfaces de matériel et de logiciel tenant compte des questions liées au monde réel et à l'existant.