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).

Penn State University (PSU) consistently ranks among the top one percent of the world’s universities and in the Top 30 as a U.S. research institution. PSU is one of the world’s premier academic research institutions and is 1 of 146 universities classified by the Carnegie Foundation as an “R1: Doctoral University” indicating very high research activity and in accordance with the Carnegie Classification of Institutions of Higher Education. With 100,000 students and 17,000 faculty and staff across twenty-four campuses, PSU is on average engaged in 500 industry projects across a wide variety of industry sectors each year. PSU has annual research expenditures totalling more than $1.034 billion in 2022, and is ranked in the Top 30 as a U.S. research institution, and is only 1 of 3 institutions in the nation accord “Land Grant,” “Sea Grant,” “Sun Grant,” and “Space Grant” status (Penn State Research, n.d.).. PSU leads entrepreneurship and economic development programs, and support to start-ups, where accelerator programs knowledge is exhaustive (entrepreneurs assisted: 7,021; faculty and students engaged: 20,366; ventures received legal and IP advice: 5,534; start-up program graduates: 819; completed product development projects: 371), as well as technology transfer (2015-2021: patents issued: 344; licenses & options: 125; start-up licenses & options: 38). The scientific excellence for VASSAL is ensured by the engagement of Penn State Schuylkill that brings the interdisciplinary group from the College of Cybersecurity Analytics and Operations focusing on the analytics and risk management, statistics and data science, business, and cybersecurity.

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.