SUCHE
-
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
-
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
-
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
-
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
-
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
-
Österreichisches Konsortium entwickelt zuverlässige 5G Funktechnologie für künftige autonome Fahrzeuge
(Advanced Driver Assistance Systems, kurz ADAS). Bei den nächsten Generationen des autonomen Fahrens werden Themen wie Test- und Validierungsaufwand sowie die Sicherheit der Systeme extrem wichtig. Als etablierter [...] erlauben, sondern ist auch ideal für die massenhafte Kommunikation mit dem Internet der Dinge oder Systemen, die eine extrem schnelle und zuverlässige Reaktionszeit erfordern. Denn die künftige 5G Funktechnologie [...] neuen Entwicklungen und technischen Revolutionen, wie z.B. selbstfahrende Autos oder Smart-Home Systeme (Internet of Things) ermöglichen, die in extrem kurzer Zeit auf ihre Umwelt reagieren müssen. Dazu
-
Laborübersicht
- /laboratories
Enabling Digital Technologies Energy Supply Systems Health Solutions High - Performance Image Processing Industrial Automation Industrial Energy Systems Innovation Systems & Policy Lightweight Metal Solutions [...] Experience Cardiovascular Diagnostics Casting Technologies Complex Dynamical Systems Complex Energy Systems Dependable Systems Engineering Dynamic Crowd Solutions Experience Business Transformation Experience [...] Autonomous Systems Automation and Control Bioresources Cities & the Built Environment Cooperative Digital Technologies Cyber Security Data Science & Artificial Intelligence Dynamic Transportation Systems Electric
-
Projektübersicht
- /projects
Enabling Digital Technologies Energy Supply Systems Health Solutions High - Performance Image Processing Industrial Automation Industrial Energy Systems Innovation Systems & Policy Lightweight Metal Solutions [...] Experience Cardiovascular Diagnostics Casting Technologies Complex Dynamical Systems Complex Energy Systems Dependable Systems Engineering Dynamic Crowd Solutions Experience Business Transformation Experience [...] Autonomous Systems Automation and Control Bioresources Cities & the Built Environment Cooperative Digital Technologies Cyber Security Data Science & Artificial Intelligence Dynamic Transportation Systems Electric
-
Analysis and Optimization of Pedestrian Flows
- /loesungen/analysis-and-optimization-of-pedestrian-flows
Lösungen für skalierbare Analysen mittels Fußgängersimulationen, computergestützte Crowd-Control Systemen und Virtual-Reality -Technologien zur Evaluierung von Leitsystemen an. Simulate Mehr Sicherheit
-
Projekt „DigiTrans“ erhält Förderzusage durch FFG
bringen ihre Kompetenzen in den Bereichen Computer Vision sowie Safety- und Security-Systeme ein. Mobility Systems und Technology Experience liefern mit der Anwendung und Evaluierung automatisierter Fahrzeuge [...] als Digitalstandort nachhaltig zu stärken“, sagt Manfred Gruber, Geschäftsfeldleiter Autonomous Systems im Center for Vision, Automation & Control
-
BieM-Kamingespräch: Keynote von Bin Hu
einheitliche Methoden zur Planung von e-Car-Sharing-Systemen zu entwickeln. Der Logistikexperte Bin Hu, Scientist am AIT Center for Mobility Systems, hielt die Keynote und diskutierte im Anschluss mit
-
Policy Lab für innovationsfördernde öffentliche Beschaffung
- /themen/societal-futures/projects/policy-lab-fuer-innovationsfoerdernde-oeffentliche-beschaffung
* markiert. Name * E-Mail * Betreff * Nachricht * Send Mag.ª Eva Buchinger Center for Innovation Systems & Policy +43(0) 50550-4543 +43(0) 50550-2201 eva.buchinger(at)ait.ac.at
-
Beschäftigung und Industrie 4.0
- /themen/innovation-systems-digitalisation/projects/beschaeftigung-und-industrie-40
Name * E-Mail * Betreff * Nachricht * Send Univ.-Prof. Dr. Karl-Heinz Leitner Center for Innovation Systems & Policy +43 50550-4567 +43 50550-2201 karl-heinz.leitner(at)ait.ac.at Infomaterial Arbeitsmarkteffekte
-
Surveillance & Protection
- /loesungen/surveillance-protection
in der „ Development of Embedded Vision Systems “ gebündelt. Ein wichtiges Ziel in diesem Kontext ist z.B. die Entwicklung von modernsten Technologien und Systemen für den Schutz des Bürgers beim Reisen
-
AIT’s “World’s First” Demonstration in Photonic Communications Scores High
and experimentally demonstrated solution has the potential to migrate from these direct-detection systems towards coherent ones – a process that has been undertaken in wireless communication decades ago
-
Urban Transport Tbilisi
- /themen/integrated-mobility-systems/projects/urban-transport-tbilisi
(CDIA), dem Future Cities Program und den damit verbundenen TA's, insbesondere dem Promoting Smart Systems in ADB's Future Cities Program (RETA-9170), der Piloting Future Cities Future Women Initiative (RETA [...] (in Englisch) Tbilisi report pdf (7 MB) Publikationen S. Seer, G. Lenz: "Integrated Urban Mobility Systems "; presentation at 10th Local Economic Development Forum, Tbilisi (Georgia); 13.-14.09.2017 G. Lenz:
-
Data Market Austria
- /themen/datascienceartificialintelligence/projects/dma
(iii) die Entwicklung von Analyseverfahren, welche es erlauben große Datenmengen von verteilten Systemen in hoher Geschwindigkeit und hoher Sicherheit zu verarbeiten; 2) etabliert eine Daten-Innovationsumfelde [...] es, Semantic Web Company GmbH, Siemens Aktiengesellschaft Österreich, T-Mobile Austria GmbH, T- Systems Austria GmbH, TDA Trusted Data Analytics GmbH & Co KG, Wikimedia Austria , Zentralanstalt für Meterologie