Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Real-time hardware/software co-design using devs-based transparent M&S framework
Año:2016
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Design and development of hard Real-Time (RT) embedded systems present several crucial requirements regarding criti- cality and timeliness of these systems. Formal methods have been presented as a promising alternative to deal with the design issues of these applications. However, these formal method do not scale well in complex systems. Modeling and Simulation (M&S) provides cost-effective approaches to verify and validate the design and implementation details of complex RT applications. Nevertheless, M&S approaches and artifacts are usually discarded in the later phases of the development. Discrete Event Systems Specification (DEVS) provides an appropriate M&S framework to provide formal specifications to the actual RT system, incrementally moving from software specifications to a full hardware embedded sys- tem. In this work, we propose a hardware-in-the-loop model- driven method, based on DEVS for RT/embedded applica- tion/systems engineering. Our approach is based on an in- cremental substitution of DEVS virtual software models with Unix-compliant device files through a formally defined pro- cess in the modeling phase. Consequently, any DEVS simu- lation engine can be used. This paper advances the state-of- the-art in hardware-software co-design methodologies.
Internacional
Si
Nombre congreso
Summer Computer Simulation Conference (SummerSim-SCSC 2016)
Tipo de participación
960
Lugar del congreso
Montreal, QC, Canada
Revisores
Si
ISBN o ISSN
978-1-5108-2424-9
DOI
Fecha inicio congreso
24/07/2016
Fecha fin congreso
27/07/2016
Desde la página
1
Hasta la página
8
Título de las actas
Proceedings of the Summer Computer Simulation Conference, SummerSim 2016
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: José Luis Risco-Martín (Universidad Complutense de Madrid)
  • Autor: Saurabh Mittal (The MITRE Corporation)
  • Autor: Juan Carlos Fabero (Universidad Complutense de Madrid)
  • Autor: Pedro Jose Malagon Marzo (UPM)
  • Autor: José Luis Ayala Rodrigo (Universidad Complutense de Madrid)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Laboratorio de Sistemas Integrados (LSI)
  • Centro o Instituto I+D+i: Centro de Investigación en Simulación Computacional
  • Departamento: Ingeniería Electrónica
S2i 2023 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)