SUCHE
Inhaltstyp
Kategorien
-
Safety & Security
- /themen/dependable-systems-engineering/safety-security
betrachtet und behandelt. Diese Sichtweise lässt sich jedoch nicht länger aufrechterhalten, da moderne Systeme und damit auch Sicherheitsaspekte immer stärker miteinander vernetzt sind: Betriebliche Sicherheit [...] Sicherheit kann ohne Cyber-Sicherheit nicht garantiert werden und vice versa. Die Gruppe Dependable Systems Engineering am AIT erforscht seit vielen Jahren die Wechselwirkungen zwischen Safety , Security und [...] Zuverlässigkeit und entwickelt neue Methoden und Tools , um die ganzheitliche Sicherheit von Systemen zu gewährleisten. Ihre Mitglieder arbeiten federführend an den Industriestandards von morgen mit, z
-
Verifikation & Validierung
- /themen/dependable-systems-engineering/verifikation-validierung
Verifikation & Validierung Verifikation & Validierung Moderne Systeme sind zu komplex für eine manuelle Verifikation. Wie können Sie effizient und gründlich verifizieren, ob sich das System, das Sie gerade [...] anwenden? Wie gut sind Ihre Verifikationsmaßnahmen? Entsprechen sie den Normen? Die Gruppe Dependable Systems Engineering am AIT bietet Know-how , Methoden und Tools zur Beantwortung dieser Fragen. Das Know-how [...] litätsprüfungen. Wir untersuchen klassische und eingebettete Software ebenso wie cyberphysische Systeme mit diskreter und kontinuierlicher Dynamik. Die Gruppe verfolgt innovative, werkzeugunterstützte
-
Schulung und Beratung
- /themen/dependable-systems-engineering/schulung-und-beratung
Schulung und Beratung Schulung und Beratung Die Mitglieder der Gruppe Dependable Systems Engineering verfügen über langjährige Erfahrung in der Lehre (z.B. TU Wien, FH Campus) und stehen unseren Kunden
-
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
-
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
-
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
-
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
-
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
-
Einblick in virtuelle Währungen
- /themen/datascienceartificialintelligence/unser-angebot/graphsense
Bedeutung. Heimische Forscher arbeiten an algorithmischen Lösungen die uns helfen sollen, solche Systeme zu verstehen und Anomalien darin zu erkennen. Dass neue digitale Technologien das Finanzwesen weiter
-
InnoSens
- /themen/crisis-and-disaster-management/projects/innosens
InnoSens Projektinhalt ist die Schaffung eines integrierten Verkehrs- und Umweltinformations- systems zur optimierten Steuerung des Verkehrsflusses bei einer gleichzeitigen Minimierung der Schadstoffbelastung
-
Transport Research Arena 2018
- /news-events/archiv/transport-research-arena-2018
the conference: "Digitalisation is a global trend, but also a challenge and enabler for transport systems " Christian Chimani, Head of Center for Low-Emission Transport, AIT, and Chair of the TRA Programme [...] Experiments next generation infrastructure (pdf) 13.04.2018 Human Dimensions (pdf) 13.04.2018 Innovation Systems (pdf) 13.04.2018 New Materials (pdf) 13.04.2018 Road Safety (pdf) 13.04.2018 Smart City (pdf) 13
-
HYBUILD
- /themen/digitalisation-and-hvac-technologies-in-buildings/projekte/hybuild
Marktdurchdringung zu gewährleisten; Einfache Integration (kompakte Lösungen) in bestehende Gebäude/Systeme; Verlängerte Lebensdauer der Lösung; Überlegene Energieleistung, die zur Flexibilität des gesamten [...] * E-Mail * Betreff * Nachricht * Send Dr. Johann Emhofer Scientist / Sustainable Thermal Energy Systems +43 (0) 50 550-6061 +43 (0) 50 550-6679 johann.emhofer(at)ait.ac.at
-
Diagnostic Biosensors
- /loesungen/molecular-diagnostics/diagnostic-biosensors
Partner Ihrer Wahl für folgende Anwendungen: Photonische Wellenleiterbauteile Optische Systeme Nanomagnetische Systeme Mikrofluidik Charakterisierung von photonischen, nanomagnetischen und elektrischen S [...] Team aus Expert*innen in den Bereichen Chemie, Physik, Biologie und Elektrotechnik mit einem systemischen Ansatz diagnostische Sensorsystemkonzepte für PoC und liefert Lösungen, die den Anwendungsbedürfnissen [...] nächste Generation von Point -of- Care (PoC)-Diagnosetools wird in hohem Maße auf hochminiaturisierte Systeme für den Nachweis der relevanten Analyten angewiesen sein. Die Molekulardiagnostik-SpezialistInnen
-
Systemintegration und Point-of-Care-Geräte
- /loesungen/molecular-diagnostics/systems-integration-and-point-of-care-devices
izienz und Messeffizienz Entwicklung von Point -of- Care -Kartuschen, -Systemen und -Demonstratoren Validierung von POC-Systemen (in Zusammenarbeit mit klinischen Partnern aus der Human- und Veterinärmedizin) [...] diese Entwicklung sind Point -of- Care -Geräte (POC), die dezentrale Schnelltests ermöglichen. Diese Systeme beruhen auf miniaturisierten und automatisierten Prozessen mit ausgezeichneter analytischer Leistung [...] POC-Plattformen einschließlich Anpassung und Optimierung Lagerung und Handhabung von Reagenzien auf POC-Systemen Prozesskontrolle und Automatisierung von Extraktions- und Messprotokollen Entwurf und Entwicklung
-
BI-FACE
- /themen/photovoltaics/projects/bi-face
Module und Systeme werden im kombinierten Modellierungsaufwand von ECN, CTR und AIT untersucht, da die Entwicklung von Modulen und Systemen nicht separat erfolgen kann. Die Module und Systeme werden von [...] die Entwicklung innovativer Bifacial-Module und -Systeme für Flachdächer. Die Ergebnisse umfassen drei neuartige Varianten für bifaciale Module und Systeme, die in drei verschiedenen Klimazonen getestet [...] wirtschaftlich neuartige bifaciale PV-Systeme zu entwickeln, um das enorme Potenzial dieser Technologie auszuschöpfen. Ziele Neuartige leichte Bifacial-Module und Systeme für Flachdächer für repräsentative
-
Transport Research Arena 2018
- /ueber-das-ait/center/center-for-digital-safety-security/fairs-events/transport-research-arena-2018
Cyber-Sicherheit für Industrial Control Systems (ICS), Cyber Physical Systems (CPS), und Internet of Things ( IoT ), hochsichere und hochverfügbare Software und Systeme sowie höchst zuverlässige Wireless- [...] (5G), modernste Verschlüsselungsmethoden (Quantum Safe ) für virtuelle IT-Systeme und neueste Sensortechnologien und Systeme zum Schutz kritischer Infrastrukturen, als auch digitales Identity Management [...] der Verlässlichkeit dieser komplexen Systeme ist daher eine Voraussetzung dafür, dass die Öffentlichkeit ihnen vertraut und sie akzeptiert. Im Bereich Dependable Systems Engineering konzentrieren sich die
-
Inspire
- /themen/photovoltaics/projects/inspire
Inspire Dünnschicht-Photovoltaikmodule basierend auf einem CIGS-Absorber sind bereits auf dem Markt erhältlich und zeigen eine Rekord-Leistungsumwandlungseffizienz von bis zu 16,5%. Sowohl auf Modul-
-
NEXT-FOIL
- /themen/photovoltaics/projects/next-foil
NEXT -FOIL Photovoltaiktechnologien der nächsten Generation , basierend auf organischen, anorganischen oder hybriden Absorbern (wie z.B.: Perowskite), können als dünne, leichte und flexible Module her
-
Autodrive
- /loesungen/automated-driving/referenzprojekte/autodrive
& Security Analyse, Modellbasiertes Testen, und Entwicklung einer ECS (Electronic Components and Systems ) Architektur für sichere Over-The-Air-Updates für fail-aware , fail- safe , und fail-operational
-
AdaMo
- /themen/efficiency-in-industrial-processes-systems/projekte/adamo
E-Mail * Betreff * Nachricht * Send Dr. Tilman Barz Senior Scientist / Sustainable Thermal Energy Systems +43 50550-6426 +43 50550-6679 tilman.barz(at)ait.ac.at Publikationen Bournazou, C., Barz, T., Nickel