Verisoft XT

Faulty and insecure IT-systems cause an enormous economic damage every year.In this context a provably secure System means an decisive economic advantage.

However, nowadays software vendors still invest around 80 percent of their resources in finding and removing bugs and security issues.The new seal of quality "Verified in Germany" attempts to remedy this situation and is collaboratively developed by partners from industry, IT-Security and science, funded by the German federal ministry of education and science.

The goal of this long-term effort is to develop methods and tools, which provide a proof of a secure and faultless IT-System.

Only then software and IT systems can be employed without hesitation in security critical areas, like medical applications, car electronics and avionics.The proofs are developed with the support of computers, and even more important are machine checkable, to avoid the risk of human error.

The intellectual property developed within the project ensures a durable economic advantage for German industry in the international market. The Sirrix AG participates in the sub project "Avionics", and is responsible for integration and verification of the high-assurance security kernel TURAYA™ SecurityKernel.