PikeOS brings the first industrial application of SSV (Safe and Secure Virtualization). With virtualisation, safety, security, sustainability and certification, SSV offers a bundle of solutions that takes the fear out of the increasing complexity of embedded systems. Modular software design, seamless development tools, certification of functional safety and security, sustainable use of software investments are key technologies that solve tomorrow's problems today.
SYSGO, system software specialist for the embedded market, will show at embedded world 2010 how product manufacturers can save costs permanently through virtualisation.
Virtualisation is versatile and interesting for many complex applications. Therefore, PikeOS is the most used base platform for research projects of the 7th Framework Programme of the EU, under the umbrella of Artemis as well as in national research programmes.
We will explain the technical basics of PikeOS at Booth 203 in Hall 11. The founder of SYSGO AG, Mr. Knut Degen, as well as the board of directors, Mr. Michael Tiedemann, are available for further press talks.
Christoph Baumann from Saarland University will present the formal verification of the PikeOS microkernel as part of the conference programme on Tuesday, 2 March from 3:00 - 3:30 pm under the title: "Ingredients of Operating System Correctness - Lessons Learned in the Formal Verification of PikeOS".
More information at www.sysgo.com/pikeos
Twitter
LinkedIn
Facebook
Pocket
RSS
