Descripción
|
|
---|---|
The development of real-time control systems is a complex process which has to face often con icting requirements, especially those related to the performance of the control methods and the real-time behaviour of the system. The ASSERT Virtual Machine provides a reliable execution platform for such systems, which allows developers to cope with functional and real-time aspects separately. In order to guarantee the required real-time properties, the virtual machine only accepts software components which have a predictable temporal behaviour which can be analysed at system design time. Such components can be automatically generated from a high-level description of a system which embodies the functional components (e.g. control algorithms) into a set of containers providing the appropriate concurrent and realtime behaviour. The ASSERT Virtual Machine has been implemented in Ada 2005, using a predictable tasking subset of the language known as the Ravenscar prole. A prototype has been validated on several pilot-scale spacecraft control systems, with good results. | |
Internacional
|
Si |
DOI
|
10.3182/20080706-5-KR-1001.3469 |
Edición del Libro
|
0 |
Editorial del Libro
|
Elsevier |
ISBN
|
978-3-902661-00-5 |
Serie
|
|
Título del Libro
|
Proceedings of the 17th IFAC World Congress, 2008 World Congress, Volume# 17 | Part# 1 |
Desde página
|
0 |
Hasta página
|
0 |