SUCHE
-
AIDOaRT
- /themen/dependable-systems-engineering/projects/aidoart
Codieren, Testen und Überwachen als Teil einer kontinuierlichen Entwicklung cyber-physikalischer Systeme (CPSs) im Rahmen eines modellbasierten Frameworks . AIDOaRT will Organisationen unterstützen, in [...] Artefakten und Integration vorhandener Modelle sowohl für Modelle des in der Entwicklung befindlichen Systems als auch für dessen Umgebung. AI-gestützte Verifizierung : Entwicklung von KI-Methoden zur Auswahl
-
Laufzeitverifikation
- /themen/dependable-systems-engineering/verifikation-validierung/laufzeitverifikation
Laufzeitverifikation Laufzeitverifikation Cyberphysische Systeme (CPS) vereinen heterogene kollaborative Komponenten, die sowohl miteinander als auch mit ihrer physischen Umgebung verbunden sind. Sie zeigen [...] Die Laufzeitverifikation kann in folgenden Fällen angewendet werden: Während der Ausführung realer Systeme Bei der Simulation von Systemmodellen in der Designphase Im ersten Fall wird die Laufzeitverifikation [...] ens und dient damit als Ergänzung anderer formaler Verifikationsmethoden. Die Gruppe Dependable Systems Engineering befasst sich in der Laufzeitverifikation von CPS mit den folgenden drei Themen: Spez
-
Automatische Testfallgenerierung
- /themen/dependable-systems-engineering/verifikation-validierung/automatische-testfallgenerierung
die Erstellung eines Modells als schwierig erweist. Das ist vor allem für die Verifikation großer Systeme und Designs von Interesse, bei denen auch Techniken der künstlichen Intelligenz zur Anwendung kommen [...] Testfallgenerierung für nichtfunktionale Anforderungen sowie die Modellierung und Verifikation von Systemen mit Hilfe modernster KI-Algorithmen. Unsere Services TCG als Service Tools Toolanpassung Entwic [...] sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send DI Rupert Schlick Dependable Systems Engineering +43 50550 4124 +43 50550 4150 rupert.schlick(at)ait.ac.at Links MoMuT - A Familiy of
-
Safety & Security Co-Engineering
- /themen/dependable-systems-engineering/safety-security/safety-security-co-engineering
Engineering Angesichts der steigenden Konnektivität sicherheitskritischer Systeme und laufender Entwicklungen im Bereich cyberphysische Systeme (CPS) und Internet der Dinge ( IoT ) müssen Ausfallsicherheit ( Safety [...] Sicherheitsarchitekturen für unternehmenskritische Systeme. Wir forschen im Bereich Cyber-Bedrohungen und Security -Tests von eingebetteten Systemen und IoT , um sicherzustellen, dass unsere Sicherhei [...] und technologische Lösungen für das Security Engineering von sicherheitskritischen cyberphysischen Systemen für smarte Produktionsprozesse/Industrie 4.0 sowie den Straßen- und Schienenverkehr unter Einhaltung
-
Modellierung von Cyber-Bedrohungen
- /themen/dependable-systems-engineering/safety-security/modellierung-von-cyber-bedrohungen
zentrale Inputs für das Engineering sicherheitskritischer Systeme. Zusätzlich sind gepflegte Bedrohungskataloge notwendig, um die Sicherheit von Systemen im Einsatz zu überwachen. Während Sicherheitslücken bereits [...] darstellt, wie etwa den Straßen- und Bahnverkehr oder industrielle Prozesse. Die Gruppe Dependable Systems Engineering hat sich auf Aufbau und Pflege solcher Kataloge spezialisiert und stellt sicher, dass
-
Adaptiv Systems Analysis
- /themen/dependable-systems-engineering/verifikation-validierung/adaptiv-systems-analysis
Adaptiv Systems Analysis Adaptiv Systems Analysis Der Bereich der adaptiven Systemanalyse wurde als strategischer Erweiterungsbereich identifiziert, da zukünftige zuverlässige Systeme zunehmend anpassungsfähig [...] und Validierungsforschung für adaptive Systeme wird durch einige der Aktivitäten in den oben genannten Forschungsbereichen abgedeckt (z.B. "Verifikation von Systemen, die auf KI-Techniken beruhen" in der [...] Fortgeschrittenere Themen wie "Dynamic Assurance" und "Steuerungssynthese für adaptive zuverlässige Systeme" haben wir gesondert aufgeführt, da ihre effektive Behandlung vom Wachstum der DSE-Gruppe oder von
-
CrESSI
- /themen/societal-futures/projects/cressi
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at This project has received funding
-
ReFlex
- /themen/societal-futures/projects/reflex
E-Mail * Betreff * Nachricht * Send Dr. Klaus Kubeczko Senior Expert Advisor / Center for Innovation Systems & Policy +43 50550-4566 +43 50550-2201 klaus.kubeczko(at)ait.ac.at
-
SAIL Vienna 2035
- /themen/societal-futures/projects/sail-vienna-2035
markiert. Name * E-Mail * Betreff * Nachricht * Send Dr. in Doris Wilhelmer Center for Innovation Systems & Policy +43 50550-4527 +43 50550-2201 doris.wilhelmer(at)ait.ac.at
-
SI-Drive
- /themen/societal-futures/projects/si-drive
Name * E-Mail * Betreff * Nachricht * Send DI Dr. Matthias Weber , MA Head of Center for Innovation Systems & Policy +43 50550-4561 matthias.weber(at)ait.ac.at Dieses Projekt wurde durch das 7. Rahmenprogramm
-
FRESHER
- /themen/societal-futures/projects/fresher
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at Dieses Projekt wurde durch das
-
Die Zukunft der Pflege im digitalen Wandel
- /themen/societal-futures/projects/zukunft-der-pflege
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at
-
European Foresight Platform (EFP)
- /themen/societal-futures/projects/european-foresight-platform-efp
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at
-
Prozessauswertung, Digitalisierung und Einsatzoptimierung
- /loesungen/industry-decarbonisation-and-digitalisation/modellbasierte-analyse-1
und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Statistische Methoden zur Klassifizierung, Regressionsanalyse, Validierung, Optimierung und Prädiktion [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
-
Modellbasierte Analyse & digitaler Zwilling in der Produktion
- /loesungen/industry-decarbonisation-and-digitalisation/modellbasierte-analyse
und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Digitalisierung, horizontale und vertikale Vernetzung, Datenerfassung und Visualisierung Edge- und [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
-
Integration neuartiger wärmetechnischer Technologien & digitaler Methoden
- /loesungen/industry-decarbonisation-and-digitalisation/integration-neuartiger-waermetechnischer-technologien-digitaler-methoden
hern gepaart mit dem umfangreichen Wissen in der Modellierung und Simulation ganzer Anlagen und Systeme ermöglicht uns, die optimalen Lösungen für Ihr Projekt zu finden. Unser Spektrum reicht von Mate [...] und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Digitalisierung, horizontale und vertikale Vernetzung, Datenerfassung und Visualisierung, Edge- [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
-
Auslegung & Entwicklung
- /loesungen/industry-decarbonisation-and-digitalisation/auslegung-entwicklung
hern gepaart mit dem umfangreichen Wissen in der Modellierung und Simulation ganzer Anlagen und Systeme ermöglicht uns, die optimalen Lösungen für Ihr Projekt zu finden. Unser Spektrum reicht von Mate [...] und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Prüfstände Analytische Methoden Referenzprojekte HighButane 2.0 – Hochtemperaturwärmepumpe - De [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
-
Schwerpunktstudie Soziale Innovationen
- /themen/societal-futures/projects/schwerpunktstudie-soziale-innovationen
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at
-
Künftige Bedrohungen durch Infektionskrankheiten in Europa
- /themen/societal-futures/projects/kuenftige-bedrohungen-durch-infektionskrankheiten-in-europa
E-Mail * Betreff * Nachricht * Send Dr. in Susanne Giesecke Senior Scientist / Center for Innovation Systems & Policy +43 50550-4564 +43 50550-2201 susanne.giesecke(at)ait.ac.at
-
NANO CYCLE
- /themen/societal-futures/projects/nano-cycle
führt Fragen zu Abfallströmen mit Fragen des Recyclings und der erforderlichen Analytik zusammen. Systemische Prozesse in der Abfallwirtschaft von Verpackungs-Kunststoffen werden ganzheitlich untersucht und