Product Roadmap OKL4 is the world's most advanced microkernel, and the one with the most ambitious product roadmap. There are four basic areas that define our roadmap: component system, temporal analysis, high-security API, and a formal verification of the OKL4 kernel.

Component System

We are working on a state-of-the art component architecture that will provide the basis for highly structured systems with pluggable components, including optional dynamically loadable components, fault tolerance, hot upgrades and generalized information-flow control. It will be integrated with development methodologies such as UML and will be supported by tools such as interface generators and an architecture-description language.

The OKL4 system will itself employ the component architecture, using separate components for individual device drivers, network stacks, file systems and policy modules.

The component system will be released in several stages, with the core system released during 2007.

Temporal Analysis

This product will provide a complete and reliable analysis of all system latencies in OKL4. The product is based on sound mathematical methodologies, rather than statistical sampling. As such it is able to produce a tight yet trustworthy upper bound on execution times, unlike any other product on the market.

Prototypes of this technology, which deliver complete execution-time profiles, although without strong worst-case guarantees, will be available in 2007. The complete product is expected to be available in the first half of 2008.

High-security API

OKL4 is evolving towards a platform that will satisfy military-style security requirements, such as strict information-flow control according to system-wide security policies, and strict management and accounting of system resources.

Formal correctness proof

We are working on a formal verification of the OKL4 kernel—a mathematical proof that the kernel is free of bugs, and exhibits certain security properties. There is no product on the market that comes close to such a degree of verification.

• Company
  • Business Model
  • OK and NICTA
  • Events
  • Press Releases
  • Press Articles
  • Leadership
  • Careers
  • Contact
• Solutions
• Technology
  • Virtualization
  • Why Virtualization?
  • Virtualization Issues
  • Microkernel Technology
  • Performance
• Products
  • Product Roadmap
  • Product Extensions
• Services
  • Consulting
  • Training
  • Research
  • Support
• Markets
  • Wireless
  • Consumer Electronics