All HIFIS Software Spotlights
The Helmholtz Software Spotlights present outstanding software products that are developed and maintained in Helmholtz research centres. We want to raise awareness for the general importance of research software in academia, and present software that appeals equally to research, citizens, industry and politics.
NEST
NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.
- Computational neuroscience
- exascale
- Modeling
- + 3
- C++
- Python
- CMake
- + 3
ODV
Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.
- Data analysis
- Data Visualization
- Earth & Environment
- + 1
openCARP
openCARP is a multiscale cardiac electrophysiology simulator for in silico experiments ranging from single heart cells and cardiac tissue to organ models up to the body surface ECG.
- computational cardiology
- digital twin
- electrophysiology
- + 3
- C++
- Python
- C
- + 2
OpenGeoSys
OpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.
- Earth & Environment
- geotechnics
- geothermal modeling
- + 5
- C++
- AGS Script
- TypeScript
- + 2
Palladio
Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.
- Component-Based Software Engineering
- Information
- Modeling
- + 3
PIConGPU
PIConGPU is a relativistic Particle-in-Cell code running on graphic processing units as well as regular multi-core processors. It is Open Source und is freely available for download. It can be used to study plasmas with relativistic dynamics, solving the Maxwell-Vlasov system of equations.
- C++
- CPU
- GPU
- + 9
- C++
- Python
- Shell
- + 5
RAFCON
RAFCON uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms.
- Aeronautics, Space and Transport
- collaboration
- robotics
- + 2
- Python
- SCSS
- Shell
- + 1
RCE
RCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.
- Aeronautics, Space and Transport
- collaboration
- Distributed Execution
- + 3
SaQC
A consistent, extensible, easy-to-use tool/framework for reproducible quality control of time series data.
- Data analysis
- Earth & Environment
- Quality control
- + 1
- Python
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 9
TRIDEC Cloud
TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.
- early warning
- Earth & Environment
- GPU
- + 6
- Python
- Vue
- Shell
- + 6