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…

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…

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.…

Aviation Electronics Europe Banner

SYSGO presenting ARINC 653 @ Avionics Expo

Avionics Expo is the leading event for aviation professionals. More than 50 exhibitors from 40 countries will present their products and solutions in Munich (March 12 – 13). This year you can meet SYSGO at booth A36. Come by and get an impression of the performance of PikeOS: we will demonstrate an ARINC 653 system…

Cyber security as a design objective

  Increasing digitalisation presents the armed forces with a whole host of new challenges. Digitalised vehicles and weapon systems are potentially vulnerable to cyber attacks ‒ and not just when they are connected to the Internet. As demonstrated by the Stuxnet computer worm in the attacks on the Iranian nuclear programme, even systems and networks…

Security Certification of IoT Devices with a Component-based Software Design

Different security standards exist for different types of IoT applications. Whether you want to meet the Common Criteria for Information Technology Security (ISO 15408), IEC 62443 for Industrial Control Systems, EDSA (Embedded Device Security Analysis) or J3061 in the automotive sector: In a recently published article, SYSGO’s Director R&T Dr. Sergey Tverdyshev shows you how…

Bild: gemeinfrei / CC0

Mit komponentenbasiertem Software-Design zur Security-Zertifizierung für IoT-Geräte

Für unterschiedliche Arten von IoT-Anwendungen existieren auch unterschiedliche Sicherheitsstandards. Ob Sie nun die Common Criteria for Information Technology Security (ISO 15408), die IEC 62443 für Industrial Control Systems, EDSA (Embedded Device Security Analysis) oder J3061 im Automobilbereich erfüllen wollen: In dem kürzlich auf “embedded-software-engineer” veröffentlichten Artikel zeigt Ihnen SYSGOs Director R&T Dr. Inf. Sergey Tverdyshev,…