-
ReaGTSion
- /en/research-topics/dependable-systems-engineering/projects/reagtsion
deals with approaches for the detection of disruptions and bottlenecks in value chains of Austrian systemically relevant companies. The COVID-19 crisis confronted the state of Austria with several challenges [...] frame of KIRAS Calls 2020 of the FFG – Program line ” F&E Dienstleistung, Topic 3.2.13 – Ermittlung system- bzw. krisenrelevanter Güter (Resilienzbedarfsermittlung)“ Fakten Project duration: September 2021
-
Productive4.0
- /en/research-topics/dependable-systems-engineering/projects/productive40
handling, but causes further challenges such as Integration and dealing with legacy systems, Different product cycle times at system, module and component level, Standardization of exchange processes, protocols [...] and across domains Today, manufacturers face - besides increasing complexity of their products and systems, as well as highly volatile markets – a rising demand for customization and individual product c
-
TEACHING
- /en/research-topics/dependable-systems-engineering/projects/teaching
and personalise the delivery of these applications. The world is on the verge of the autonomous systems revolution. Considering autonomous CPSoS from a human-aware (if not human-centric) perspective brings-in [...] self-adapting by exploiting sustainable human feedback? How do we change the underlying computing system, at an architectural and software level, to support the operation of such an adaptive, dependable
-
TRUSTED2
- /en/research-topics/dependable-systems-engineering/projects/trusted2
particular are integral part of building trustworthy ICT systems. The TRUSTED project took an attack-driven approach to black-box testing of automotive systems as well as embedded devices and developed novel solutions [...] in the system development lifecycle. With this approach, existing knowledge of attacks is modelled and simulated with guided-random search to explore potential weaknesses of an automotive system-under-test [...] 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
-
FiBack3
- /en/research-topics/dependable-systems-engineering/projects/fiback3
FiBack3 Increasing the security of devices procured by BMLV (embedded systems) by examining binary files for backdoors. A large part of the critical IT infrastructure and IoT devices used by the BMLV is
-
LearnTwins
- /en/research-topics/dependable-systems-engineering/projects/learntwins
Dependable Cyber-Physical Systems. The Austrian “ICT for the Future” project LearnTwins will establish a method kit for automated learning of trustable digital twins of cyber-physical systems (CPS). Purpose of
-
EVE
- /en/research-topics/dependable-systems-engineering/projects/eve
overall C-ITS infrastructure system . C-ITS enable a variety of new applications to use traffic networks more efficiently and safely. Automated communication with traffic signal systems and other networked road [...] of emergency vehicles in automated road traffic (EVE). In a cooperative and intelligent transport system (C-ITS), the different participants should be treated individually. Some road users should be prioritized
-
CySiVuS
- /en/research-topics/dependable-systems-engineering/projects/cysivus
well as vehicle users. The KIRAS project CySiVuS has identified the entire traffic infrastructure system with regard to specific IT security issues in the context of a scoping process for its requirements [...] demonstrated and viable measures were derived to ensure a trustworthy cybersecure networked transport system for autonomous driving vehicles. Facts Research programme: KIRAS Project duration: 10/2017 - 03/2020 [...] Solutions and Networks Austria (NOKIA), Swarco Futurit Verkehrssignalsysteme Ges. m.b.H. (SWF), T-Systems Austria GesmbH (TSA), TÜV Austria Automotive GmbH (TÜV-A), TÜV Trust IT TÜV Austria GmbH (TÜV-I)
-
BESTE-AB
- /en/research-topics/dependable-systems-engineering/projects/beste-ab
it develops a management system for Rail Operation as a Service (ROaaS) and the support of Development and use of these systems through a meta model for automated rail systems. The focus of these developments [...] traffic on branch lines. Supported by this meta model, a secure digital interlocking system with ROaaS management system is being developed. The 5G mobile technology for the exact position determination of
-
AQUAS2
- /en/research-topics/dependable-systems-engineering/projects/aquas2
cybersecurity , safety and additional dependability attributes for highly automated networked systems and systems of systems. Hence, AQUAS2 focused on these aspects as listed above. Facts Project duration: May [...] and increasing system quality and maintaining compliance with more and more exacting standards. Improved tool features and capabilities. There is an ever-increasing complexity of the systems we engineer in [...] AQUAS2 For safety-critical systems in domains such as transportation, aerospace, or industrial control, this project focused on: Safety/Security/Performance to be considered together, during the overall
-
AUTODRIVE
- /en/research-topics/dependable-systems-engineering/projects/autodrive
generation Electronic Components and Systems architectures. This will sustain and grow the market position of all AUTODRIVE partners. 1 Electronic Control Systems Facts Project duration: May 2017 – Oct [...] ect AUTODRIVE was to advance fail-aware, fail-safe, and fail-operational electronic components, systems, and architectures for highly and fully automated driving. AUTODRIVE results contributed significantly [...] 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 https://autodrive-project
-
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
Searched for "systems".
Found 1848 results in 59 milliseconds.
Displaying results 221 to 240 of 1848.