Software-based Memory Protection on OSEK/VDX- The KESO Multi-JVM