SUCHE
Inhaltstyp
Kategorien
-
SECREDAS
- /themen/dependable-systems-engineering/projects/secredas
Domain Reliable Dependable Automated Systems “ (SECREDAS) einen ersten wichtigen Schritt in Richtung der Entwicklung von „vertrauensbildenden“ Komponenten und (Teil-)Systemen für die europäische Industrie von [...] von Multidomänenarchitekturmethoden, Referenzarchitekturen und Referenzkomponenten für autonome Systeme mit hoher Sicherheit und Datenschutz bei gleichzeitiger Wahrung der Funktionssicherheit und der
-
Productive4.0
- /themen/dependable-systems-engineering/projects/productive40
reifend Hersteller sehen sich heutzutage - neben der zunehmenden Komplexität ihrer Produkte und Systeme sowie den stark volatilen Märkten - einer steigenden Nachfrage nach Anpassung und individueller
-
TEACHING
- /themen/dependable-systems-engineering/projects/teaching
ben, zu optimieren und zu personalisieren. Die Welt steht am Rande der Revolution der autonomen Systeme. Die Betrachtung autonomer CPSoS aus einer menschenbewussten (wenn nicht menschenzentrierten) Perspektive
-
LearnTwins
- /themen/dependable-systems-engineering/projects/learntwins
LearnTwins Im Projekt sollen „Digitale Zwillinge“ für Cyber Physical Systems automatisch gelernt und für Test und Simulation der Systeme verwendet werden. Das österreichische „IKT für die Zukunft“-Projekt [...] usatz für das automatisierte Lernen vertrauenswürdiger digitaler Zwillinge von cyber-physischen Systemen (CPS) erstellen. Zweck der erlernten digitalen Zwillinge ist es, das Verhalten und die Zuverlässigkeit
-
TRUSTED2
- /themen/dependable-systems-engineering/projects/trusted2
he Fahrzeuge und Systeme. Verifizierung und Validierung im Allgemeinen und Sicherheitstests im Besonderen sind ein wesentlicher Bestandteil des Aufbaus vertrauenswürdiger IKT-Systeme. Das TRUSTED-Projekt [...] sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send Dr. Dejan Nickovic Dependable Systems Engineering +43 50550 4021 +43 50550 4150 dejan.nickovic(at)ait.ac.at LINKS TRUSTED2
-
CySiVuS
- /themen/dependable-systems-engineering/projects/cysivus
Solutions and Networks Österreich (NOKIA), Swarco Futurit Verkehrssignalsysteme Ges.m.b.H. (SWF), T- Systems Austria GesmbH (TSA), TÜV Austria Automotive GmbH (TÜV-A), TÜV Trust IT TÜV Austria GmbH (TÜV-I)
-
BESTE-AB
- /themen/dependable-systems-engineering/projects/beste-ab
Operation as a Service (ROaaS) sowie der Unterstützung der Entwicklung und des Einsatzes dieser Systeme durch ein Metamodell für automatisierte Bahnsysteme. Die Schwerpunkte bei diesen Entwicklungen lagen
-
AUTODRIVE
- /themen/dependable-systems-engineering/projects/autodrive
umfassend ausfallsicherer (einschließlich fail-aware und fail-operational ) elektronischer Komponenten, Systeme und Architekturen für automatisiertes und autonomes Fahren. Die Ergebnisse von AUTODRIVE trugen [...] fördern. Dies wird die Markposition der Projektpartner sichern und ausbauen. 1 Electronic Control Systems Fakten Projektlaufzeit: Mai 2017 – Oktober 2020 Koordination: Infineon Technologies (DE) Budget: [...] 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 https://autodrive-project
-
AQUAS2
- /themen/dependable-systems-engineering/projects/aquas2
t und weiteren Zuverlässigkeits/Qualitätsmerkmalen für hochautomatisierte vernetzte Systeme und Systeme von Systemen. Daher konzentrierte sich AQUAS2 auf diese Aspekte, wie oben aufgeführt. Fakten Pro [...] AQUAS2 Für sicherheitskritische Systeme in Bereichen wie Transport, Luft- und Raumfahrt oder Industriesteuerung konzentrierte sich dieses Projekts auf: Gemeinsame Berücksichtigung von Sicherheit und Performanz [...] immer strengerer Standards; verbesserte Werkzeugfunktionen und -fähigkeiten. Die Komplexität der Systeme, die wir in der modernen Gesellschaft entwickeln, nimmt stetig zu, einschließlich der Konvergenz
-
FATE
- /themen/dependable-systems-engineering/projects/fate
eine fehlerbasierte menschenzentrierte Methodik entwickeln, um den Entwurf cyber-physikalischer Systeme (CPS) während verschiedener Phasen ihres Entwurfs besser zu begleiten. Da CPS digitales und analoges [...] sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send Dr. Dejan Nickovic Dependable Systems Engineering +43 50550 4021 +43 50550 4150 dejan.nickovic(at)ait.ac.at
-
FiBack3
- /themen/dependable-systems-engineering/projects/fiback3
FiBack3 Erhöhung der Sicherheit von durch BMLV beschaffter Geräte (Embedded Systems ) durch Untersuchung von Binärdateien auf Backdoors. Ein Großteil der beim BMLV verwendeten kritischen IT-Infrastruktur
-
AFarCloud 2
- /themen/dependable-systems-engineering/projects/afarcloud-2
zeigte daher, wie eine kluge Vernetzung von IoT -Technologien im Besonderen und mechatronischen Systemen im Allgemeinen mit herkömmlichen, ausgereiften Methoden eine ressourcenschonende und umweltfreundliche [...] mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send DI (FH) Erwin Kristen Dependable Systems Engineering +43 50550 4122 +43 50550 4150 erwin.kristen(at)ait.ac.at Links https://www.ecsel.eu/
-
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