VERIFIED SYSTEMS INTERNATIONAL GMBH

Their core work

Verified Systems International is a Bremen-based SME specialising in formal verification and model-based engineering for Cyber-Physical Systems (CPS). Their core offering centres on tool development and tool-chain integration that allows engineers to design, simulate, and validate CPS before deployment — reducing errors in systems where software and physical processes are tightly coupled. In INTO-CPS they contributed to an integrated tool chain for model-based CPS design; in HUBCAP they helped build the collaborative platform ecosystem that connects CPS tool providers with SMEs through Digital Innovation Hubs. Their value to a consortium is deep technical competence in the software-engineering rigour required to make autonomous and embedded systems trustworthy.

What they specialise in

How they've shifted over time

Their early H2020 work (INTO-CPS, 2015–2017) was squarely about building the engineering infrastructure — tool chains and modelling environments — needed to design CPS correctly. No publicly indexed keywords from that period survive in the dataset, which is typical for a research-infrastructure project where the deliverable is the tooling itself. By 2020–2022 (HUBCAP), the vocabulary had shifted outward: "collaboration platform", "Digital Innovation Hubs", and "SMEs" entered the picture alongside the continuing CPS and model-based threads, suggesting the company moved from building internal technical tools toward enabling a broader ecosystem of users to adopt those tools. The clearest trend is from deep technical tooling toward platform-enabled technology transfer — a maturation that often signals readiness to commercialise or consult around a proven methodology.

They are moving from pure tool-chain engineering toward enabling SMEs to adopt CPS methods via platforms and digital innovation networks — a trajectory that points toward consulting, training, and technology-transfer roles in future projects.

How they like to work

Verified Systems always participates as a consortium partner rather than a coordinator, suggesting they join projects to contribute a specific technical component rather than to lead and manage. Their two projects involved consortia of moderate to large size (25 unique partners across both), indicating comfort operating within complex multi-partner structures. This profile — specialist contributor in larger teams — makes them a low-overhead, high-precision addition to a consortium rather than a project management resource.

Across two projects they have worked with 25 distinct partners spanning 11 countries, reflecting genuine European reach even at small scale. No single country dominates, consistent with participation in large pan-European CPS consortia.

What sets them apart

The company name itself — Verified Systems — signals a formal-methods or software-verification heritage that is rare among SMEs: most CPS players focus on hardware integration or systems architecture, while Verified Systems brings the software correctness angle. Located in Bremen, a city with strong aerospace and maritime CPS traditions, they sit at a natural intersection of rigorous software engineering and industrial application. For a consortium needing credible tool-chain or verification expertise without the overhead of a large research institute, they represent a focused and agile option.

Highlights from their portfolio

• INTO-CPS
  The largest project by far (EUR 758,711 EC funding) and a flagship H2020 initiative for model-based CPS design tooling, giving Verified Systems direct exposure to the European CPS tool-chain research community.
• HUBCAP
  Demonstrates a strategic pivot toward platform thinking and SME outreach within the CPS domain, showing the company can operate at the ecosystem level, not just at the technical tool level.