Certification

MILS workshop at ESE Congress 2019

MILS workshop at ESE Congress 2019

A few weeks passed since ESE Congress in Sindelfingen took place. So, it’s time for a retrospect on an interesting part of the congress, which was the 2019 workshop about multiple independent level of security (MILS). Security experts from different companies gave interesting lectures about their scope on MILS: Lively and deep discussions on the …

MILS workshop at ESE Congress 2019 Read More »

SYSGO CAST32-A Multi-Core Aviation

CAST-32A: Multi-Core Ready to Become Airborne

Single-Core processors and controllers have been the de-facto standard for aviation software since the early beginnings when computers were utilized in flight systems. This is primarily due to their simple design and determinism of execution. At first glance, it seems comprehensible that a flight computer that takes control over a critical safety system should be …

CAST-32A: Multi-Core Ready to Become Airborne Read More »

CertMILS in Railway

certMILS eases Security Certification of Railway Systems

In the latest issue of Global Railway Review, Dr. Sergey Tverdyshev (Director of Research & Technology at SYSGO) talks about security certifications of railway systems considering the MILS concept. He is the technical leader of the certMILS project – certMILS aims to protect critical infrastructure against cyber-attacks by compositional security certification to deliver a certified …

certMILS eases Security Certification of Railway Systems Read More »

PikeOS receives important certifications for safety and security-critical applications

SYSGO has been awarded a number of important additional industry-specific safety certifications from TÜV Süd and a Common Criteria security certification from the Federal Office for Information Security (BSI) for its PikeOS real-time operating system. Not only the safety certification but also the renewed security CC-certification by BSI emphasizes SYSGO’s path to provide customers with …

PikeOS receives important certifications for safety and security-critical applications Read More »

Separation kernel as the basis for certifiable applications and systems

Functional security and cybersecurity are among the most important issues in the development of modern vehicles, and the certification of individual systems will become increasingly important in the future. Developers must therefore increasingly work according to the “Safety & Security by Design” principle. Real-time operating systems based on a separation kernel enable new approaches. In …

Separation kernel as the basis for certifiable applications and systems Read More »

Photo: Source Shutterstock

SYSGO presenting ARINC 653 RTOS for multicore certification

Avionics Expo is still the leading event for aviation professionals. From March 12 – 13, more than 50 exhibitors from 40 countries presented their products and solutions in Munich. This year our colleagues Robert Pickles and Peter Spaeth were in Munich and had a lot of good discussions about the performance of PikeOS – not …

SYSGO presenting ARINC 653 RTOS for multicore certification Read More »

Rapita technology supports SYSGO’s PikeOS

Rapita Systems (since April 2016 a Danlaw company) recently published a news mentioning the standardization of SYSGO on the use of RapiCover to automate structural coverage analysis of its real-time operating system PikeOS. SYSGO will be using RapiCover to verify structural coverage testing of upcoming versions of PikeOS, which is DO-178C DAL A certified. Dr. …

Rapita technology supports SYSGO’s PikeOS Read More »

PikeOS Hypervisor certified according to Common Criteria

SYSGO has reached another great milestone with PikeOS. As the first and as of today the only RTOS vendor, we received Common Criteria EAL 3+ certification for the PikeOS Hypervisor. The subject of certification by the Federal Office for Information Security (Bundesamt für Sicherheit in der Informationstechnik – BSI) is the separation kernel in PikeOS, …

PikeOS Hypervisor certified according to Common Criteria Read More »

SYSGO takes part in Thales RISC-V MADRAS initiative

Together with Thales Research and Technology (TRT), SYSGO is now member of the RISC-V consortium at the highest level (platinum). RISC-V is an open instruction specification set for CPU architectures. It is a strong growing foundation for open hardware efforts and commercial products with more than 120 members. At the last summit in December 2018 …

SYSGO takes part in Thales RISC-V MADRAS initiative Read More »