CAIXA MAGICA SOFTWARE SA

Their core work

Caixa Mágica is a Portuguese software company specializing in open-source solutions, Linux-based operating systems, and cloud-native platforms for industrial applications. In H2020, they contributed software engineering expertise to manufacturing digitalization projects — building virtual factory operating systems, cloud-based manufacturing networks, and connected factory platforms. Their more recent work extends into formal software verification methods, including static and dynamic analysis of component-based systems, bridging industrial software development with academic rigor in software correctness.

What they specialise in

How they've shifted over time

Their early H2020 work (2015–2017) focused squarely on industrial digitalization — cloud manufacturing networks and virtual factory operating systems. From 2018 onward, a notable shift appeared: alongside continued factory platform work (EFPF), they joined BEHAPI, a research-oriented project on formal software analysis using static/dynamic methods and type systems. This suggests the company is deepening its technical foundations, moving from pure platform integration toward software quality assurance and verification methods.

Moving from building industrial platforms toward ensuring their correctness and reliability through formal analysis methods — potentially positioning for safety-critical or regulated software domains.

How they like to work

Caixa Mágica operates exclusively as a participant, never leading consortia — typical of a specialized SME that brings targeted technical skills rather than project management overhead. With 84 unique partners across just 4 projects, they consistently join large consortia (averaging 20+ partners per project), indicating comfort working in complex multi-stakeholder environments. This makes them a low-friction partner: experienced in large EU collaborations, reliable as a contributor, and unlikely to compete for coordination roles.

Despite only 4 projects, they have built a broad network of 84 unique partners across 20 countries — reflecting participation in large-scale EU manufacturing and digital initiatives. Their network spans most of Western and Southern Europe with strong connections to industrial and academic partners alike.

What sets them apart

Caixa Mágica brings a rare combination: deep open-source and Linux expertise applied directly to manufacturing digitalization challenges. While many IT companies participate in factory platform projects, few combine hands-on OS-level development with emerging competence in formal software verification. For consortium builders, they offer a Portuguese SME that can handle both the practical platform integration and the rigorous software quality assurance increasingly demanded by Industry 4.0 applications.

Highlights from their portfolio

• vf-OS
  Their largest single grant (EUR 707,500), building a virtual factory open operating system — directly aligned with their core OS development expertise.
• BEHAPI
  Marks a strategic pivot into formal software methods (static/dynamic analysis, type systems) under an MSCA-RISE mobility scheme, signaling investment in research capacity.
• EFPF
  Part of a major European Connected Factory Platform initiative for agile manufacturing, representing continuity and maturity in their manufacturing digitalization work.