Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
N. 004033 - ASSERT AUTOMATED PROOF BASED SYSTEM AND SOFTWARE ENGINEERING FOR REAL-TIME APPLICATIONS.
Year:2009
Research Areas
  • Architecture of computers,
  • Telematics
Information
Abstract
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
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Comisión Europea, 6PM
Entity Nationality
Sin Pais
Entity size
Gran Empresa (>250)
Granting date
Participants
  • Director: Juan Antonio de la Puente Alfaro (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)