About

The CPS-Xen project aims at providing a dependable and secure platform for executing safety-critical applications for monitoring, protection or control of cyber-physical systems. CPS-Xen is based upon the Xen-Hypervisor - a popular open-source Virtual Machine Monitor (VMM). CPS-Xen extends Xen by implementing established real-time scheduling algorithms and providing additional features for the execution monitoring of the safety-critical applications.

Conditions of Use

There is no warranty regarding the correctness of the implementation or the functionality of CPS-Xen.

Contact

For questions regarding CPS-Xen please contact Dipl.-Inf. Boguslaw Jablkowski.

License

CPS-Xen is licensed under GNU GPL v2.

Download

The source code is available at https://github.com/cpsxen/cps-xen.