-
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 [...] combine discrete and continuous dynamics. The tremendous complexity of the CPS applications, such as autonomous vehicles, makes full and exhaustive verification of the system during design-time virtually [...] 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
-
Publications
- /en/research-topics/new-sensor-technologies/situational-awareness-decision-support/publications
R. Köbl, M. Litzenberger, et al.: Air quality impact of intelligent transportation system actions used in a decision support system for adaptive traffic management, Int. J. Environment and Pollution 2015 [...] 2015, Vol. 57, Nos. 3/4, pp. 133-145 S. Schraml, A. Belbachir, H. Bischof: An Event-Driven Stereo System for Real-Time 3-D 360° Panoramic Vision, IEEE Transactions on Industrial Electronics 2016, Vol. 63 [...] monitoring using optical time-domain reflectometry, IEEE International Conference on Intelligent Rail Transportation (ICIRT), 2016, S89-93 A. Papp, C. Wiesmeyr, M. Litzenberger, H. Garn, W. Kropatsch: German Conference
-
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 [...] model-based testing track). 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
-
Publications
- /en/research-topics/surveillance-protection/design-and-development-of-embedded-vision-systems/publications
Surveillance and Traffic Control System, 12th World Congress on Intelligent Transport Systems, San Francisco, USA, 06.-10.11.2005, "12th World Congress on Intelligent Transport Systems", Mira Digital Publications [...] advanced Video-based Surveillance Systems, Kingston, UK, 04.09.2001, "European Workshop on advanced Video-based Surveillance Systems Advanced Video-based Surveillance Systems 2001", IAPR, London (2001), E [...] Networks, Communication Systems, Networks and Digital Signal Processiing (CSNDSP), Graz, Austria, 23.-25.07.2008, Proceedings of the Sixth International Symposium on Communication Systems, Networks and Digital
-
Employment and Industry 4.0
- /en/research-topics/innovation-systems-digitalisation/projects/employment-and-industry-40
automation, industrial policy Star t : 2016 Duration : 1.5 years Funded b y : Austrian Ministry for Transport, Innovation and Technology Project partn er : Österreichisches Wirtschaftsforschungsinstitut, Fraunhofer [...] 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
-
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 [...] the Transport Sector Autonomous Systems Battery Materials & Characterization Structural Dynamics and Assessment Biosignal Processing Cardiovascular Diagnostics Casting Technologies Complex Dynamical Systems [...] Telemedical Solutions Thermal Energy Systems Thermophysics Transport Optimisation & Logistics Vehicle System Simulation Verification & Validation Vibration and Structural Dynamics 100% renewable Pinzgau 3beLiEVe
-
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 [...] the Transport Sector Autonomous Systems Battery Materials & Characterization Structural Dynamics and Assessment Biosignal Processing Cardiovascular Diagnostics Casting Technologies Complex Dynamical Systems [...] Telemedical Solutions Thermal Energy Systems Thermophysics Transport Optimisation & Logistics Vehicle System Simulation Verification & Validation Vibration and Structural Dynamics 1,5 MN Extrusion plant 250 t
-
Mapping Digitalisierung
- /en/research-topics/innovation-systems-digitalisation/projects/mapping-digitalisierung
digitization of all areas of life is a key challenge for business, society and politics. The high dynamics and the disruptive changes that are emerging in many areas require targeted measures from all players [...] 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
-
Situational Awareness & Decision Support
- /en/research-topics/new-sensor-technologies/situational-awareness-decision-support
and fusing data from radar, ultrasound and radiation detectors, as well as including static and dynamic context information, facilitates comprehensive situational awareness, source localization and automatic [...] presenting all relevant sensor information and alarms in a common, map-type user interface . A prototype system with interfaces to a commercial video surveillance and archive solution (including event list and [...] Contract research and development of innovative, custom solutions Our solutions Multimodal sensor system for safety-critical event detection at “hot spots” Local situation awareness in real-time for security
-
CySiVuS
- /en/research-topics/dependable-systems-engineering/projects/cysivus
demonstrated and viable measures were derived to ensure a trustworthy cybersecure networked transport system for autonomous driving vehicles. Facts Research programme: KIRAS Project duration: 10/2017 - [...] CySiVuS Cyber security for transport infrastructure and road operators (CySiVuS) From the point of view of road traffic infrastructure, cyber attacks pose an eminent threat to autonomously driving and [...] well as vehicle users. The KIRAS project CySiVuS has identified the entire traffic infrastructure system with regard to specific IT security issues in the context of a scoping process for its requirements
-
AQUAS2
- /en/research-topics/dependable-systems-engineering/projects/aquas2
industry and transportation considers the interdependencies between cybersecurity , safety and additional dependability attributes for highly automated networked systems and systems of systems. Hence, AQUAS2 [...] AQUAS2 For safety-critical systems in domains such as transportation, aerospace, or industrial control, this project focused on: Safety/Security/Performance to be considered together, during the overall [...] and increasing system quality and maintaining compliance with more and more exacting standards. Improved tool features and capabilities. There is an ever-increasing complexity of the systems we engineer in
-
Reference projects
- /en/research-topics/dependable-systems-engineering/reference-projects
(Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments) ELEPRO (Project planning tool for electronic railway interlocking systems) – (Customer project [...] test case generation for non-functional properties of systems of systems) Projects completed SafeCer (Safety Certification of SW-intensive Systems with Reusable Components) 2011 - 2015 INTEGREEN (Integration [...] (Innovative driver assistance system for smart trams of the future) AEROCEPTOR (UAV Based Innovative Means for Land and Sea Non-Cooperative Vehicle Stop) CRYSTAL (Critical Systems Engineering Factories) EMC²
-
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 [...] 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 to verification [...] 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
-
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 [...] keeping up with the actual threat landscape. A special focus is on collaborative and dynamic systems. × Kontakt Formular Pflichtfelder sind mit einem * markiert. Name * E-Mail * Betreff * Nachricht * Send
-
ABS4TSO
- /en/research-topics/smart-grids/projects/abs4tso
provision of highly dynamic services for frequency and angle stability by means of converter-based generation and storage systems. Based on the analysis of expected future demand for such system services, several [...] achieving system stability, this investigation focuses on the following applications: Frequency stabilization via virtual inertia Provision of highly dynamic control power Damping of system oscillations [...] Name * E-Mail * Betreff * Nachricht * Send Adolfo Anta , PhD Senior researcher / Electric Energy Systems +43 50550 6031 +43 50550 6390 adolfo.anta(at)ait.ac.at
-
Team
- /en/research-topics/cyber-security/team
Intelligent Transport Systems, Border Control https://www.linkedin.com/in/arndt-bonitz-770637175/ Martin Latzenhofer Risk Management, Security Management, Process Integration & Audit, Automotive Systems https://www [...] Key Management System (KMS) Stephan Krenn Privacy, cryptographic protocols https://www.linkedin.com/in/stephan-krenn-83a92aa2/ Stephan Laschet Software development, Key Management System (KMS) Thomas Lorünser [...] testbed design and development Viktor Beck Master Student David-Mark Allison Industrial control systems, digital twins https://www.linkedin.com/in/david-allison-infosec/ Wolfgang Hotwagner Algorithm testbed
-
WAALTeR
- /en/research-topics/capturing-experience/projects/waalter
tion of today’s society and rests upon Viennese current concepts. WAALTeR develops an integrated system solution based on existing products and prototypes. These solutions are combined to flexible service [...] investigate the effect of WAALTeR on well-being of the participants at the age of 65+. Key Words: System integration, empowerment, user evaluation, exploitation strategies, Smart City Start: 12/2016 Duration: [...] +43 50550-2201 markus.garschall(at)ait.ac.at This project was funded by the Federal Ministry of Transport, Innovation and Technology (BMVIT) and commissioned by the Austrian Research Promotion Agency (FFG)
-
OptiVID
- /en/research-topics/experience-measurement/projects/optivid
social aspect is refused for elderly people with visually impairments. The project OptiVID provides a systems, which allows the target group (elderly people with visual impairments) to apply filter- and opt [...] like Angular, Electron, etc. Support of development process with UCD-methods Evaluation of the final system regarding usability, UX and impact on daily life Scientific dissemination Lead of the project consortium [...] 865698 AIT project management: Andreas Sackl This project was funded by the Federal Ministry of Transport, Innovation and Technology (BMVIT) and commissioned by the Austrian Research Promotion Agency (FFG)
-
MMAssist
- /en/research-topics/experience-measurement/projects/mmassist
Assistency Systems for the production of Human-Machine Cooperations The aim of MMAssist is to examine the nature and characteristics in the context of production and to develop optimized assistency systems, which [...] real life. In this way, new insights concerning the acceptance and experience when using assistency systems can be generated. This also allows us to minimize the workload and suppport all employees. Key Words: [...] Name * E-Mail * Betreff * Nachricht * Send This project was funded by the Federal Ministry of Transport, Innovation and Technology (BMVIT) and commissioned by the Austrian Research Promotion Agency (FFG)
-
Molecular Imaging Publications
- /en/themen/molecular-imaging/molecular-imaging-publications
Chemistry 3(1): 8. Tournier, N., B. Stieger and O. Langer (2018). "Imaging techniques to study drug transporter function in vivo." Pharmacology & Therapeutics 189: 104-122. Mairinger, S., V. Zoufal, T. Wanek [...] Wadsak, M. Hacker, P. Marhofer, M. Zeitlinger and O. Langer (2017). "Assessment of P-Glycoprotein Transport Activity at the Human Blood Retina Barrier with (R)-C-11-Verapamil PET." Journal of Nuclear Medicine [...] Bauer (2017). "Reproducibility of Quantitative Brain Imaging Using a PET-Only and a Combined PET/MR System." Frontiers in Neuroscience 11. Matsuda, A., R. Karch, M. Bauer, A. Traxl, M. Zeitlinger and O. Langer
Searched for "Dynamic Transportation Systems".
Found 485 results in 51 milliseconds.
Displaying results 261 to 280 of 485.