Open Kernel Data Sheets
What is Virtualization?
Virtualization is technology for supporting execution of computer program code, from applications to entire operating systems, in a software-controlled environment. Such a Virtual Machine (VM) environment abstracts available system resources...
ICESS 2007, Korea: Dr. Gernot Heiser, Open Kernel Labs, to speak on Next Generation Operating System
May 14, 2007
MEDIA ALERT
Who: Dr. Gernot Heiser Professor of Operating Systems, The University of New South Wales, Australia: Program Leader for Embedded, Real-Time and Operating Systems research at NICTA, and CTO and Co-founder of Open Kernel Labs
What: Presenting “Next-Generation Embedded Operating Systems” at the 2007 International Conference on Embedded Software and System
Where: The 2007 International Conference on Embedded Software and System, May 14-16
Location: Hotel Inter-Burgo, Daegu, Republic of Korea
When: May 14, 2007, 9:30 — 10:50 am
About the Presentation
Dr. Gernot Heiser will discuss the challenges to the reliability, security and safety of embedded systems that result from wireless connectivity and growing software complexity. The presentation will demonstrate that operating-system technology is key to meeting those challenges and that a solution based on microkernels is the only way to build a truly trustworthy “trusted computing base.”
The presentation will also present the embedded-operating-systems research agenda of NICTA (Australia’s prestigious Center of Excellence for ICT research) and Open Kernel Labs, which aims to achieve a provably-correct operating-system microkernel suitable for systems with the highest security requirements. This includes formal verification of the kernel, sound techniques for developing comprehensive timing models for hard real-time systems. This formally verified microkernel will be complemented by a component software architecture to support the implementation of very large, yet reliable software systems on top of the software.
About Dr. Heiser
Dr Gernot Heiser is the Professor of Operating Systems at the University of New South Wales, where he has been an academic staff member since 1991. Dr. Heiser has a PhD in Computer Engineering from ETH Zurich. Dr. Heiser is also the co-founder and CTO of Open Kernel Labs, a company successfully marketing its own open-source operating system for embedded systems, with deployments in mobile-phone handsets and other consumer devices. Prior to the creation of Open Kernel Labs, Dr. Heiser was the Program Leader for Embedded, Real-Time and Operating Systems research at NICTA, a position he now holds on a part-time basis.
Open Kernel Labs
Open Kernel Labs’ (OK) technology leadership in embedded operating systems and virtualization technology enables the development of reliable, trustworthy and affordable devices. Backed by the experienced research team from NICTA, Australia’s prestigious Center of Excellence for ICT research, OK’s open-source microkernel operating system, OKL4, offers the highest proven performance combined with strong protection and security features in order to provide developers with a robust, open-source platform for building secure, differentiated embedded applications. For more information on OK and its products visit www.ok-labs.com.
Press Contacts:
Pat Arcand (US)
Arcand & Madison for Open Kernel Labs
(617-576-7777)
pat@am-pr.com