The IML4E project has therefore brought together companies from the main sectors of the European software industry to develop a European framework for the development, operation and maintenance of AI-based software to ensure the development of intelligent services and intelligent software on an industrial scale.

The KI-LOK project, therefore, aims to develop new test procedures and methods for safeguarding and certifying AI-supported technologies for safety-critical applications in railroad technology.

KYKLOS 4.0 aims to develop an innovative Circular Manufacturing ecosystem based on novel CPS (Circular Production System) and AI (Artificial Intelligence) technologies, enhanced with novel production mechanisms and algorithms, targeting personalized products with extended life cycle and promoting energy efficient and low material consumption intra-factory production processes, resulting in reduced greenhouse gas emissions and air pollutants.

The IOTAC project aims to develop a novel, secure, and privacy-friendly IoT architecture that will facilitate secure IoT applications' development and operation.

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.