Ctrl K

All projects

1Filter
Keywords
19
Research domains
12
Participating organisations
9
1-5 of 5
Logo for RTLola
Physical Sciences and Engineering

RTLola

RTLola is a real-time monitoring toolkit for cyber-physical systems and networks

  • Formal Methods
  • monitoring
  • Runtime Verification
395
17
Logo for Tango Controls
Physical Sciences and Engineering

Tango Controls

Tango is an Open Source solution for SCADA (Supervisory Control and Data Acquisition) and DCS (Distributed Control Systems ).

  • Community software infrastructure groups
  • Component-Based Software Engineering
  • Digital Infrastructure
  • + 4
Oct 1999 - N/A
2
2
Logo for FWKT Data Management Hub¶
Physical Sciences and Engineering

FWKT Data Management Hub¶

Instruments and trigger devices publish immutable source events; LabFrog owns campaign and shot context; DAMNIT-web-hzdr matches them once and publishes one canonical per-campaign view: a NeXus/HDF5 file plus a source catalog for the web UI.

  • FAIR
  • FAIR Data
  • Information
  • + 1
Mar 2023 - Dec 2028
0
6
Logo for HiRSE
Physical Sciences and Engineering

HiRSE

Joint Lab Helmholtz Information - Research Software Engineering

  • Community software infrastructure groups
  • Helmholtz Information
  • Research Software Engineering
Jan 2022 - Dec 2027
0
0
Logo for Core Informatics
Physical Sciences and Engineering

Core Informatics

The future Helmholtz Topic "Core Informatics for Multidomain Impact" in the Research Field "Information".

  • Component-Based Software Engineering
  • Data Science
  • Formal Methods
  • + 6
Jan 2023 - Dec 2030
0
0