Real-time OS and Hypervisor

RTOS

SCIOPTA Real-time OS and certified Safety Kernel (IEC 61508 - EN50128 - ISO 26262)

Built from the ground-up of Safety

The SCIOPTA architecture is specifically designed to provide excellent real-time performance (RTOS) and small size and well suited to be used in safety critical applications.

The preemptive multi-tasking real-time kernel is designed on a message based architecture allowing direct message passing between processes with centralized errors handled by hooks.

Messages and processes can be grouped into modules protected by MMU which can be static or fully dynamic. Messages are stored and maintained by a manager in memory pools to avoid memory fragmentation and enhance performance.

Processes can be transparently distributed in a multi-CPU system using connectors.

SCIOPTA supervision (observations), transparent communication and the module concept allow you to build fault tolerant distributed systems.

Kernel can observe data transfer between processes by testing checksums over message data areas.

SCIOPTA support most of the microcontrollers and processors family of the silicon vendors (16/32/64 bits) and is available with a standard or Safety certified version.

contact Contact

Certified by:

EN 50128

IEC 61508 SIL 3
ISO 26262 ASIL-D

Benefits of SCIOPTA RTOS

Tiny with small footprint memory and excellent real-time performance.
Simplified programming interface (API) with safety method.
Support most of the common commercial compilers and debug tools.
Available in standard or safety certified version with certified BSP and drivers.
Most of the micro-controlers and micro-processors supported.
Local dedicated engineering support with assistance to the certification process.
Low cost solution with no royalty.

Standard documentation

Safety kernel documentation

Hypervisor

Hypervisor Protektor

Protektor is protecting the safety environment against the guest environment.

SCIOPTA Protektor is a specific native bare-metal Hypervisor where SCIOPTA runs in the "Secure World" and controls and manages a guest which runs in the "Normal World". Bare-metal hypervisors are the most commonly deployed hypervisor, installed directly onto the computing hardware.

Protektor is an hypervisor in the SCIOPTA Kernel and provides a perfect separation between the host and the guest by using today TrustZone technology where a safety certified SCIOPTA is running in the host and an unsafe Linux System running in the guest.

SCIOPTA Protektor ensures a separation between the secure SCIOPTA system and the guest system as if the systems would be fully independent.

The control of the overall system remains entirely with SCIOPTA and any failure in the guest system has no effect on the stability of the SCIOPTA system in the secure world and a crashed guest system could be restarted by the secure SCIOPTA system.

Communication between host and guest uses message passing with connector on the host side.

Protektor supports most of the Cortex-A with trust zone technology processors with TrustZone technology and is available in a standard version and is certifiable to a safety integrity level version.

Benefits of Protektor

Support most of Cortex-A with trust zone technology processors
Simplified programming interface between SCIOPTA and Linux.
Available in standard or is certifiable to a SIL version.
Local dedicated engineering support with assistance to the certification process.
Low cost solution with no royalty.

Tools

Embedded Workbench

Complete C/C++ compiler and debugger toolchain to design safe software for SCIOPTA.

IAR Embedded Workbench is a complete C/C++ compiler and debugger toolchain with support for all 32-bit Arm cores from all major processor vendors.

Using IAR Embedded Workbench for Arm, developers can leverage the toolchain’s advanced code optimization techniques and debugging functionality to make sure the application is fast, efficient and highly compact. In addition, integrated static and runtime code analysis tools enable developers to ensure the quality of their code.

IAR Systems provides certified editions of IAR Embedded Workbench, which are certified by TÜV SÜD according to the requirements of IEC 61508, ISO 26262, IEC 62304, EN 50128 and EN 50657

Having IAR Embedded Workbench proposed with SCIOPTA products deliver a reliable and safety software solution and help companies to develop their embedded systems with higher quality of code and guarantee a safety approach to design safe software with safe RTOS SCIOPTA products. IAR Embedded Workbench are also available in standard editions when safety certification is not required.

Benefits of Embedded Worbench

Support all ARM technology.
Outstanding optimization technology, ISO/ANSI C/C++ compliance with support for C11 and C++14.
Available in standard or in certified version.
Includes C-STAT for static code analysis and C-RUN for runtime analysis.
Debugging and trace probes available.