-
AIDOaRT
- /en/research-topics/dependable-systems-engineering/projects/aidoart
security analysis results and system code. Including runtime monitoring to guide the AI methods through, e.g., inputs for re-inforcement learning. AI-aided Maturity Assessment of system models: using AI methods [...] modeling, coding, testing, and monitoring as part of a continuous development in Cyber-Physical Systems (CPSs), as part of a model-based framework. AIDOaRT aims to impact organizations where continuous [...] existing artefacts and integration of existing models for both environmental aspects and models of the system under development. AI-aided Improved Verification: development of AI methods for selecting a reduced
-
FATE
- /en/research-topics/dependable-systems-engineering/projects/fate
project FATE will develop a fault-based human-centric methodology for reasoning about cyber-physical systems (CPS) during different stages of their design. Because CPS combine digital and analog behavior, they [...] 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
-
AFarCloud 2
- /en/research-topics/dependable-systems-engineering/projects/afarcloud-2
not only new robotics platforms but also incorporating to the aforementioned framework the legacy systems already deployed in the farms. Farming is facing many economic challenges in terms of productivity [...] e.g., digitally controlled farm implements and even unmanned aerial vehicles. However, current systems still have significant drawbacks, in terms of flexibility, efficiency, robustness, sustainability [...] More specifically, the project demonstrated how new IoT technologies and in general mechatronic systems can cooperate in real-world farm scenarios to provide a common framework for the development of related
-
AI4CSM
- /en/research-topics/dependable-systems-engineering/projects/ai4csm
deliver key innovations in technical areas these trends are rooted in: (1) Sensor fusion, perception systems and advanced integration platforms, (2) Efficient propulsion and energy modules, (3) New wired and
-
Automated Test Case Generation
- /en/research-topics/dependable-systems-engineering/verification-validation/automated-test-case-generation
areas where coming up with a model is difficult. This is interesting in case of verifying large systems of systems or designs that use techniques from the artificial-intelligence research internally. Compact [...] research are test case generation for non-functional requirements and modelling and verification of systems using advanced AI algorithms. Our Services TCG as a service Tools Tool adaptions Domain Specific [...] 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
-
Runtime Verification
- /en/research-topics/dependable-systems-engineering/verification-validation/runtime-verification
to: Real systems during their execution System model during design phase, where behaviors correspond to simulation traces In the first case, runtime verification is used to detect potential system deviations [...] and deployment of real-time monitors Predictive system health monitoring Property-driven parameter extraction and measurements from behaviors Trace and system diagnosis Correctness vs. robustness runtime [...] Runtime Verification Runtime Verification Cyber-physical systems (CPS) integrate heterogeneous collaborative components that are interconnected between themselves and their physical environment. They exhibit
-
Safety & Security Co-Engineering
- /en/research-topics/dependable-systems-engineering/safety-security/safety-security-co-engineering
& Security Co-Engineering With the increasing connectivity of safety-critical systems, and with CPS (cyber-physical systems) and the upcoming IoT (internet of things) in mind, there is a need to consider [...] analysis and security architecture design for mission critical systems. We conduct threat research and security testing on embedded systems and IoT to ensure that our security concepts and designs are keeping [...] methods, tools and technological solutions for security engineering of safety-critical cyber-physical systems in domains such as smart production/Industry 4.0, automotive and railway, while being compliant to
-
Adaptiv Systems Analysis
- /en/research-topics/dependable-systems-engineering/verification-validation/adaptiv-systems-analysis
Adaptiv Systems Analysis Adaptiv Systems Analysis The area of adaptive system analysis has been identified as a strategic expansion area, as future dependable systems will become increasingly adaptive [...] verification and validation research for adaptive systems is covered by some of the activities in the afore-mentioned research areas (e.g., “Verification of systems relying on AI techniques” in the model-based [...] More advanced topics such as “dynamic assurance” and “control synthesis for adaptive dependable systems” we have put separately because effectively addressing them will depend on growing the DSE group
-
WEFACT
- /en/research-topics/dependable-systems-engineering/safety-security/wefact
engineering. Based on AIT expertise standards are modeled and used in WEFACT as framework to develop a system while generating all artefacts and evidence necessary to demonstrate compliance with the standard
-
Modelling of Cyber-Threats
- /en/research-topics/dependable-systems-engineering/safety-security/modelling-of-cyber-threats
necessary inputs for the engineering of security critical systems. In addition, maintained threat catalogues are necessary to monitor the security of systems in the field. While open vulnerability databases exist [...] are missing. The Dependable Systems Engineering group builds and maintains such catalogues, also making sure they are usable for the engineering and work with model-based system engineering approaches to
-
Flex+
- /en/themen/integrated-energy-systems/projects/translate-to-english-flex
Energy Systems GmbH Fronius International GmbH World-Direct eBusiness solutions Gesellschaft mbH Technikum Vienna GmbH aWATTar GmbH TIWAG-Tyrolean Hydropower AG TU Vienna - Institute for Energy Systems and [...] deployment of remotely controllable prosumer components such as heat pumps, boilers, home storage systems, and e-mobility in short-term electricity markets in Austria is being researched. A special focus [...] Competence Center Hagenberg GmbH Austria Email AG WEB Wind Energy AG neoom group gmbh ms.GIS Information Systems Ges.m.b.H. Energie AG Upper Austria Distribution GmbH University of Applied Sciences Technikum Wien
-
SAIL Vienna 2035
- /en/research-topics/societal-futures/projects/sail-vienna-2035
markiert. Name * E-Mail * Betreff * Nachricht * Send Dr. in Doris Wilhelmer Center for Innovation Systems & Policy +43 50550-4527 +43 50550-2201 doris.wilhelmer(at)ait.ac.at
-
SI-Drive
- /en/research-topics/societal-futures/projects/si-drive
Name * E-Mail * Betreff * Nachricht * Send DI Dr. Matthias Weber , MA Head of Center for Innovation Systems & Policy +43 50550-4561 matthias.weber(at)ait.ac.at This project has received funding from the European
-
CrESSI
- /en/research-topics/societal-futures/projects/cressi
settings? What is the role of public policy instruments in developing finance structures and wider eco-systems to support the development and growth of social innovation? How can the impact of social innovation [...] 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
- /en/research-topics/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
-
The future of care in digital change
- /en/research-topics/societal-futures/projects/future-of-care
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
-
FRESHER
- /en/research-topics/societal-futures/projects/fresher
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
-
European Foresight Platform (EFP)
- /en/research-topics/societal-futures/projects/european-foresight-platform-efp
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
-
Prozessauswertung, Digitalisierung und Einsatzoptimierung
- /en/loesungen/industry-decarbonisation-and-digitalisation/modellbasierte-analyse-1
und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Statistische Methoden zur Klassifizierung, Regressionsanalyse, Validierung, Optimierung und Prädiktion [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
-
Modellbasierte Analyse & digitaler Zwilling in der Produktion
- /en/loesungen/industry-decarbonisation-and-digitalisation/modellbasierte-analyse
und Entwurf von Steuerungs- und Regelungskonzepten für elektrische, thermische und mechanische Systeme. Digitalisierung, horizontale und vertikale Vernetzung, Datenerfassung und Visualisierung Edge- und [...] Betreff * Nachricht * Send DI Dr. Thomas Fleckl Head of Competence Unit Sustainable Thermal Energy Systems +43 50550 6616 thomas.fleckl(at)ait.ac.at
Searched for "systems".
Found 1848 results in 59 milliseconds.
Displaying results 221 to 240 of 1848.