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 Prole [ISO05], an Ada 2005 [ISO07] compilation system is used. Accordingly, VMLC are coded in Ada 2005 restricted by the Ravenscar prole | |
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 |