Inhaltstyp
Kategorien
-
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
-
Road Condition Monitoring & Optimized Asset Management
- /en/solutions/road-condition-monitoring
planning rehabilitation measures for accident sites. The AIT is a testing laboratory accredited by “Akkreditierung Austria” for testing road surface key parameters. TV feature about RoadSTAR and Motorcycle
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
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
-
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
-
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
-
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
-
Projects overiew
- /en/projects
Learning Detection of traffic jam tails Practical test assessing the information quality about traffic jam tails Detection of traffic jam tails Practical test assessing the information quality about traffic [...] 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 Filter by topic... Filter by topic... 3D Vision and Modeling Accredited: Testing Lab & Certification body for Persons Active and Assisted Living Acoustics and Noise Abatement in
-
Digital Building Technologies
- /en/solutions/digital-building-technologies
strategies of HVAC systems. At AIT's unique Digital Controller Test Bench, control strategies for building automation systems can be tested at an early stage of the project, problems can be identified and [...] innovative energy and control concepts, cost-optimized design of energy systems, virtual commissioning tests (Controller-In-The-Loop CIL) and operational optimization based on measurement data (building analytics)