Software solutions for research, industry, and administration
fortiss provides open-source software solutions that were developed as part of research projects and are based on solid scientific findings. The source code is freely accessible under various license models, can be used, copied, and modified, and offers a valuable foundation for testing innovative approaches in areas such as mobility, energy, health, production, and public administration.
These open-source offerings make it easier to access current research results and are available to both the developer and research community as well as software teams in industry*.
Reference tools
APOLLO
Behavior planning of autonomous vehicles
Developing, testing, and validating innovative behavioral planning methods for autonomous driving under real-world road conditions.
AutoFOCUS 3
Model-based development of embedded systems
Model-based development of complex systems through powerful methods for analysis, optimisation and verification.
BARK
Behaviour modelling and development of autonomous vehicles
Development, simulation, and evaluation of behavioral models to make autonomous systems safer, more transparent, and more capable.
CODECO
Efficient management of distributed edge-cloud infrastructures
Intelligent orchestration of data, network, and computing resources to enhance the efficiency, resilience, and performance of modern applications.
DECENT
Decentralized energy market for smart neigbourhoods
Development of smart energy markets to realistically simulate the transparent and automated trading of electricity and heat among decentralized participants.
DetNetWiFi Network Simulator
Simulation framework for deterministic wireless/wired networks
Accelerated development of reliable real-time communication networks through realistic simulation of modern TSN and Wi-Fi 6 infrastructures.
Digitale Rohstoffbörse
Online exchange for sustainable raw and waste materials
Efficient matching of supply and demand for raw materials, by-products, and waste materials to ensure transparent, market-driven pricing.
Evidential Toolbus 2
Continuous assurance case creation
Securing safety-critical systems through the automated generation, tracking, and management of safety evidence throughout the entire development process.
Fasten
Specification, verification, and assurance of critical systems
Model-based development of safety-critical systems, automated verification and end-to-end traceability for more efficient development and safety processes.
Neural Network Dependability Kit
Support safety engineering of neural networks
Systematic validation of neural networks to ensure the reliable use of AI in safety-critical applications.
Neurorobotics Platform
3D simulator for neural network controlled robots
Development of intelligent robotic systems through the simulation of virtual 3D robots and neural networks in a shared environment.
OpenGuard
Safe and secure interaction with Large Language Models
Greater security and trust when using large language models through the automatic detection of hallucinations and the enforcement of individual policies.
open-MaStR
Accessing and processing the Marktstammdatenregister
Simplified access to energy data from the market master data registry and support for research and industry in the efficient analysis and use of plant and infrastructure data.
OpenSBT
Search-based testing of automated driving systems
Efficient and scalable validation of complex autonomous systems through the seamless integration of simulations, search algorithms, and analysis tools.
Robotics Library
Robotic kinematics, motion planning and control in robotics
Accelerated development of robotic systems through platform-independent, modular algorithms for kinematics, planning, and control.
SESSIM
Smart Energy Systems Simulation Framework
Combining simulation and real-world system integration for the efficient development and optimization of interconnected energy systems.
Smart Factory Information Tool
Making variability manageable in production
Mastery of complex variant production for rapid, model-based verification of manufacturability in flexible smart factories.
toki
Prototyping and evaluation of operating system concepts in real-time environments
Development and evaluation of real-time operating systems at a practical level for rapid, industry-ready prototyping of embedded systems.
TSMatch
Machine learning-based semantic matchmaking of IoT data sources and services
Automatic connection of IoT data sources and services through Machine Learning-based semantic matchmaking for faster integration of distributed IoT systems.
Services & insights
Services
Your innovation starts with fortiss
We support businesses and government agencies in developing innovative products, processes, and services in software & systems engineering, AI engineering, and IoT engineering — from concept to implementation.
Focus topics
Digital engineering for numerous domains
fortiss develops practical software solutions for various sectors. By combining research and practical experience, we help companies advance their digital transformation, improve efficiency, and implement sustainable systems.
News
News from the institute
Learn more about our institute’s current projects, collaborations, and research findings.