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
AutoFOCUS 3
Model-based development of embedded systems
Model-based development of complex systems through powerful methods for analysis, optimisation and verification.
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.
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.
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.
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.
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.
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.