Dixième atelier international sur les méthodes parallèles et distribuées en certification à Snowbird, aux États-Unis
14 Juillet 2011 - 14 Juillet 2011
États-Unis
La dixième édition de l'atelier international sur les méthodes parallèles et distribuées en certification aura lieu le 14 juillet 2011 à Snowbird, aux États-Unis.
L'importance croissante de la vérification formelle automatisée dans l'industrie attire un intérêt croissant dans des aspects qui ont un impact direct sur son applicabilité aux problèmes dans la vie réelle. L'un des principaux défis techniques réside dans la conception d'outils et de techniques qui peuvent supporter d'importants modèles de vérification industrielle.
Parallèlement, le secteur informatique connaît une évolution rapide. Les fabricants de processeurs présentent de nouvelles générations de processeurs multicoeurs plus puissants. En même temps, les ressources d'informatique en nuages sont faciles d'accès et les dispositifs de mémoires externes tels que les disques durs ou à l'état solide deviennent plus importants.
Ces développements impliquent que les techniques et outils de vérification devront être soumis à une transition technologique en profondeur pour pouvoir rattraper les nouvelles architectures du matériel de traitement de l'information.
La conférence couvrira la vérification et l'analyse de systèmes très complexes et importants, en particulier en utilisant des méthodes et techniques qui exploitent les architectures actuelles de matériel de traitement de l'information. Les thèmes traités lors de la conférence incluront:
- les techniques de mémoire parallèle et/ou distribuée pour la vérification;
- des algorithmes efficaces pour la vérification;
- des algorithmes accélérés par l'unité de traitement pour la vérification;
- des instruments de vérification dépendant de la plateforme;
- des études de cas employant des méthodes parallèles et distribuées dans les techniques de certification;
- des applications de méthodes parallèles et distribuées dans les techniques de certification pour la biologie des systèmes.Pour de plus amples informations, consulter: http://www.pdmc.cz/PDMC11/(s’ouvre dans une nouvelle fenêtre)
L'importance croissante de la vérification formelle automatisée dans l'industrie attire un intérêt croissant dans des aspects qui ont un impact direct sur son applicabilité aux problèmes dans la vie réelle. L'un des principaux défis techniques réside dans la conception d'outils et de techniques qui peuvent supporter d'importants modèles de vérification industrielle.
Parallèlement, le secteur informatique connaît une évolution rapide. Les fabricants de processeurs présentent de nouvelles générations de processeurs multicoeurs plus puissants. En même temps, les ressources d'informatique en nuages sont faciles d'accès et les dispositifs de mémoires externes tels que les disques durs ou à l'état solide deviennent plus importants.
Ces développements impliquent que les techniques et outils de vérification devront être soumis à une transition technologique en profondeur pour pouvoir rattraper les nouvelles architectures du matériel de traitement de l'information.
La conférence couvrira la vérification et l'analyse de systèmes très complexes et importants, en particulier en utilisant des méthodes et techniques qui exploitent les architectures actuelles de matériel de traitement de l'information. Les thèmes traités lors de la conférence incluront:
- les techniques de mémoire parallèle et/ou distribuée pour la vérification;
- des algorithmes efficaces pour la vérification;
- des algorithmes accélérés par l'unité de traitement pour la vérification;
- des instruments de vérification dépendant de la plateforme;
- des études de cas employant des méthodes parallèles et distribuées dans les techniques de certification;
- des applications de méthodes parallèles et distribuées dans les techniques de certification pour la biologie des systèmes.Pour de plus amples informations, consulter: http://www.pdmc.cz/PDMC11/(s’ouvre dans une nouvelle fenêtre)