Although solutions of Artificial Intelligence (AI) have gained importance in many economic sectors, they cannot be used in aviation, as they cannot be certified yet. The KIEZ 4.0 project will examine and formulate the technical, the ethical and legal requirements and implications for the use of artificial intelligence in aviation and lay the groundwork for certification approaches. 

The IntelliSecTest project will combine the commonly used techniques of static analysis and dynamic analysis in order to allow for more comprehensive testing. The Fraunhofer joint project will therefore contribute to making security testing more accessible, while at the same time achieving better test results.

The project »Attack-based automation of security testing for IoT applications« will thus develop end-to-end automation of security testing using genetic algorithms, fuzzing, and data analysis techniques for attack detection, to support the development of effective patches against security vulnerabilities.

Within the XIVT project, a method and toolchain will be defined for testing highly configurable, variant-rich embedded systems. This will enable a highly effective, cost-efficient quality assurance, allowing the shift to autonomous, flexible and adaptive applications. The method is founded on a knowledge-based analysis of requirements. It is expected that XIVT methods will result in higher test coverage, more flexible processes of higher quality and better products.

The FORTIKA project contributes to reducing the overall risk of cyber-crime against SMEs. They shall be able to react appropriately to attacks and incidents without having to invest a lot of resources themselves to secure their systems against external attacks. FORTIKA therefore follows a security by design hybrid approach, which provides protection based on hardware and software at the same time.

Within the CrESt project, a scientifically founded and simultaneously field-proven methodological framework for the development of highly automated collborative embedded systems is to be created. The main object of the project, which is funded by the German Feder Ministry of Education and Research (BMBF), is to enable networks of embedded systems to independent and intelligent collaboration.

The project “European Security Certification Framework” (EU-SEC) will aim to create a European framework for certification schemes and evaluation concepts to secure cloud infrastructures. EU-SEC will improve the business value as well as the effectiveness and efficiency of existing cloud security certification schemes.

The Internet of Things (IoT) increases the risk of attacks on the software of systems caused even by simple execution errors. Software verification tools can make a significant contribution to ensuring the security and reliability of digital technologies.

The aim of WindNODE is to establish a model region for intelligent electric energy in Northeastern Germany. The digitization of the increasingly decentralized energy system with the development of ICT services as well as the development of an Open Data portal are main subjects of the project.

Within the scope of the project IoT (Internet of Things), funded by the Federal Ministry of Economic Affairs and Technology, an IoT testware is to be developed. The testing and certification of IoT solutions is to be made cost-effective for manufacturers. The focus is on systematic inspection processes and test methods in order to prove the technologies demonstrably and to improve the quality of IoT solutions.

Within the EMYNOS project, a next-generation emergency communication platform ist to be designed and implemented. The project aims to coordinating communication among citizens, call centers and first responders.

Up to one hundred computers in a car ensure a safe drivability. Automotive manufacturers and suppliers work together in the development of such software systems. The BMW Group's Symphony Project integrates development data from various data sources at BMW into one data model and tests the consistency to ensure the eventual compatibility and necessary software quality of the individual components.