AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour June, 2013

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

Monday 17 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.

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

Modélisation des Systèmes Réactifs (MSR’13)

Sunday 2 June 2013

Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par l’AFSEC.

INRIA Rennes - Bretagne Atlantique, France, du 13 au 15 novembre 2013

Site : MSR’13

Publié dans Actions Afsec, Conférences | Pas de commentaire »