ITPower Solutions offers services and software solutions in the environment of embedded systems. Specialized in the optimization of development processes and the quality assurance of electronic systems, the company is active in a consulting and operative capacity. ITPower Solutions operates across industries, providing services for manufacturers and suppliers from the automotive industry, medical technology and automation industry among others.

With over 20 years of experience ITPower Solutions providews extensive knowledge in the field of embedded software development and test. Using that knowledge, we have also developed the test tool ContinoProva for automated testing of embedded software in a heterogeneous tool environment.

neurocat GmbH is a company founded in Germany in 2017 and headquartered in Berlin-Adlershof, which specializes in the quality assurance of artificial intelligence (AI) applications. neurocat offers companies consulting services around the secure use of AI methods and develops the cloud platform aidkit, which automatically checks machine learning systems and generates recommendations for action to optimize the applications.

Since the very beginning, the company's objective has been to pave the way to an innovative future and to enable the use of AI in safety-critical application areas as well. To achieve this, neurocat GmbH focuses its work on quantifying the quality parameters robustness, traceability and performance of AI systems, as well as their systematic and sustainable improvement.

Thales (Euronext Paris: HO) is a leading global high-tech company investing in digital and "deep tech" innovations - connectivity, Big Data, artificial intelligence, cybersecurity and quantum technology - to ensure a future we can all trust in and that is vital to the development of our societies. The company provides solutions, services and products that help its customers - companies, organizations and states - in defense, aerospace, transportation and digital identity and security to fulfill their critical missions by putting people at the center of the decision-making process.

With 81,000 employees in 68 countries, Thales generated sales of 17 billion euros in 2020.

With its 500 employees, the Fraunhofer Institute for Open Communication Systems (FOKUS) is one of the central Fraunhofer Institutes in the ICT Group. FOKUS has proven scientific and industrial expertise in the areas of software verification, model-based and risk-based testing, and quality assurance of data-intensive AI applications and autonomous systems. In the KI-LOK project, FOKUS as a scientific transfer partner will combine expertise from the fields of AI and quality assurance and ensure the connectivity of the project results both in terms of their degree of innovation and scientific viability.

The Heinrich Heine University Duesseldorf (HHU) emerged from the Medical Academy established in 1907. Today, around 35,000 students, 340 professors and more than 3,000 employees research, teach and work on the campus. Within the framework of the EU funding lines FP7 and Horizon 2020, HHU is involved in 68 research projects, including 10 ERC Grants and 22 Marie S. Curie projects alone. The Faculty of Mathematics and Natural Sciences is involved in the CEPLAS Cluster of Excellence and hosts several ERC Advanced Grants. The Chair of Software Engineering and Programming Languages has many years of experience with research projects in the field of formal methods and also develops software for automatic testing of safety-critical systems, for example the tool ProB.