ACSD 2005 :Thèmes de la conférence
La Conférence Internationale sur l'application de la
concurrence au
design de systèmes (ACSD) est un forum pour la
dissémination de
résultats théoriques, de méthodes et
d'outils servant à la conception
de systèmes concurrents et complexes. Bien que le domaine
de recherche
ait enregistré plusieurs succès importants ces
dernières années, il
reste nécessaire de rapprocher théorie et pratique. Le
but de la
conférence est que ces deux types de recherches s'alimentent
mutuellement, notamment sur les sujets suivants:
- Méthodes pour la conception de systèmes synchrones
et asynchrones
fondées sur des modèles de concurrence (flots de
données, automates
communicants, réseaux de Petri,algèbres de processus,
statecharts, MSCs
etc.).
- Méthodes de conception correctes par construction, et
intégration
de techniques de vérification dans le processus de conception.
- Conception Synchrone / asynchrone et interfaces de communication
: Systèmes globalement Asynchrones et localement synchrones.
- Co-design Hardware / software à partir de
spécifications communes.
- Problèmes de concurrence dans les systèmes sur
silicium (en particulier, l'utilisation de méthodes formelles pour la
conception et la vérificatication de protocoles).