Taller anual de RADIANCE 2016
28 Junio 2016 - 28 Junio 2016
Toulouse, Francia
En el taller de RADIANCE, respaldado por los proyectos del 7PM CECRIS y DEVASSES, se debatirá sobre métodos novedosos de evaluación de la fiabilidad en sistemas complejos y se fomentará su empleo en sistemas reales mediante actividades de investigación comercial y académica. RADIANCE se propone fomentar e impulsar el debate sobre ideas innovadoras, erigirse en un foro científico en el que se compartan problemas reales y soluciones innovadoras para la evaluación de sistemas complejos.
Entre los temas que se tratarán en el evento se encuentran los siguientes:
- Evaluación de sistemas integrados, incluido el software OTS
- Desarrollo ágil en sistemas críticos: retos y métodos de evaluación
- Requisitos del lenguaje natural en el desarrollo de software
- Evaluación del software para abordar la complejidad creciente de los sistemas
- Certificación de sistemas complejos e integrados
- Sistemas dinámicos y en evolución: necesidades de verificación, validación y certificación
- Verificación y validación automáticas de sistemas críticos
- Métodos basados en modelos para evaluar sistemas fiables y seguros
- Evaluación experimental de la fiabilidad y la seguridad
- Servicios fiables y seguros
- Temas pendientes, experiencias prácticas y estudios de casos reales
El Congreso internacional IEEE/IFIP sobre sistemas y redes fiables (IEEE/IFIP International Conference on Dependable Systems and Networks, DSN) es el foro internacional de mayor prestigio donde presentar resultados científicos avanzados e innovadores, soluciones a problemas, prácticas e información en relación con los retos a los que se enfrenta la computación fiable y su seguridad. Las DSN incumben a todos los sistemas y ámbitos prácticos de las tecnologías de la información que precisan de una elevada fiabilidad y seguridad.
Para más información, consulte:
Página web del taller de RADIANCE(se abrirá en una nueva ventana)
Sitio web del congreso DSN(se abrirá en una nueva ventana)
Entre los temas que se tratarán en el evento se encuentran los siguientes:
- Evaluación de sistemas integrados, incluido el software OTS
- Desarrollo ágil en sistemas críticos: retos y métodos de evaluación
- Requisitos del lenguaje natural en el desarrollo de software
- Evaluación del software para abordar la complejidad creciente de los sistemas
- Certificación de sistemas complejos e integrados
- Sistemas dinámicos y en evolución: necesidades de verificación, validación y certificación
- Verificación y validación automáticas de sistemas críticos
- Métodos basados en modelos para evaluar sistemas fiables y seguros
- Evaluación experimental de la fiabilidad y la seguridad
- Servicios fiables y seguros
- Temas pendientes, experiencias prácticas y estudios de casos reales
El Congreso internacional IEEE/IFIP sobre sistemas y redes fiables (IEEE/IFIP International Conference on Dependable Systems and Networks, DSN) es el foro internacional de mayor prestigio donde presentar resultados científicos avanzados e innovadores, soluciones a problemas, prácticas e información en relación con los retos a los que se enfrenta la computación fiable y su seguridad. Las DSN incumben a todos los sistemas y ámbitos prácticos de las tecnologías de la información que precisan de una elevada fiabilidad y seguridad.
Para más información, consulte:
Página web del taller de RADIANCE(se abrirá en una nueva ventana)
Sitio web del congreso DSN(se abrirá en una nueva ventana)