AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Ecole d’été temps réel ETR 2013 (du 26 au 30 août 2013)

17th June 2013

La huitième école d’été temps-réel ETR 2013 (http://www.irit.fr/ETR13//)
aura lieu à l’ENSEEIHT, Toulouse.
ETR 2013 est soutenue par l’AFSEC.

Les systèmes temps réel sont caractérisés par la nécessité de respecter des contraintes temporelles imposées au système informatique par son environnement. Par exemple, un procédé de fabrication, un avion, un train, un système de surveillance ou un système multimédia sont des exemples de systèmes temps réel. Étant donnée la nature critique des domaines d’application des systèmes temps réel et embarqués, le développement de tels systèmes requiert la mise en œuvre d’approches et de technologies de haut niveau.

Leave a Reply

You must be logged in to post a comment.