Software & Systems Engineering

Modeling and implementation of large and complex software systems

Innovative engineering of software-intensive systems

In numerous industries, companies face the challenge of developing complex technical and socio-technical systems. This requires a careful approach to ensure rapid market acceptance and long-term profitability. The trend toward autonomous, interactive, and dynamically networked products – driven by software innovations – underscores the need for innovative, precise methods in the field of software and systems engineering.

Modern software-intensive systems and services are characterized by a steadily growing number of software-defined functions, made possible by the availability of computing power, bandwidth, data, and services. Developers face the challenge of balancing conflicting design constraints and goals arising from both user-centered requirements and non-negotiable regulations and standards. At the same time, the demand for non-functional properties such as security, robustness, availability, protection, privacy, and maintainability is increasing. The boundaries between individual systems and application domains are becoming increasingly blurred, particularly in systems-of-systems, while software is being integrated ever more deeply into complex cyber-physical systems. Added to this is a high degree of automation and autonomy, with AI-intensive software playing an increasingly significant role.

Interdisciplinary approach to future-proof software

The fortiss research focus area Software & Systems Engineering centers on an interdisciplinary approach: Expertise from various fields of competences is pooled to develop innovative methods for engineering software-intensive systems. The goal is to manage the increasing complexity of these systems and to enable continuous, seamless development and quality assurance across organizational, disciplinary, and cross-system boundaries. 

Field of competence

Requirements Engineering

The focus is on practical approaches to efficiently addressing multifunctional requirements—particularly in early-stage, volatile, user-centered, and highly regulated environments, as well as in data-driven development phases.
Field of competence

Model-based Systems Engineering

Innovative methods based on semantic system models reduce development costs and time-to-market for cyber-physical systems. Open-source tools support automated design decisions and validate architectures using formal methods and simulation.
Field of competence

Automated Software Testing

Test automation tools and practices make test engineering more effective—for traditional software, AI-based applications, and complex cyber-physical systems.

Use Cases

Use case

Systematic requirements elicitation with artifact model blueprints

fortiss develops methodological approaches for the structured capture and documentation of requirements. Artifact model blueprints help identify dependencies and enable the efficient development of complex systems.

Use case

Automated requirements extraction and compliance verification

fortiss researches semi-automated methods for requirements extraction, allowing companies to efficiently analyze and demonstrate compliance requirements—particularly in highly regulated industries such as finance and insurance.

Use case

Analysis and management of model quality and consistency

Automated analysis and optimization of model structures enhance quality and consistency in software and systems development. Errors are detected early, and development processes become more efficient.

Use case

Optimization of software and hardware architectures for cyber-physical systems

AI-supported algorithms optimize architectural decisions in modern systems. This enables the efficient implementation of design constraints and objectives, improves quality, and accelerates development processes.

Use case

Machine learning-based test case generation for complex systems

Machine learning and search-based methods automate test case generation, reduce testing effort, and enable early fault detection—especially in safety-critical domains such as the automotive industry.

Reference projects

Case study IDEA

Integrated development environment for the aerospace industry

Model-based systems engineering (MBSE) methods and modular toolkits to optimise development and certification processes, thereby ensuring the highest safety standards.
TeFoSa

Efficient verification of safety mechanisms through test automation

In the light of the increasing complexity of automotive architectures, manually generated hardware-in-the-loop (HiL) tests are increasingly unable to identify…
Success story AutoFOCUS 3

Optimizing the vehicle architectures of tomorrow

Optimizing the vehicle architectures of tomorrow
Apollo

Model-based development of safe and cyber-resilient autonomous driving systems

The project develops automated methods and computer-aided support for safety and security engineers to enable safe-by-construction synthesis of autonomous…
ACSC

Efficient and automated security compliance for agile software development

The project ACSC (Automated Continuous Security Compliance) operates in the stress field between continuous software development and the compliance of software…
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.
RegComp

Tool-supported Regulatory Compliance in Requirements Engineering

To meet public standards, software systems must often comply with regulations, policies, mandates, and guidelines. A first step towards this compliance is to…
Software4KMU

Software development toolkit for SMEs for structured, efficient and practical projects

The future viability and competitiveness of companies will be increasingly influenced by their ability to create digital value. As part of the…
Case study ArMiCo

Managing complex software ecosystems in industrial automation

Managing the growing complexity of IT and OT systems through an “Architecture-as-Code” approach that enables comprehensive control of the entire system landscape.
Evidential Tool Bus

A framework for continuous and accountable software certification

The complexity of embedded software and increasing demands on safety has already outpaced the capabilities of current verification and certification methods.…
Case study Certibus

Continuous security assurance for secure cyber-physical systems

Continious safety verification and certification processes for complex systems such as autonomous UAVs.
Case study UCON

Reliable usage control for secure policy enforcement in cloud, edge and IoT environments

Formal methods, monitoring and automated analyses for the continuous enforcement and verification of access policies in dynamic environments.

At a glance

By activating this video, you consent to transmitting data to YouTube.

Services & insights

Projects

Research with impact

Our research projects bridge the gap between research and industry to deliver innovative software solutions and sustainable digital transformation.
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.

Whitepaper

Requirements Engineering

A Critical Determinant of Project Success

Requirements Engineering as a key to success – this white paper discusses agile methods and compliance, and introduces a practical benchmarking tool.
Security Engineering

for ISO 21434

A detailed overview of ISO 21434 in the automotive sector outlines an approach to automating risk analysis and safety verification processes.
Vorgehen und Lessons Learnt

A practical introduction to MBSE

This guide highlights the benefits and challenges of model-based systems engineering for complex cyber-physical systems and provides a concise introduction.
Advanced Systems Engineering

The systems of the future

The focus is on the requirements for current and future technical systems, as well as the characteristics of advanced systems engineering and model-based systems engineering.
click to return to top of page