SUCHE
-
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
-
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.
-
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
-
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
-
ERIGrid 2.0 ermöglicht Open-Access für Forschung an der Energiesysteminfrastruktur
Smart Energy Systems Szenarien (Sektorkopplung) von besonderem Interesse. https://erigrid2.eu/ Project Koordinator: Privatdoz. Dipl.-Ing. Dr. Thomas I. Strasser Electric Energy Systems, Center for [...] von ERIGrid 2.0. AIT SmartEST-Labor ist Teil von ERIGrid 2.0: Mit dem SmartEST (Smart Electricity Systems and Technologies) Labor verfügt das AIT über eine in Europa einzigartige Entwicklungsplattform für
-
AIT auf der Konferenz der Artery Gesellschaft stark vertreten
dieses Jahr wurde sie in Budapest durchgeführt. Dieses Jahr war die Competence Unit Biomedical Systems mit 6 wissenschaftlichen Beiträgen besonders stark vertreten. Darüber hinaus konnten heuer zwei [...] präsentieren können. Heuer wurde Dr. Bernhard Hametner, Scientist in der Competence Unit Biomedical Systems, aus zahlreichen Bewerbungen für einen Vortrag mit dem Titel „Quantification of pulse wave reflections: [...] weiteren Grund zur Freude: Dr. Christopher Mayer, ebenfalls Scientist in der Competence Unit Biomedical Systems, gewann den Artery Society Exchange Grant für Early Career Researchers. Diese finanzielle Unterstützung
-
AIT Scientist erhält renommierten Test of Time Award
Identification of Temporal Properties" erhielt Dejan Nickovic, AIT Experte für sichere cyber-physische Systeme (CPS), den Runtime Verification (RV) Test of Time Award 2021. Die Laufzeitverifikation bezieht sich [...] zur Laufzeitverifikation sind entscheidend für die Korrektheit, Zuverlässigkeit und Robustheit von Systemen - und haben im Kontext der heutigen Digitalisierung der Dinge einen direkten Einfluss auf die Sicherheit
-
Petra Schaper-Rinkel wird Vizerektorin an der Universität Graz
t Graz. Neu im Rektorat ist u. a. AIT Forscherin Petra Schaper-Rinkel vom Center for Innovation Systems & Policy. Am 5. Juli wurde sie zur Vizerektorin für Digitalisierung gewählt. Petra Schaper-Rinkel [...] für die strategische Entwicklung des Forschungsfeldes „Societal Futures“ im Center for Innovation Systems & Policy verantwortlich. Darüber hinaus koordiniert sie Forschungsrahmenverträge mit dem Öst