SYSGO AG - Real-Time Operating Systems (RTOS), embedded Linux and embedded virtualization - Services & Solutions - Safety & Security Certification for Single- and Multi-Core CPUs - ISO 26262

Datasheet

Datasheet Pike OS 3.2

Featured Technologies

Featured Whitepapers

Customer Successes

Gantner Instruments: See how SYSGO supports Industrial Automation & Medical customers combining hard real-time and Linux

ISO 26262 Certification for Automotive Appliances

Software is more and more used in the automotive industry. Today's cars are equipped with up to 100 ECUs which often have safety-critical functions. The upcoming ISO 26262 standard regulates the use of software in safety-critical environments in automotive applications. A modular software platform can integrate multiple ECUs on a single hardware platform and helps to reduce certification costs.

Automotive Software Certification after ISO 26262

The automotive industry is currently working on an adoption of IEC 61508 for automotive applications, called ISO 26262. The upcoming standard is expected to be released in 2011 and is recommended but not mandatory for safety-critical automotive applications. ISO 26262 defines state-of the-art design processes for software development comparable to DO-178B in the avionics. For safety-critical software components a V-model based development process is recommended. A real-time operating system certified after DO-178B for use in safety-critical avionics applications is an ideal software platform for automotive applications, too.

Micro-kernel based PikeOS Embedded Virtualization

: Safety certification of applications of different levels of criticality: Cost-efficient safety certification of applications with different criticality levels in an ARINC-653 resource partitioned embedded system.

PikeOS has been designed for use in safety-critical applications and has gone through a comprehensive validation according to safety standards like DO-178B, EN 50128, IEC 62304, IEC 61508, ISO 26262, IEC 61513 of either the avionics, automotive, railway, medical, industrial automation or nuclear power plants. Since only the micro-kernel runs in privileged mode, all of its code contributes to the trusted code base of every application that might run on top of it. The effort of certifying a program is roughly proportional to the amount of code to be examined. This comprises the code of the program itself, but also that of the run-time environment (i.e. operating system, libraries etc.) which the program relies on. Therefore, the PikeOS micro-kernel consists of less than 10.000 lines of code making certification less expensive than that of conventional monolithic real-time operating systems. Even better: PikeOS allows the combination of application of different levels of criticality on a single hardware platform where every application can be certified independently from others.

SYSGO Research Projects on Safety for Automotive Software

SYSGO is partner of important research projects on safety in the fields of railway appliances:

INTERESTED: Seamless Tool-Chain for safety-critical Applications
JEOPARD: Real-time Java on Multi-Core CPUs
TECOM: Trusted Embedded Computing
ACROSS: ARTEMIS CROSS-Domain Architecture
PROARTIS: Probabilistically Analysable Real-Time Systems
SCARLETT: SCARLETT is a research project dedicated to the avionics with a sophisticated idea of integrated modular avionics. This model is far ahead of models in other industries and worth a look at.