Search

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%

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%

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%

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%

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%

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%

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%

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%

Projects overiew

/en/projects

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:

14%

Circular Building Solutions

/en/solutions/circular-building-solutions

many errors in the control strategies of HVAC systems. AIT's unique digital controller test bench allows control strategies for building automation systems to be tested at an early stage of the project [...] and artificial intelligence) allow operators of buildings, systems and components to provide data-based proof of the efficiency of their systems, detect problems and faults at an early stage (e.g. for remote [...] Reuse and recycling of construction materials Using Digital Technologies – Smart data management systems for efficient material handling Developing Circular Business Models – New approaches for a sustainable

Relevance:

14%

Vehicle System Simulation

/en/solutions/vehicle-system-simulation

Vehicle System Simulation Services AIT develops multi-physical models that encompass all relevant aspects within the electrical, mechanical, thermal and magnetic domains of technical systems. Extensive [...] Vehicle System Simulation Projekte × Kontakt Formular Pflichtfelder sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send DI Dr. Dragan Simic Thematic Coordinator Vehicle System Simulation

Relevance:

15%

New Sensor Technologies

/en/solutions/new-sensor-technologies

Sensor Technologies focuses on the research and development of new approaches for intelligent sensor systems that combine - in comparison to conventional solutions - multiple sensor modalities with new technologies [...] alarm rate in the detection of safety and security-critical parameters and events. The resulting systems and their new algorithmic approaches are being tested together with industrial partners for applications

Relevance:

12%

Policy Lab on Public procurement promoting innovation

/en/research-topics/societal-futures/projects/policy-lab-on-public-procurement-promoting-innovation

* markiert. Name * E-Mail * Betreff * Nachricht * Send Mag.ª Eva Buchinger Center for Innovation Systems & Policy +43(0) 50550-4543 +43(0) 50550-2201 eva.buchinger(at)ait.ac.at

Relevance:

11%

Team

/en/solutions/3d-vision/team

Team DI Dr. Manfred Gruber Head of Competence Unit Autonomous Systems Tel: +43 50550-4183 Fax: +43 50550-2813 e-Mail: manfred.gruber(at)ait.ac.at DI Christian Zinner Thematic Coordinator Schwerpunkte:

Relevance:

11%

Fleet Management and Connected Logistics

/en/solutions/plan

in the EU research project OPTIMUM , the AIT is working on the reduction of traffic volume through system-aware intermodal route planning. Project EMILIA : Logistics concepts and electric vehicle components [...] appropriate mathematical methods and tools for this purpose. Plan revolutionises the entire transport system Globalisation and online commerce are driving the demand for transport, and higher transport volume [...] counter this using the highest mathematical expertise. For our methods and tools, such as the FLEET system, we use traffic forecast information or real-time traffic data to calculate the perfect economical

Relevance:

14%

Mode

/en/solutions/sensing-travel-behavior/mode

superior data quality Multimodal e-ticketing systems allow seamless mobility and convenience Automated travel time calculation for information and monitoring systems How it works Capturing routes and transport [...] automatically track the distances travelled and transport modes used, thus enabling software developers, system integrators and transport operators to design innovative mobility services. MODE provides the missing [...] big advantage Reliable identification of the used means of transport Easy integration in existing systems No user interaction required Professional support and scientific expertise from the AIT Implementation

Relevance:

15%

Experience

/en/solutions/analysis-and-optimization-of-pedestrian-flows/experience

and wayfinding systems by analysing architectural models and designs in virtual, immersive test environments. EXPERIENCE your benefits Optimisation of infrastructure and wayfinding systems in existing or [...] and wayfinding systems can be quickly identified by EXPERIENCE, allowing the optimisation of pedestrian flows, safety, efficiency, and comfort. Research Field Integrated Mobility Systems × Kontakt Formular [...] movements, ambient noise and pedestrian flows are included in the simulation as well as wayfinding system components such as signs, screens or PA announcements. Test subjects go through different and individual

Relevance:

16%

Simulate

/en/solutions/analysis-and-optimization-of-pedestrian-flows/simulate

Pro Event Team für Wien GmbH Stadt Wien Carlo Ratti Associati Research Field Integrated Mobility Systems × Kontakt Formular Pflichtfelder sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht *

Relevance:

7%

Employment and Industry 4.0

/en/research-topics/innovation-systems-digitalisation/projects/employment-and-industry-40

Name * E-Mail * Betreff * Nachricht * Send Univ.-Prof. Dr. Karl-Heinz Leitner Center for Innovation Systems & Policy +43 50550-4567 +43 50550-2201 karl-heinz.leitner(at)ait.ac.at

Relevance:

11%

Data Market Austria

/en/research-topics/datascienceartificialintelligence/projects/dma

Lefkopoulos KG – bouncingbytes, Semantic Web Company GmbH, Siemens AG Austria, T-Mobile Austria GmbH, T-Systems Austria GmbH, TDA Trusted Data Analytics GmbH & Co KG, Wikimedia Austria, Zentralanstalt für Meterologie

Relevance:

8%

Inhaltstyp

Kategorien

Sort by