Memorias de investigación
Proyecto de I+D+i:
N. 004033 - ASSERT AUTOMATED PROOF BASED SYSTEM AND SOFTWARE ENGINEERING FOR REAL-TIME APPLICATIONS.
Año:2009

Áreas de investigación
  • Arquitectura de computadores,
  • Telemática

Datos
Descripción
ASSERT (Automated proof based System and Software Engineering for Real-Time ) is an integrated project (IP) co-sponsored by the European Commission under the Information Society Technology (IST) priority within the 6th Framework Programme (FP6). The project addresses the strategic objective of Embedded Systems. The ASSERT main goal is to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains
Internacional
Si
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Comisión Europea, 6PM
Nacionalidad Entidad
Sin Pais
Tamaño de la entidad
Gran Empresa (>250)
Fecha concesión

Esta actividad pertenece a memorias de investigación

Participantes

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos