Descripción
|
|
---|---|
This paper describes how the ASSERT Virtual Ma- chine, a dedicated execution platform that guaran- tees a predictable real-time behaviour, can be used to develop real-time embedded distributed systems with high-integrity requirements. The concept of virtual machine-level software components is developed, and sample programming patterns are provided. Compo- nents are used in the framework of the ASSERT de- velopment process, and are based on the Ravenscar Computational Model, a concurrent tasking model which can be statically analysed for a correct real-time behaviour. The current architecture of the ASSERT virtual machine is described in detail, and experience gained with its use in the last few years is provided | |
Internacional
|
No |
DOI
|
10.1109/ETFA.2010.56 |
Edición del Libro
|
0 |
Editorial del Libro
|
IEEE |
ISBN
|
978-1-4244-6850-8 |
Serie
|
|
Título del Libro
|
IEEE International Conference on Emerging Technologies and > Factory Automation ¿ ETFA 2010 |
Desde página
|
0 |
Hasta página
|
0 |