Congreso Internacional sobre Tecnologías de Software Fiable – Ada-Europe 2010

La 15ª edición del Congreso Internacional sobre Tecnologías de Software Fiable – Ada-Europe 2010 tendrá lugar en Valencia durante la semana del 14 al 18 de Junio de 2010.

El congreso se organiza desde la Universidad Politécnica de Valencia por iniciativa de la asociación internacional Ada-Europe en el edificio de la fundación Adeit, sito en la Plaza Lope de Vega, junto a la Iglesia de Santa Catalina.

Este congreso se ha consolidado como un reconocido foro internacional para profesionales, proveedores e investigadores en tecnologías de software fiable. Consistirá en un programa técnico de martes a jueves. El lunes y el viernes estarán dedicados a cursos monográficos (tutorials) y Workshops. El programa técnico incluye, además, charlas invitadas y presentaciones de artículos procedentes de entornos académicos, de investigación y de la industria.

Programa

Se ofrecerán tres charlas invitadas, impartidas por personalidades de reconocido prestigio en sus respectivos ámbitos profesionales, abrirán las sesiones el martes, miércoles y jueves:

  • Ted Baker, Universidad de Florida, USA “What to Make of Multicore Processors for Reliable Real-Time Systems?”
  • Pedro Albertos, Universidad Politécnica de Valencia, España. “Control Co-design: Algorithms and their Implementation”
  • James Sutton, Lockheed Martin, USA “Ada: Made for the 3.0 World”

Sesiones

Se presentarán un total de 17 artículos, seleccionados tras una exhaustiva revisión del Comité de Programa, repartidos en las siguientes sesiones:

  • Multicores and Ada
  • Software Dependability
  • Critical Systems
  • Real-Time Systems
  • Language Technology
  • Distribution and Persistency

Se incluyen, además, tres sesiones de presentaciones procedentes del entorno industrial, incluyendo 11 contribuciones seleccionadas por el Comité Industrial del congreso.

Habrá lugar también para una sesión invitada sobre Vulnerabilidades del Software y Seguridad, a cargo de Stephen Michell, miembro del grupo WG23 del ISO/IEC.

El programa incluye también una sesión con representantes de empresas con actividad en la industria de software, especialmente de software de alta integridad. Las empresas AdaCore, Altran Praxis, Atego y Ellidiss estarán además presentes por medio de una exposición comercial en los tres días centrales del congreso.

Cursos monográficos

El lunes 14 y viernes 18 se impartirán los siguientes cursos monográficos:

  • Lunes 14, turno de mañana:
    • Juan Antonio de la Puente, Juan Zamorano “Developing High-Integrity Systems with GNATforLEON/ORK”
    • William Bail “Software Design Concepts and Pitfalls”
    • Jean-Pierre Rosen “Using Object-Oriented Technologies in Secure Systems”
  • Lunes 14, turno de tarde:
    • Ismael Ripoll, Alfons Crespo “Hypervisor Technology for Building Safety-Critical Systems: XtratuM”
    • Ian Broster “How to Optimize Reliable Software”
    • Jean-Pierre Rosen “Developing Web-Aware Applications in Ada with AWS”
  • Viernes 18, turno de día completo:
    • Roderick Chapman “Spark: The Libre Language and Toolset for High-Assurance Software”
    • Benjamin Brosgol, Jérôme Lambourg “C#, .NET and Ada: Keeping the Faith in a Language-Agnostic Environment”

Programa social

El programa social consistirá en una recepción en el Jardín Botánico de Valencia, con cocktail de bienvenida, así como una cena en la Masía Xamandreu de Godella.

Actas

Las actas del congreso se publican en el volumen 6106 de la prestigiosa colección Lecture Notes on Computer Science, de Springer.

Información adicional

Puede consultar la página web del congreso (www.ada-europe.org/conference2010) donde encontrará todos los detalles del programa y el enlace para la inscripción on-line.

Contacto

Jorge Real   jorge@disca.upv.es
Instituto de Automática e Informática Industrial
Universidad Politécnica de Valencia.

Event details

Date: 14/06/2010