Modellierung und Implementierung großer und komplexer Softwaresysteme
In zahlreichen Branchen wie der Automobilindustrie oder der Finanztechnologie stehen Unternehmen vor der Herausforderung, komplexe technische und soziotechnische Systeme zu entwickeln. Dies erfordert eine sorgfältige Herangehensweise, um eine schnelle Marktakzeptanz und dauerhafte Rentabilität zu gewährleisten. Die Entwicklung hin zu autonomen, interaktiven und dynamisch vernetzten Produkten, die durch Softwareinnovationen vorangetrieben wird, unterstreicht den Bedarf an innovativen, präzisen Methoden im Bereich des Software & Systems Engineering.
Moderne softwareintensive Systeme und Dienste zeichnen sich durch folgende Merkmale aus:
Das Engineering von softwareintensiven Systemen muss diese Komplexität bewältigen, was neuartige Konzepte zur Unterstützung einer kontinuierlichen, nahtlosen Entwicklung und Qualitätssicherung über multidisziplinäre Grenzen zwischen Organisationen, Teams, Plattformen und Systemen hinweg erfordert.
Die Entwicklung solcher Lösungen fällt in den Bereich des Software & Systems Engineering (SSE) Forschungsschwerpunktes bei fortiss. Hier untersuchen und bewerten wir Modelle, Methoden und Werkzeuge für das kontinuierliche Engineering und die systematische Evolution von softwareintensiven Systemen und Diensten. Zu diesem Zweck führen wir angewandte und evidenzbasierte Forschung mit relevanten Industrien durch, um Probleme der nächsten Generation in der Software- und Systemtechnik zu lösen.
Wenn Sie dieses Video aktivieren, werden Daten automatisiert an YouTube übertragen.
Im fortiss Forschungsschwerpunkt Software & Systems Engineering wird die Expertise aus den Kompetenzfeldern Requirements Engineering, Model-based Systems Engineering, Automated Software Testing und dem Center for Code Excellence nahtlos integriert, um fundierte wissenschaftliche Methoden und innovative Lösungen zu entwickeln.
Effizient mit volatilen und heterogenen Anforderungen umgehen
Unser Fachgebiet konzentriert sich auf die Entwicklung praktischer Ansätze zum effizienten Umgang mit multifunktionalen Anforderungen. Diese treten insbesondere in frühen, volatilen, nutzerzentrierten und stark regulierten Umgebungen sowie in datenbasierten Softwareentwicklungsphasen auf.
► Requirements Engineering
Methoden und Werkzeuge zur Beherrschung der Komplexität von cyber-physischen Systemen
Wir erforschen neuartige Methoden, die auf semantisch reichhaltigen Systemmodellen basieren, um die Entwicklungskosten und die Markteinführungszeit für cyber-physische Systeme zu reduzieren. Mit unseren Open-Source-Tools validieren wir unseren Ansatz zur Automatisierung von Designentscheidungen und zur Absicherung von Architekturen und Modellartefakten. Dies erfolgt auf der Grundlage fortgeschrittener Techniken wie formaler Methoden und Simulation.
Expertise für herausragende Softwarequalität
Im Center for Code Excellence forschen wir an neuen Prozessen, Methoden und Werkzeugen für Softwareentwickler, um sie bei ihrer täglichen Arbeit zu unterstützen und eine hohe Softwarequalität und Wartbarkeit zu gewährleisten. Zu diesem Zweck konzentrieren wir uns auf KI-Methoden zur Unterstützung von Entwicklern und bieten automatisierte Bewertungen für Unternehmen.
Rigorose Validierung und Verifizierung für verlässliche und sichere Softwaresysteme
Wir entwickeln Methoden und Werkzeuge zur Gewährleistung der Sicherheit autonomer cyber-physischer Systeme, die KI-Technologien nutzen, um sich an veränderte Umgebungen anzupassen. Der Schwerpunkt liegt auf der Verifikation und Validierung dieser lernfähigen Systeme, wobei formale Methoden und szenariobasierte Tests kombiniert werden, um die Zuverlässigkeit und Sicherheit in realen Anwendungen wie der Automobil- und Luftfahrtindustrie sicherzustellen.
► Software Dependability
Software Engineering für datenintensive Anwendungen
Wir konzentrieren uns auf die Entwicklung von Testautomatisierungswerkzeugen und -praktiken, um das Test-Engineering anwendbarer und effektiver zu machen, einschließlich traditioneller regelbasierter Software sowie anspruchsvoller datengesteuerter KI-basierter Software bis hin zu komplexen cyber-physischen Systemen.
fortiss bietet Unternehmenspartnern strukturierte Ansätze zur Durchführung von Selbstanalysen mit einfachen, webbasierten Tools, die ihnen helfen, ihre Probleme und Potenziale in verschiedenen Software & Systems Engineering Disziplinen zu analysieren.
Die fortiss Quick Checks gibt es für die Bereiche:
fortiss nutzt innovative Ansätze und Methoden zur Erstellung von Open-Source-Software für zukunftsweisende Lösungen in zahlreichen Anwendungsbereichen:
fortiss bietet eine vielseitige Bandbreite von Informationen, Qualifizierungen, Fördermöglichkeiten, Netzwerken, Demonstratoren, Open-Source-Software und Umsetzungsoptionen für Forschungsprojekte, die auf verschiedene Branchen und die Wissenschaft ausgerichtet sind.
In der Praxis fehlt es KMU oft an erforderlichem Fachwissen für individuelle Software-Lösungen, deren effektive Implementierung und Wartung. Dies führt zu Unsicherheiten und Fehleinschätzungen, was wiederum ein wesentliches Hindernis für Investitionen in die digitale Wertschöpfung darstellt. Um dieser Herausforderung zu begegnen, soll ein leicht zugängliches Angebot zur Vermittlung von Software-Engineering-Wissen in KMU geschaffen werden.
AutoFOCUS 3 (AF3) ist eine bewährte Forschungsplattform, die die neuesten Erkenntnisse von fortiss im Bereich der modellbasierten Entwicklung gezielt umsetzt. AF3 steht als Open-Source-Software zur Verfügung und bietet in der neuen Version 2.24 viele neue Funktionen, die die Möglichkeiten der Plattform noch weiter verbessern.
Das Forschungspartnerkonsortium ist mit dem Aufbau eines bundesweiten Transformations-Hubs zum Thema Digitalisierung mit dem Schwerpunkt Software und Engineering beauftragt. fortiss bringt im Projekt seine langjährige Expertise aus der Automobilindustrie ein und ist durch das Center for Code Excellence (CCE) im Themenfeld der Entwicklung und des Testens von Softwarekomponenten vertreten.
In diesem Whitepaper gibt fortiss einen Überblick über das Requirements Engineering und seine Bedeutung für den Erfolg in Softwareentwicklungsprojekten.
Das Whitepaper gibt einen ausführlichen Überblick über die ISO 21434 Norm im Automobilbereich und bietet einen Ansatz zur Automatisierung der erforderlichen Prozesse zur Risikoanalyse und Sicherheitsnachweise.
Das Whitepaper beschreibt die grundlegenden Herausforderungen und Trends in der Softwaretechnik für bayerische Unternehmen und bietet konkrete Empfehlungen.
Das Whitepaper beleuchtet die Vorteile des modelbasierten Systems-Engineerings (MBSE) für komplexe cyber-physische Systeme, erklärt die Herausforderungen und gibt außerdem eine kompakte Einführung zu MBSE.
Das Whitepaper untersucht die gestiegenen Anforderungen an die Entwicklung heutiger und zukünftiger technischer Systeme und diskutiert die Merkmale von Advanced Systems Engineering (ASE) und Model-based Systems Engineering (MBSE).
Dieses Whitepaper demonstriert, wie modellbasierte Methoden zur Unterstützung der Integration von Safety und Security eingesetzt werden können.
