Brno University of Technology (BUT) is the largest technical/engineering university in CZ and one of the leading teaching and research universities in central Europe. Its programmes cover not only IT and economics but also fields of engineering, natural science, arts, with a strong interdisciplinary emphasis and close connection with the industrial sector. BUT has many years of experience in providing services to companies of all sizes, incl. services for SMEs and technology transfer. With its state-of-the-art research facilities and academic excellence BUT has a distinguished reputation among students and professionals, at least within the widening country. The Faculty of Information Technology (FIT) focuses on teaching and research a broad spectrum of ICT-related technologies with emphasis on both HW and SW aspects for wide spectra of applications, including SW engineering, verification and testing, digital design, HW-SW codesign, cyber-physical systems, cybersecurity e.g., in networks and distributed systems, machine learning etc. The Automated analysis and verification research group, will contribute with its expertise in fundamental technologies, in particular logic and automata handling, formal analysis and verification (static analysis, abstract interpretation, model checking), dynamic analysis (i.e., analysis at run-time), and synthesi. The Faculty of Business and Management (FBM) will contribute particularly with its expertise in economic implications.

Technical University of Vienna (TUW) is the Austria's largest research and educational institution in the field of technology and natural sciences. More than 4,000 scientists are researching "technology for people" in five main research areas at eight faculties. TUW is among regional leaders in ethics and inclusiveness as well as funding acquisition, transfer of knowledge and technologies and engagement of the general public. TUW excels in curricula development of emerging technologies, demonstrated by the LogiCS@TUWien, a novel interdisciplinary EC H2020 MSCA COFUND doctoral training programme for international high-potential early-stage researchers. TUW will bring two core research groups in VASSAL: Trustworthy Cyber-Physical Systems group and Formal Methods in Systems Engineering research unit (FORSYTE). The scientific excellence for VASSAL is ensured by engagement of leading scientists in the respective research areas. The engagement of ethics experts will ensure the highest standards for ethics and inclusiveness, including research integrity.

CEA, the French agency for Atomic and Alternative Energies, is in the world's top 100 innovation players (top 50 in Europe) for 11 years in a row and France's leading patent-applying research organization. It is part of Université Paris-Saclay, the first European university in the international Shanghai ranking (World rank 2023: 16). The CEA's List institute is home to around 1,000 scientists, engineers, and technicians working on technological research in numerical systems with a strong focus towards technological transfer to European companies. Its application areas include energy, transportation (avionics, railway, autonomous cars), healthcare, manufacturing, and defence. CEA List will bring two laboratories in VASSAL: the Autonomous Embedded System Lab (LSEA) and the Software Safety and Security Lab (LSL). Among others, LSEA develops Papyrus, a leading open-source model-based system engineering platform, while LSL develops Frama-C, a leading open-source platform for source code analysis by means of formal methods. Papyrus implements the world-wide adopted OMG modelling standards (UML, SysML and BPMN). It is deployed in critical infrastructure, robotics, manufacturing, automotive, and used by various companies, OEMs and operators such as SNCF Réseau and Stellantis. Frama-C is currently used by key European players such as Airbus (avionics), EDF (energy), and Thales (smart cards). It is also used in the French defence industry and is recommended by ANSSI (the French Agency for Security of Information Systems) for certifying security-critical software at the highest common criteria levels (EAL5-7). Both labs contribute to numerous European projects, being technical leaders in several of them (H2020: Sparta, Ensuresec, Decoder, Vessedia).

Honeywell (HON) is a global Fortune 100 SW-industrial company with technologies that help everything from aircraft, cars, homes and buildings, manufacturing plants, supply chains, and workers become more connected to make our world smarter, safer, and more sustainable. Honeywell International s.r.o. in the Czech Republic operates as a separate legal entity within the Honeywell corporate structure. Honeywell will be represented in the project by its Aerospace division located in Brno, Czech Republic. Honeywell’s engineers and scientists work on strategic projects covering a broad spectrum of Honeywell Aerospace portfolio technologies for manned and unmanned aircraft. Namely HW and SW development and evaluation of flight and engine control systems, flight management systems, vehicle and structural health monitoring, navigation, sense and avoid technology, surveillance, and enabling technologies in the area of more electric aircraft, fly-by-wire, dependable computing platforms, multi-core processing, communication networks, and development and verification tools.