Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Sat 25-May-19 . 08:17



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Ravenscar Computational Model compliant AADL Simulation on LEON2
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:International Symposium on Information System and Software Engineering, ISSE 2011
Fecha:2011-03
Autores: Roberto Varona
Eugenio Villar
A-I. Rodríguez (GMV)
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: HWSWCO
ISBN:978-1-936338-221
Fichero:ver fichero
Resumen:AADL has been proposed for designing and analyzing SW and HW architectures for real-time mission-critical embedded systems. Although the Behavioral Annex improves its simulation semantics, AADL is a language for analyzing architectures and not for simulating them.
AADS-T is an AADL simulation tool that supports the performance analysis of the AADL specification throughout the refinement process from the initial system architecture until the complete, detailed application and execution platform are developed. In this way, AADS-T enables the verification of the initial timing constraints during the complete design process. In this paper we focus on the compatibility of AADS-T with the Ravenscar Computational Model (RCM) as part of the TASTE toolset. Its flexibility enables AADS-T to support different processors. In this work we have focused on performing the simulation of the application running on a LEON2 processor.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster