Memorias de investigación
Capítulo de libro:
The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
Año:2008
Áreas de investigación
  • Arquitectura de computadores,
  • Telemática
Datos
Descripción
The ASSERT Virtual Machine (VM) is the execution platform on which ASSERT applications run. It is based on the Ravenscar Computational Model (RCM), and only accepts software entities which are valid under this model. To this purpose, application-level software is built in such a way that all functional code and data is encapsulated into VM-Level Containers (VMLC), which are the run-time code entities that operate on top of the VM. In order to guarantee the required real-time behaviour, the ASSERT VM is bound to a GNAT crosscompilation system that only accepts code which is legal in terms of the underlying computational model, i.e. the RCM. Since this model is based on the Ada Ravenscar Pro le [ISO05], an Ada 2005 [ISO07] compilation system is used. Accordingly, VMLC are coded in Ada 2005 restricted by the Ravenscar pro le
Internacional
No
DOI
10.3182/20080706-5-KR-1001.3469.
Edición del Libro
0
Editorial del Libro
ISBN
978-3-902661-00-5
Serie
Título del Libro
Data Systems in Aerospace DASIA 2008. Palma de Mallorca IFAC-PapersOnLine, 2008
Desde página
0
Hasta página
0
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: Arquitectura y Tecnología de Sistemas Informáticos
  • Departamento: Ingeniería de Sistemas Telemáticos