Aonix extends safety-critical portfolio

Aonix, a company that offers products for safety- and mission-critical applications, has announced the first language-specific component of SmartKernel, a memory and time-partitioned kernel designed to provide safety and security protection.

A supplier of Ada95 compile systems that satisfy the Ravenscar Ada95 profile certifiable language subset, Aonix is targeting language-specific configurations of SmartKernel so that developers will be able to create systems where multiple applications in multiple languages can safely run on a single board. With this release, SmartKernel offers support for the full Ada95 language on the PowerPC. As the first implementation of a language-specific implementation using SmartKernel, this release will run as a single SmartKernel partition.

The company says it intends to offer future versions of SmartKernel with multilanguage support for languages such as C/C++, Ada83 and embedded Java, with support in multilanguage configurations with multilanguage debugging within and across the partitions.

The SmartKernel core contains the Enabler, an OS-enabling layer that provides only the primitive features necessary to implement a language-specific operating system or full general-purpose OS. Because of its small size, the SmartKernel core is easily certified to both safety and security standards, according to the company.

Pricing for SmartKernel - Ada95/Embedded starts at $15,000 and includes an integrated development environment and Ada 95 cross compiler, code generator, source-level target debugger, Ethernet and serial download and debug facilities, and AdaCover coverage analysis tool. These products are available immediately on Windows cross PowerPC platforms.

- Embedded.com