-
Runtime Verification
- /en/research-topics/dependable-systems-engineering/verification-validation/runtime-verification
Dr. Dejan Nickovic Dependable Systems Engineering +43 50550 4021 +43 50550 4150 dejan.nickovic(at)ait.ac.at
-
Automated Test Case Generation
- /en/research-topics/dependable-systems-engineering/verification-validation/automated-test-case-generation
test suites are useful to review a specification model for unintended corner cases and side effects. AIT’s MBT tool is available commercially and is being applied to various models of different sizes successfully [...] Send DI Rupert Schlick Dependable Systems Engineering +43 50550 4124 +43 50550 4150 rupert.schlick(at)ait.ac.at Links MoMuT - A Familiy of Tools
-
Safety & Security Co-Engineering
- /en/research-topics/dependable-systems-engineering/safety-security/safety-security-co-engineering
Nachricht * Send Dr. Stefan Schauer Senior Scientist +43 50550 4055 +43 50550 4150 stefan.schauer(at)ait.ac.at
-
WEFACT
- /en/research-topics/dependable-systems-engineering/safety-security/wefact
WEFACT WEFACT WEFACT eases standard compliant safety and security engineering. Based on AIT expertise standards are modeled and used in WEFACT as framework to develop a system while generating all artefacts [...] * Send Christoph Schmittner , MSc Scientist +43 50550 4244 +43 50550 4150 christoph.schmittner(at)ait.ac.at Infomaterial Datasheet WEFACT (German) pdf (166 KB) Datasheet WEFACT pdf (163 KB)
-
Modelling of Cyber-Threats
- /en/research-topics/dependable-systems-engineering/safety-security/modelling-of-cyber-threats
* Send Christoph Schmittner , MSc Scientist +43 50550 4244 +43 50550 4150 christoph.schmittner(at)ait.ac.at
-
Verification & Validation
- /en/research-topics/dependable-systems-engineering/verification-validation
you need to use? 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 [...] Dr. Dejan Nickovic Dependable Systems Engineering +43 50550 4021 +43 50550 4150 dejan.nickovic(at)ait.ac.at
-
Safety & Security
- /en/research-topics/dependable-systems-engineering/safety-security
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, security and reliability [...] * Send Christoph Schmittner , MSc Scientist +43 50550 4244 +43 50550 4150 christoph.schmittner(at)ait.ac.at
-
Laboratories overview
- /en/laboratories
AIT Projects Filter projects Filter by center... Filter by center... Digital Safety & Security Energy Health & Bioresources Innovation Systems & Policy Technology Experience Transport Technologies Vision
-
Projects overiew
- /en/projects
AIT Projects Filter projects Filter by center... Filter by center... Digital Safety & Security Energy Health & Bioresources Innovation Systems & Policy Technology Experience Transport Technologies Vision
-
Digital Building Technologies
- /en/solutions/digital-building-technologies
make a manually created, cost-optimal design extremely complex and fraught with high uncertainties. AIT uses proven methods from industry and power plant technology to create cost-optimal overall solutions [...] services/MSR departments are the cause of many errors in the control strategies of HVAC systems. At AIT's unique Digital Controller Test Bench, control strategies for building automation systems can be tested [...] (HVAC) are confronted with new requirements as well as opportunities in the context of digitalization. AIT supports these companies both in the development of digital product strategies and in the implementation
-
KryoReIF
- /en/research-topics/casting-technologies/projects/kryoreif
Business Dev. / Light Metals Technologies Ranshofen +43 664 8157907 +43 50550-6642 rudolf.gradinger(at)ait.ac.at Project partners SYNRON TCKT International associated partners AIRBUS voestalpine Südpack
-
New Sensor Technologies
- /en/solutions/new-sensor-technologies
population of western industrialised nations. This is a huge health problem. For this reason experts at AIT have developed a contactless measurement process with computer-assisted evaluation using 3D video detection
-
Policy Lab on Public procurement promoting innovation
- /en/research-topics/societal-futures/projects/policy-lab-on-public-procurement-promoting-innovation
Since 2007 the Austrian Institute of Technology AIT supports the Austrian Government initiative ‘Public Procurement Promoting Innovation (PPPI)’. Thereby, the AIT Policy Lab approach has been developed for [...] Buchinger Center for Innovation Systems & Policy +43(0) 50550-4543 +43(0) 50550-2201 eva.buchinger(at)ait.ac.at
-
Team
- /en/solutions/3d-vision/team
gruber(at)ait.ac.at DI Christian Zinner Thematic Coordinator Schwerpunkte: Landfahrzeuge, Arbeitsmaschinen, Eisenbahn Tel.: +43 50550-4120 Fax: +43 50550-2813 e-Mail: christian.zinner(at)ait.ac.at Christoph [...] e-Mail: christoph.sulzbachner(at)ait.ac.at Christoph Nowak Schwerpunkt: Mess- und Prüfsysteme Tel.: +43 50550-4245 Fax: +43 50550-2813 e-Mail: christoph.nowak(at)ait.ac.at
-
Fleet Management and Connected Logistics
- /en/solutions/plan
Connected Logistics Plan Efficiency and economy through appropriate mathematical modelling With PLAN, the AIT combines top mathematical know-how with methods developed in-house and decades of research in the transport [...] Supply chain evaluation, redesign scenarios As a participant in the EU research project OPTIMUM , the AIT is working on the reduction of traffic volume through system-aware intermodal route planning. Project [...] the demand for transport, and higher transport volume also means higher emissions. With PLAN, the AIT offers a means to counter this using the highest mathematical expertise. For our methods and tools
-
Smart Survey
- /en/solutions/sensing-travel-behavior/smart-survey
The app provides movement data such as GPS coordinates and acceleration of the smartphone to the AIT server. There, they are automatically analysed and further processed using pattern recognition methods [...] surveys using smartphones measure data more simply, precisely and economically. With SMART SURVEY, AIT offers you the perfect solution: an efficient, high-quality, reliable and cost-effective method at [...] Markus Ray Head of Competence Unit Digital Resilient Cities +43 50550-6658 +43 50550-6439 markus.ray(at)ait.ac.at
-
Mode
- /en/solutions/sensing-travel-behavior/mode
existing systems No user interaction required Professional support and scientific expertise from the AIT Implementation of real-time applications Privacy and data protection are an inherent part of the software [...] purposes are also tracked. Secure and reliable analysis The collected mobility data is sent to the AIT server for analysis and storage and made available for further processing via standardised interfaces [...] travel time. New approach for your software and mobility services With the MODE software solution, the AIT is several steps ahead of other systems. The automatic, differentiated transport mode identification
-
Experience
- /en/solutions/analysis-and-optimization-of-pedestrian-flows/experience
developed at the AIT, EXPERIENCE uses visual computing technologies and the latest pedestrian simulations to create a virtual environment very close to the real world. This is a result of intensive AIT research [...] Experience Better orientation through virtual experience EXPERIENCE is an innovative AIT process for optimising the design of infrastructures, transport modes and wayfinding systems by analysing architectural [...] Thematic Coordinator "Integrated Digital Urban Planning" +43 50550-6478 +43 50550-6439 stefan.seer(at)ait.ac.at
-
Simulate
- /en/solutions/analysis-and-optimization-of-pedestrian-flows/simulate
is a major challenge . Based on the latest research results and state-of-the-art technologies, the AIT offers tailor-made scalable solutions for simulation, analysis and planning. SIMULATE: your benefits [...] passenger, and customer flows in virtual environments are simulated using software tools developed at the AIT and decades worth of research. Structural adjustments such as changes to passages, or organisational [...] consideration of security, comfort and commercial aspects. SIMULATE is a scientifically validated AIT method The methods we use in SIMULATE are scientifically recognised and the result of years of research
-
Employment and Industry 4.0
- /en/research-topics/innovation-systems-digitalisation/projects/employment-and-industry-40
Leitner Center for Innovation Systems & Policy +43 50550-4567 +43 50550-2201 karl-heinz.leitner(at)ait.ac.at
- «
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- »