Descripción
|
|
---|---|
Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them. This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtualmachine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example. Revisores: sí | |
Internacional
|
Si |
Entidad
|
15th International Real-Time Ada Workshop ?IRTAW150 |
Lugar
|
Liébana, Cantabria (Spain), |
Páginas
|
0 |
Referencia/URL
|
Actas: pendientes de publicación en SIGAda Leters. 14-16 September, 2011 |
Tipo de publicación
|
Poonencia en Congreso |