Partners 

AbsInt Angewandte Informatik GmbH (ABSINT)

ABSINT is an SME focused on the development of program analysis tools for the verfication, validation, and certfication of safety-critical software. ABSINT’s product range includes tools for timing analysis, stack usage analysis, run-time-error detection, and formally verified optimizing compilation. Most tools are based on an abstract interpretation approach. The timing and stack analysers operate on executables for various processor architectures including modern micro-controllers with caches and complex pipelines. The timing analyzer aiT determines safe and precise upper bounds for the worst-case execution times of tasks in real-time systems. The Astrée tool finds run-time errors in single-threaded and multi-threaded C pro-grams or proves their absence. Customers include large companies with safety-critical applications mainly from automotive and avionics industries. Within Teamplay AbsInt will focus on worst-case timing analysis and estimating worst-case energy consumptions on micro controllers for critical programs.
www.absint.com

Inria

Inria, the French National Institute for computer science and applied mathematics, promotes “scientific excellence for technology transfer and society”. Graduates from the world’s top universities, Inria's 2,600 employees rise to the challenges of digital sciences. Research at Inria is organised in “project teams” which bring together researchers with complementary skills to focus on specific scientific projects. With this open, agile model, Inria is able to explore original approaches with its partners in industry and academia and provide an efficient response to the multidisciplinary and application challenges of the digital transformation. The source of many innovations that add value and create jobs, Inria transfers expertise and research results to companies (startups, SMEs and major groups) in fields as diverse as healthcare, transport, energy, communications, security and privacy protection, smart cities and the factory of the future.
www.inria.fr/

Irida Labs SA (IRIDA)

Irida Labs develops software for embedded computer vision in two main application domains: Computational Imaging and Visual Perception. The company specializes on software implementation designed to fit on specs such as computing speed and power consumption. Its software solutions are based on state-of-the-art imaging and artificial intelligence algorithms, and it is especially designed to exploit every available computational recourse in the context of what is called heterogeneous computing: Every algorithm is optimally partitioned among every available computing resource.
www.iridalabs.gr/ 

SDU - University of Southern Denmark

SDU UAS (Unmanned Arial Systems) Center at University of Southern Denmark brings together experts in robotics, computer vision, physics, software engineering, cyber-physical systems, industrial design and mechanical engineering. We focus on research, education, innovation and collaboration the UAS domain. The center provides engineering solutions to practical problems including precision agriculture, infrastructure inspections, UAS regulatory development, e-commerce delivery, search and rescue and humanitarian relief/disaster assistance. SDU UAS Test Center facilities in HCA Airport offers advanced labs and equipment to academics and private companies for developing and testing UAS technologies.
www.sdu.dk/uas

Sky-Watch

Sky-Watch is a Danish developer and manufacturer of Unmanned Aerial Vehicles. It has since 2009 developed, manufactured and implemented high-tech solutions for real-time decision making in complex environments worldwide. Sky-Watch’s R&D competencies encompasses unmanned systems, advanced embedded control software, integrated industrial design and intuitive user interfaces. Our ability to create autonomous systems that can operate in very difficult environments differentiate Sky-Watch from other players in the market.
http://sky-watch.com/

Thales Alenia Space

Thales Alenia Space is well represented in Spain and is the country’s leading space company in export markets, with 30 years of experience in the design, development and sale of advanced space systems and equipment. It has contributed to more than 500 satellites, space probes and vehicles used in telecommunications, Earth observation, science, exploration, navigation and orbital infrastructure missions. Thales Alenia Space in Spain offers a wide range of solutions spanning the design and integration of payloads and subsystems for telecommunications, data transmission and TT&C (tracking, telemetry and command), optical observation instruments, radiofrequency equipment, data processing and digital electronics, and network management systems for the ground segment.
www.thalesgroup.com/en/global/activities/space

Hamburg University of Technology (TUHH)

Research at the Institute of Embedded Systems at TUHH focuses on embedded system design, computer engineering, and their formal underpinnings. The institute is internationally well recognized for its work on safety-critical real-time systems and optimizing compilers for embedded systems. TUHH develops and maintains the compiler WCC which is the first and only compiler with a built-in timing model for multi-task and multi-core real-time systems. Other research activities comprise static analysis, multi-criterial optimization, energy modelling and benchmarking.
www.tuhh.de/es/home.html

University of Bristol

University of Amsterdam

The System and Networking Engineering (SNE) lab at the University of Amsterdam conducts leading-edge research on computer systems of all scales, ranging from global-scale systems and networks to embedded devices. Our particular interest is on extra-functional properties of systems, such as performance, programmability, productivity, security, sustainability and also societal impact. Our approach to research is engineering-oriented and regularly involves design and implementation of prototypical tools to emonstrate and promote our research results. The SNElab participates in a large number of collaborative research projects, both national and European.
www.uva.nl/
http://sne.science.uva.nl/

University of St Andrews (USTAN)

The University of St Andrews is the third-oldest in the English-speaking world (founded 1413). The School of Computer Science was likewise one of the earliest Computer Science departments in the world (founded 1972). It has established an excellent reputation for its pioneering research in e.g., parallel computing, software engineering, programming language design, software architectures, theoretical computer science and distributed/mobile systems. This research expertise has been recognised through the award of numerous research grants and awards from the UK and the European Commission.
www-fp.cs.st-andrews.ac.uk/

Secure-IC

Secure-IC* develops secure embedded systems for a wide array of market verticals, such as identity, banking, connected and autonomous vehicules, smart-cities, and governmental applications. Secure-IC is the Security Science Company. It is a spin-off from Telecom ParisTech University, one of the most advanced institutes in embedded security research.
The mission of Secure-IC is to partner with our Clients throughout and beyond the IC design process to provide best-of-breed security expertise, solutions, and technologies, for embedded systems and connected objects.

*Secure-IC was a partner of the project from January 1st 2018 until their participation was terminated on October 13th 2020.
www.secure-ic.com/