Safety Certified Real-Time Kernels

 
Technology

SCIOPTA 61508 is a pre-emptive multi-tasking high performance real-time kernel which includes many built-in safety features.

As a direct message-passing kernel, SCIOPTA is very well suited to be used in safety-critical applications.


 
Safety-Certified Data Transfer

The SCIOPTA kernel can observe data transfer between processes by testing checksums over message data areas. These certified functions ease the workload of the designer of safety software considerably. Leaving this duty to the kernel results in shorter development time and reduced costs.

The SCIOPTA message consists of a header including the process ID of the sender, owner and addressee, a data area of any size and an end-mark which is checked by the kernel.

 

 
No Shared Memory

Shared memory is the standard method for interprocess communication in traditional real-time operating systems. The user is fully responsible to protect shared memory with semaphores and to associate semaphores with data areas and types. 

There is no need for shared memory in a SCIOPTA system. Direct message passing is safer. All data is encapsulated inside messages and the kernel protects message data by controlling ownership.

 

 
Safe Memory Management

Processes can be grouped together into SCIOPTA modules. Each module can have up to 128 pools to hold SCIOPTA messages.

Modules and pools can be located in the same or in different memory segments. With the SCIOPTA Memory Management System (SMMS) and a Memory Management Unit (MMU) full memory protection can be achieved.

 

 
Certified by TÜV

SCIOPTA has been certified by TÜV in Munich to IEC61508/EN50128/9 to be used in system up to SIL3.