Atelier annuel RADIANCE 2016
Voici une partie des sujets traités:
- Évaluation de systèmes intégrés y compris du logiciel OTS
– Développement agile de systèmes critiques: difficultés d'évaluation et approche
- Besoins en langages naturels pour le développement de logiciels
- Évaluation de logiciels pour gérer la complexité croissante des systèmes
- Certification de systèmes complexes et intégrés
– Systèmes dynamiques en évolution rapide: nouveaux besoins de vérification, de validation et de certification
- Vérification et validation automatisées de systèmes critiques
- Approches par modèles pour l'évaluation de systèmes fiables et sûrs
– Évaluation expérimentale de la fiabilité et de la sécurité
– Services fiables et sûrs
– Problèmes non résolus, expériences pratiques et études de cas réels
La conférence internationale IEEE/IFIP sur les systèmes et réseaux fiables (DSN), est le forum international le plus prestigieux où présenter des résultats innovants et progressistes, des solutions, des pratiques et des idées sur de nouvelles difficultés, dans le domaine de la sécurité et de l'informatique fiables. La conférence DNS s'intéresse à la totalité des domaines de systèmes et d'applications de l'informatique exigeant une sécurité et une fiabilité très strictes.
Pour plus d'informations, veuillez consulter:
page web de l'atelier RADIANCE(s’ouvre dans une nouvelle fenêtre)
site web de la conférence DSN(s’ouvre dans une nouvelle fenêtre)