Design and implementation of real-time distributed systems with the ASSERT Virtual Machine

J Zamorano, J A de la Puente
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
This paper describes how the ASSERT Virtual Machine, a dedicated execution platform that guarantees 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. Components are used in the framework of the ASSERT development process, and are based on the Ravenscar Computational Model, a concurrent tasking model
more » ... hich 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. 978-1-4244-6849-2/10/$26.00 ©2010 IEEE LEON2 communication drivers RT kernel ORK+ middleware and communication services POLYORB-HI automatically generated code communication link!
doi:10.1109/etfa.2010.5641342 dblp:conf/etfa/ZamoranoP10 fatcat:7fjgbzfw2rbupjbqe65udjz6dm