HENSOLDT Cyber succeeds in the formal verification of a first component of the TRENTOS operating system

Dr Jaap Boender, Formal Verification Engineer at HENSOLDT Cyber, succeeds in the formal verification of a first component of the TRENTOS® operating system, the keystore, and thereby sets a benchmark.

The keystore was formally verified as the first component of the HENSOLDT cyber operating system TRENTOS®. Photo: HENSOLDT Cyber GmbH

Taufkirchen/Germany, March 18th 2021 – HENSOLDT Cyber makes a unique breakthrough in a little-known yet very important area of formal verification. Formal verification is the process of proving the correctness of a system with respect to a particular formal specification or property using formal methods of mathematics.

Dr Jaap Boender, Formal Verification Engineer at HENSOLDT Cyber, has, after a good year and a half of demanding work, managed to formally verify a first component of the new high-security operating system TRENTOS® (Trusted Entity Operating System).

This achievement now paves the way for the future formal verification of other larger and more complex components. Dr Jaap Boender, with the support of his colleague Goran Badevic and scientific advice from HENSOLDT Cyber Chief Scientist Prof. Dr Gernot Heiser, will now tackle further components.

“Formal verification on an industrial scale is still a relatively under-researched area and therefore it is special that HENSOLDT Cyber is researching in it. The seL4 microkernel on which our TRENTOS operating system is based has already been formally verified, and in the future it is conceivable to increasingly automate formal verification and thus verify more complex systems. The first project, however, is our keystore,” explains Dr Boender.

Further information at https://hensoldt-cyber.com/2021/03/16/formal-verification-keystore/

About HENSOLDT Cyber

Founded in 2018, HENSOLDT Cyber GmbH is a German Corporate Start-up company based in Taufkirchen near Munich that develops embedded information technology products meeting the highest security requirements. These integrate a highly secure operating system with security hardened hardware, thus creating a secure IT instead of IT security for the global IT market. The company combines more than 50 years of experience in defence and security electronics of the HENSOLDT Group with academic world-class expertise in hardware and software development. HENSOLDT Cyber currently employs over 50 people at various locations.

Further information about the company can be found at www.hensoldt-cyber.com

Press contact

Simone Rudow
Tel.: +49 (0) 174 218 8102

Change your language

More News

HENSOLDT modernizes COBRA artillery location radars

Taufkirchen/Germany, 14 June 2021 – Sensor specialist HENSOLDT will modernize the test equipment of the artillery location radar COBRA which is in…

HENSOLDT UK supplies Kelvin Hughes SharpEye radar to the South African Navy

Enfield, UK, 2nd June 2021 – HENSOLDT UK is pleased to announce the supply of radar sensor suites consisting of Kelvin Hughes Mk11 S and X Band…

ESG Topic of the Month: Human Rights & Anti-Discrimination

Fostering a culture free of discrimination