SEARCH

Laboratories overview

• /en/laboratories

for Persons Assistive and Autonomous Systems Cooperative Digital Technologies Cyber Security Data Science & Artificial Intelligence Dynamic Transportation Systems Electric Vehicle Technologies Enabling [...] Sector Autonomous Systems Battery Materials & Characterization Structural Dynamics and Assessment Biosignal Processing Cardiovascular Diagnostics Casting Technologies Complex Dynamical Systems Complex Energy [...] Energy Systems Dependable Systems Engineering Dynamic Crowd Solutions Experience Measurement Experience Oriented Thinking Foresight and Institutional Change Future Interface Paradigms Green Processes High

• Relevance:
  16%

Safety & Security

• /en/research-topics/dependable-systems-engineering/safety-security

Safety and Security of Systems cannot be an afterthought. Traditionally, safety and security were treated as separate issues. However, this view does not hold anymore as modern systems are largely interconnected: [...] security into account, and security measures can be influenced by safety requirements. The Dependable Systems Engineering group at AIT has a long-standing history in addressing the interdependencies of safety [...] leading research, the group is developing new methods and tools to guarantee safety and security of systems. In addition, it’s members are also helping to shape future industry standards by contributing to

• Relevance:
  15%

Verification & Validation

• /en/research-topics/dependable-systems-engineering/verification-validation

& Validation Verification & Validation Modern Systems are too complex for manual verification. How do you efficiently and thoroughly verify that the system you are building is behaving “correct”? What is [...] What is the quality of your verification efforts? Are they according to standards? AIT’s Dependable Systems Engineering group is providing know-how, methodologies and tools to answer these questions. The group’s [...] general software quality checks. We study classical and embedded software, as well as cyber-physical systems that combine discrete and continuous dynamics. The group produces innovative, tool-supported approaches

• Relevance:
  15%

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

• Relevance:
  15%

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

• Relevance:
  11%

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

• Relevance:
  16%

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

• Relevance:
  15%

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

• Relevance:
  16%

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

• Relevance:
  16%

Trainings & Consulting

• /en/research-topics/dependable-systems-engineering/trainings-consulting

Trainings & Consulting Trainings & Consulting Members of the Dependable Systems Engineering group are experienced lecturers (lecturing at, e.g., TU Wien, FH Campus) and are available for trainings and/or

• Relevance:
  11%

Insight into virtual currencies

• /en/research-topics/datascienceartificialintelligence/unser-angebot/graphsense

impact. Austrian researchers are working on algorithmic solutions designed to help us understand such systems and to detect any anomalies in them. The creation of virtual currencies such as bitcoin demonstrates [...] globe within just a few minutes for minimal transaction costs. In contrast to existing currency systems, virtual currencies operate without centralised controls (e.g. central banks) and without using

• Relevance:
  11%

PELAGIOS

• /en/research-topics/datascienceartificialintelligence/projects/pelagios

for linking these diverse and technically heterogeneous data. The Pelagios partners use a common system to encode place names in their data, thus turning previously isolated digital datasets into a globally

• Relevance:
  8%

SCAPE

• /en/research-topics/datascienceartificialintelligence/projects/scape

the project runtime. In addition, a policy-based preservation planning tool and an automated watch system ensure a secure and targeted implementation of institutional preservation strategies. The project

• Relevance:
  10%

CRISMA

• /en/research-topics/crisis-and-disaster-management/projects/crisma

project shall develop a simulation-based decision support system for modelling crisis management, improved action and preparedness. This system shall facilitate simulation and modelling of realistic crisis [...] Crisis and Disaster Management in Austria; contributions to CRISMA Architecture and parts of the system related to observations from sensors, humans, archives and models; development of the construction

• Relevance:
  14%

InnoSens

• /en/research-topics/crisis-and-disaster-management/projects/innosens

will allow the user to take appropriate decisions. The system shall include in its concepts already interfaces to connect traffic control systems in the future. This will lead also to more precise traffic [...] The InnoSens Project aims to develop and implement an integrated Environmental & Traffic Monitoring System in order to minimize air pollution through optimal control of the actual traffic flow. Therefore [...] Based on existing developments of the AIT Austrian Institute of Technology an integrated information system shall be developed focusing on the acquisition of traffic, environmental as well as meteorological

• Relevance:
  15%

RE-ACTA

• /en/research-topics/crisis-and-disaster-management/projects/re-acta

offered by the system compared to standard solutions. Finally, the entire process will be tested using a neighbourhood assistance demonstrator, consisting of a crowd-tasking management system, a mobile a

• Relevance:
  12%

SUDPLAN

• /en/research-topics/crisis-and-disaster-management/projects/sudplan

consequences of different solutions for environment, urbanization, infrastructure and transport systems. Facts Starting date: January 2010 Duration: 3 Years Budget: 500.000 € Funding: 376.000 € from the

• Relevance:
  10%

Our Offer

• /en/research-topics/new-sensor-technologies/our-offer

Our Offer Our Offer Multimodal sensor system for safety-critical event detection read more Local situation awareness in real time read more Surveillance of railway tracks and highways read more Safety

• Relevance:
  12%

VIF Forum 2018: Marco Conter präsentiert das Projekt WiABahn

stattfindenden VIF Forums 2018 wird Marco Conter, Senior Research Engineer am Center for Mobility Systems, die Ergebnisse des Projekts WiABahn vorstellen. WiABahn untersuchte mithilfe messtechnischer Erhebung

• Relevance:
  11%

RACER

• /en/research-topics/modelling-of-processes-and-components/projects/racer

project FRCDoorDemonstrator with 25% weight saving has been achieved successfully for all the door systems. Project FRCDoorDemonstrator was coordinated by LKR Leichtmetallkompetenzzentrum Ranshofen GmbH,

• Relevance:
  9%