Welcome to the VOS4ES project

The use of embedded systems is nowadays spreading at an increasing speed, to all aspects of modern life as well as all phases of industrial production.
Their use extends from everyday non-critical or soft real-time consumer electronics and telecommunications equipment, to highly critical automotive, railway, automation control and aerospace systems, which satisfy the most stringent real-time constraints.
Regardless of the application criticality, however, the need for high integrity and high availability systems as well as for systems that handle their data in a secure way is common and solutions demanding.

In order to follow these technology tendencies, there is a growing interest in enabling multiple critical applications to share a single processor and memory with non-critical and of different security level ones.

Partitioned software architectures seem to be the future of secure systems. They have evolved to fulfill security and highly critical real-time systems requirements where predictability is an extremely important factor.

The significant technological know-how and the high cost required for using virtualization technologies has prevented European SMEs which develop embedded systems, from adopting these advanced technologies and exploiting the competitive advantages of the existing virtualization solutions and especially secure partitioning techniques in their systems.

The VOS4ES goal is to provide a highly extendible, open source virtualization layer and a set of supporting tools that will allow SMEs to have access to virtualization technologies at a low cost and with high flexibility concerning its adaptation to specific requirements as opposed to existing proprietary solutions.

V4S

The main results of the VOS4ES project include:

  • Result 1 (R1): The VOS4ES virtualization layer, which allows the concurrent execution of hard-real time and non-critical applications of different security levels over the same hardware. It also includes the HW and guest OS adaptations libraries which will make the VOS4ES virtualization layer compatible with several hardware platforms and operating systems which can be executed as guests and the configuration management and executable image generation tool to allow the virtualization layer and partitions configuration and building according to the case specific requirements.
  • Result 2 (R2): The VOS4ES run-time supporting modules, consisting of three run-time modules, namely the state monitoring and execution control module, the debugging and validation module and the WCET analysis module, enabling the execution monitoring and control and debugging, validation and timing analysis of the guest applications.
  • Result 3 (R3): A set of embedded applications for validation purposes, adapted to run over the VOS4ES kernel, which will be developed during the VOS4ES framework validation phase.

The project started on 01/11/11, and its duration is 24 months.

The VOS4ES project is co-funded by the European Union’s Seventh Framework Programme managed by REA-Research Executive Agency
http://ec.europa.eu/research/rea/ (FP7/2007-2013) under grant agreement no 286706.

VOS4ES Brochure
Brochure