SUCHE
-
Studie des AIT zeigt: Durch intelligente Gebäudetechnik mehr als 20 Prozent CO2-Einsparung möglich
Weber, Senior Expert Advisor Sustainable Thermal Energy Systems und Gerhard Zucker, Thematic Coordinator Sustainable Thermal Energy Systems zeigt die großen Einsparungspotentiale, wenn bei den Sanierungen [...] ein Einsparungspotential von bis zu 85.000 Tonnen CO2. „Durch die Vernetzung von Technologien und Systemen ermöglicht intelligente Gebäudetechnik die optimale Nutzung von Energie.“, so Gundula Weber
-
10th International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2012
share interests in modelling and analysis of timed systems. Typical topics include: Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models [...] Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimisation
-
SMART GRIDS – Kongress 2018
Klaus Kubeczko vom Center for Innovation Systems & Policy spricht in seinem Vortrag über das Thema „Wie replizieren? - ´Reflex´ - ein EU ERA-Net Smart Energy Systems Projekt“. Veranstalter: Ministerium für
-
STAATSPREIS-NOMINIERUNG FÜR AIT CYBER SECURITY-LÖSUNG „THREATGET“
Entwicklungsmethode für die Entwicklung von höchst sicheren digitalen Systemen vorgestellt. Es unterstützt Entwickler:innen von digitalen Systemen dabei, dass Bedrohungen – unterstützt durch Künstliche Intelligenz [...] vielfältige Aktivitäten von Sparx Systems CE dabei unterstützt, das System am Markt zu verkaufen. Anhand von Praxisbeispielen wurde ThreatGet etwa von AIT, Sparx Systems CE und msg Plaut im Mai 2022 in einem [...] System und die damit verbundene Risiko-Management-Beratung für höchst sichere IT- und Elektronik-Systeme wurden vom AIT Austrian Institute of Technology und Sparx Services CE, eine Geschäftseinheit der
-
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
-
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
-
Komfortlüftung Kompakt
- /themen/training-education/weiterbildung-im-bereich-komfortlueftung/komfortlueftung-kompakt
wurde, ein. Dieses Modul gibt einen (produktunabhängigen) Überblick über die am Markt gängigen Systeme und soll Sicherheit für die Erstberatung sowie bei Planung, Inbetriebnahme und Service von Komfo [...] Büros Haustechnikfirmen Großhändler Kursinhalt Funktion und Wirkungsweise Anforderungen und Grenzen Systeme und Komponenten Luftführung und Dimensionierung Möglichkeiten der Gebäudeintegration Reinhaltung [...] Betreff * Nachricht * Send Ing. Thomas Natiesta , MSc Research Engineer / Sustainable Thermal Energy Systems +43 50550 6041 +43 50550 6679 thomas.natiesta(at)ait.ac.at Termine AIT Wien 17.02.2023 Anmeldung
-
Auf dem Weg zu einem transformativen Wandel
Um systemische Wirkungen zu erzielen, müssen Innovationsprojekte reflexiv gesteuert werden, um sich so an neue Erkenntnisse oder veränderte Rahmenbedingungen leichter anpassen zu können. In den beiden [...] bei der Entwicklung ihrer Kapazitäten zur Förderung und Steuerung ihrer Projekte im Hinblick auf systemische und transformative Auswirkungen. Video auf Youtube anschauen Link zum Insight auf Zenodo
-
MESS Tagung 2016
Forschung und Industrie bildete. Das Microelectronic Systems Symposium 2016 (MESS) konzentriert sich auf die Schwerpunktthemen Sensorik, Embedded Systems, Hochfrequenztechnik sowie Messtechnik und bietet
-
Unterstützung für Ersthelfer aus der Luft
geht’s zur Forschungsgruppe Assistive & Autonomous Systems Kontakt Christoph Sulzbachner Thematic Coordinator Assistive & Autonomous Systems AIT Center for Vision, Automation & Control christoph [...] Einladung des Österreichischen Bundesheeres präsentierte die Forschungsgruppe Assistive & Autonomous Systems/ AIT Center for Vision, Automation & Control anlässlich des Nationalfeiertags vom 25. bis 26 [...] christoph.sulzbachner@ait.ac.at Felix Bruckmüller Research Engineer Assistive & Autonomous Systems AIT Center for Vision, Automation & Control felix.bruckmueller@ait.ac.at
-
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
-
Direkte Beteiligung: Demokratische Innovationen in Österreich?
ie.ac.at Chairs PD Dr. Peter BiegelbauerAustrian Institute of Technology, Department Innovation SystemsDr. Christoph KonrathÖsterreichisches Parlament, ParlamentsdirektionUniv.-Prof. Dr. Sieglinde Ros [...] anzustoßen. Fraglich ist aber, ob diese Ansätze mittel- und langfristig zu Veränderungen des politischen Systems im Sinne demokratischer Innovationen führen können. Direkte Beteiligungsformen sind, wenn auch in [...] Intensität, rechtlicher Ausgestaltung und politischer Konsequenzen, auf allen Ebenen des politischen Systems zu finden. Zudem steht direkte Beteiligung in einem Spannungsfeld zwischen formellen Verfahren und
-
Cybersecurity Technologien made in Austria
n Sicherheitsinformations- und Ereignis-Management (SIEM) Systeme und was sind deren GrenzenNeue Methoden der Anomalieerkennung in IT Systemen durch neue Ansätze von AIT „AECID“Cyber Incident Information [...] Vernetzung schreitet in all unseren Lebensbereichen rasant voran. Dabei entstehen Cyber Physical Systems – als Verbund informatischer, softwaretechnischer Komponenten mit mechanischen und elektronischen [...] agement und Umweltmanagement sind allseits bekannte Beispiele in diesem Innovationskontext. IKT-Systeme werden dabei zu DER kritischen Infrastruktur schlechthin, mit dramatischen Auswirkungen auf den
-
Ich bin online!
rch-services-safety-security/health-information-systems/ _blank external-link-new-window "Opens external link in new window">Health Information Systems @ AIT</link></b></li></ul>Am <b>21. November 2013</b> [...] rch-services-safety-security/health-information-systems/ _blank external-link-new-window "Opens external link in new window">Health Information Systems @ AIT</link></b></li></ul>
-
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
-
SECPID 2016
ServicesSecurity and privacy in cloud ScenariosSecure distributed SystemsFault tolerance in distributed SystemsAuditing of cloud based SystemsTransparency-enhancing TechnologiesIdentity Management We are happy [...] challenges concerning the integrity and confidentiality of data as well as the privacy of users of such systems. Currently, no satisfactory solutions to these challenges exist, which is a roadblock for the large-scale [...] following questions: • How can cloud services be made more trustworthy? • How can we build distributed systems without single point of failure or trust? • How to design end-to-end secure services in an untrusted
-
Wie intelligente Maschinen den Menschen unterstützen
- /blog/automatisierungstechnik-wie-intelligente-maschinen-den-menschen-unterstuetzen
werden an das Testen und Validieren solcher Systeme besonders hohe Anforderungen gestellt. Solche Methoden werden unter anderen in der Gruppe „Dependable Systems Engineering “ des AIT Centers for Digital [...] Fähigkeiten beherrschen. Das umfasst z. B. die Regelung von Hydraulikkomponenten und des mechanischen Systems , die zuverlässige Aufgaben- und Bewegungsplanung inklusive Lokalisierung der Eigenposition – auch [...] Objektklassifizierung zur korrekten Interpretation des Umfelds. Bei diesen komplexen Aufgaben helfen KI-Systeme erheblich. Roboter sind bereits auf dem Acker unterwegs Ob man solche Geräte als „intelligent“ bezeichnen
-
Kontrollierte KI für safety-kritische Anwendungen
Autonomes Fahren gilt als einer der Zukunftstreiber der Mobilität. Im Fall von autonomen Systemen steuert eine Künstliche Intelligenz (KI) das Auto, die wiederum aus selbstlernenden Algorithmen besteht [...] "Data Science & Artificial Intelligence" und Willibald Krenn, Thematic Coordinator "Dependable Systems Engineering" sprachen dazu mit Forbes Austria. Das Interview finden Sie hier.
-
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
-
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