Inhaltstyp
Kategorien
-
Laboratories overview
- /en/laboratories
deformation dilatometer Additive Manufacturing Laboratory Drive Testing Laboratory Battery diagnostics Battery Materials Development Battery Test Laboratory Electrode Preparation and Cell Production Vibration [...] and vibration testing of components SmartEST Lab Technology Experience Lab Laboratories Thermophysics Ambient noise, rolling noise and pass-by and immission measurements Environmental Testing Laboratory vacuum [...] Vision, Automation & Control Filter by research area... Filter by research area... Accredited: Testing Lab & Certification body for Persons Assistive and Autonomous Systems Cooperative Digital Technologies
-
Verification & Validation
- /en/research-topics/dependable-systems-engineering/verification-validation
range of methods and application domains. We specialize in rigorous software development, automated test case generation, semi-automated machine code analysis for systematic weaknesses, run-time verification [...] sure to check the “Trainings & Consulting” page to find out about additional offerings. Automated Test Case Generation read more Runtime Verification read more Machine Code Analysis read more × Kontakt
-
Safety & Security Co-Engineering
- /en/research-topics/dependable-systems-engineering/safety-security/safety-security-co-engineering
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 up with
-
Automated Test Case Generation
- /en/research-topics/dependable-systems-engineering/verification-validation/automated-test-case-generation
Automated Test Case Generation Automated Test Case Generation Model-based test case generation (MBTCG) is about automatically generating test cases from a computer readable specification. Its advantages [...] automation of the test-design process with upsides such as a guaranteed specification coverage and automatic test-case/requirement tracing. In addition to providing efficient and effective tests, the technique [...] Services TCG as a service Tools Tool adaptions Domain Specific Language development and test case generation support Test model development support TCG for model development environments × Kontakt Formular
-
Machine Code Analysis
- /en/research-topics/dependable-systems-engineering/verification-validation/machine-code-analysis
it is important to check whether there are no such hidden weaknesses. Techniques like penetration testing, fuzzing, and others (that AIT also is offering) help you to reduce your risks, however, to gain
-
Adaptiv Systems Analysis
- /en/research-topics/dependable-systems-engineering/verification-validation/adaptiv-systems-analysis
ned research areas (e.g., “Verification of systems relying on AI techniques” in the model-based testing track). More advanced topics such as “dynamic assurance” and “control synthesis for adaptive dependable
-
Trainings & Consulting
- /en/research-topics/dependable-systems-engineering/trainings-consulting
support. Typical trainings that we conduct are for example: ISO26262 Trainings ISO62443 Consultancy Test Plan Review Software Engineering Trainings Please get in contact with us for further information.
-
Insight into virtual currencies
- /en/research-topics/datascienceartificialintelligence/unser-angebot/graphsense
structures need to be developed for horizontally scalable infrastructures (e.g. Apache Stark), and then tested for their practical application. Generic applicability As well as being used to detect anomalies
-
SCAPE
- /en/research-topics/datascienceartificialintelligence/projects/scape
are based on a framework for automated, quality assured work-flows, which is being elaborated and tested during the project runtime. In addition, a policy-based preservation planning tool and an automated
-
DRIVER - Driving Innovation in Crisis Management for European Resilience
- /en/research-topics/crisis-and-disaster-management/projects/driver
those involved in crisis management. DRIVER is achieving these by establishing a distributed European test-bed for crisis management capability development with proven evaluation methodologies. DRIVER aims [...] validate innovative, yet practical, crisis management solutions that work, that have been tried and tested, and above all are used for, and by, emergency practitioners. × Kontakt Formular Pflichtfelder sind
-
InnoSens
- /en/research-topics/crisis-and-disaster-management/projects/innosens
reduction. In order to evaluate and demonstrate the research results a prototype shall be realized and tested in collaboration with industrial partners, communities and authorities from Lower Austria. Facts
-
RE-ACTA
- /en/research-topics/crisis-and-disaster-management/projects/re-acta
added value 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
-
Single View
- /en/news-events/single-view
Alternatives to animal testing: Honor for AIT Principal Scientist Winfried Neuhaus [more] AIT researchers in keynotes on Industry 5.0 [more] Digital Forest Inventory: Research Initiative Tests the Use of Artificial
-
RACER
- /en/research-topics/numerical-simulation/projects/racer
Airbus Helicopters technical specifications, ready for assembly to RACER and ready for first flight tests in 2022. The comparison of the weight values shows that four of the doors reach a weight saving of
-
Facilities
- /en/research-topics/casting-technologies/facilities
Pressure Infiltration Casting Machine (P-Cast) read more Extruder MAS 45 read more Testing laboratory Material Testing and Characteri-sation read more Fieldemission Scanning Electron Microscope with EDX
-
Genetic markers for selection and authentication
- /en/research-topics/improvement-of-plant-quality-vigor/genetic-markers-for-selection-and-authentication
identification (e.g. via DNA barcoding), population genetics and diversity analyses, for paternity testing, or for the proof of a sample’s origin and authenticity. Reference projects EVOLTREE : stands for
-
Transport Research Arena 2018
- /en/about-the-ait/center/center-for-digital-safety-security/fairs-events/transport-research-arena-2018
detecting unauthorized activities on the railroad embankment. The AIT software has been successfully tested in the above applications and is available for further pilot projects and developments. www.ait.ac [...] Systems_Engineering_en.pdf pdf (131 KB) Machine_Code_Analyzer_en.pdf pdf (108 KB) MOMUT_Automated_Test_Design_en.pdf pdf (660 KB) Runtime_Verification_CPS_en.pdf pdf (186 KB) New Sensor Technologies D
-
Acoustics and Noise Abatement
- /en/solutions/acoustics-and-noise-abatement
Analysis of the acoustic ageing behaviour of road surfaces How it works The data from testing noise barriers, testing road surfaces and numerical simulations of infrastructure components are incorporated [...] and interpretation, accredited tests, a head start through knowledge and suggestions for product optimisation are then provided. the focus of QUIET: optimisation and testing of noise barriers In order to [...] and accurate 3D road surface texture measurements. accredited testing - a central element of our service portfolio As an accredited testing laboratory, the AIT is available to conduct precise measurements
-
VIBES
- /en/solutions/reliable-transport-infrastructure/vibes
vibrations and secondary noise. Shaker As an accredited testing laboratory for shock and vibration tests, we use our electrodynamic shaker to conduct tests for electronic and electrical components, devices, [...] monitoring, we evaluate vibrations and can determine new threshold values. We carry out tests, and compile test reports and expert opinions. vibration is a burden on the population Vibration is detrimental [...] vibrations in structures over longer distances without using direct sensors. forecast, evaluations and tests for your enquirements From our numerous measurements, we gain crucial insights such as vibration forecasts
-
Autodrive
- /en/solutions/automated-driving/reference-projects/autodrive
Autodrive Safety & Security analysis, model-based testing, and development of an ECS (Electronic Components and Systems) Architecture for secure Over-The-Air-Updates for fail-aware, fail-safe, and fai