SEARCH

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:
  17%

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:
  16%

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:
  17%

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 [...] 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 the DSE group

• Relevance:
  18%

Trainings & Consulting

• /en/research-topics/dependable-systems-engineering/trainings-consulting

Trainings & Consulting Trainings & Consulting Members of the Dependable Systems Engineering group are experienced lecturers (lecturing at, e.g., TU Wien, FH Campus) and are available for trainings and/or

• Relevance:
  12%

Insight into virtual currencies

• /en/research-topics/datascienceartificialintelligence/unser-angebot/graphsense

impact. Austrian researchers are working on algorithmic solutions designed to help us understand such systems and to detect any anomalies in them. The creation of virtual currencies such as bitcoin demonstrates [...] globe within just a few minutes for minimal transaction costs. In contrast to existing currency systems, virtual currencies operate without centralised controls (e.g. central banks) and without using

• Relevance:
  12%

PELAGIOS

• /en/research-topics/datascienceartificialintelligence/projects/pelagios

for linking these diverse and technically heterogeneous data. The Pelagios partners use a common system to encode place names in their data, thus turning previously isolated digital datasets into a globally

• Relevance:
  9%

SCAPE

• /en/research-topics/datascienceartificialintelligence/projects/scape

the project runtime. In addition, a policy-based preservation planning tool and an automated watch system ensure a secure and targeted implementation of institutional preservation strategies. The project

• Relevance:
  10%

CRISMA

• /en/research-topics/crisis-and-disaster-management/projects/crisma

project shall develop a simulation-based decision support system for modelling crisis management, improved action and preparedness. This system shall facilitate simulation and modelling of realistic crisis [...] Crisis and Disaster Management in Austria; contributions to CRISMA Architecture and parts of the system related to observations from sensors, humans, archives and models; development of the construction

• Relevance:
  15%

InnoSens

• /en/research-topics/crisis-and-disaster-management/projects/innosens

will allow the user to take appropriate decisions. The system shall include in its concepts already interfaces to connect traffic control systems in the future. This will lead also to more precise traffic [...] The InnoSens Project aims to develop and implement an integrated Environmental & Traffic Monitoring System in order to minimize air pollution through optimal control of the actual traffic flow. Therefore [...] Based on existing developments of the AIT Austrian Institute of Technology an integrated information system shall be developed focusing on the acquisition of traffic, environmental as well as meteorological

• Relevance:
  16%

RE-ACTA

• /en/research-topics/crisis-and-disaster-management/projects/re-acta

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 mobile a

• Relevance:
  13%

SUDPLAN

• /en/research-topics/crisis-and-disaster-management/projects/sudplan

consequences of different solutions for environment, urbanization, infrastructure and transport systems. Facts Starting date: January 2010 Duration: 3 Years Budget: 500.000 € Funding: 376.000 € from the

• Relevance:
  11%

Our Offer

• /en/research-topics/new-sensor-technologies/our-offer

Our Offer Our Offer Multimodal sensor system for safety-critical event detection read more Local situation awareness in real time read more Surveillance of railway tracks and highways read more Safety

• Relevance:
  13%

VIF Forum 2018: Marco Conter präsentiert das Projekt WiABahn

stattfindenden VIF Forums 2018 wird Marco Conter, Senior Research Engineer am Center for Mobility Systems, die Ergebnisse des Projekts WiABahn vorstellen. WiABahn untersuchte mithilfe messtechnischer Erhebung

• Relevance:
  11%

RACER

• /en/research-topics/modelling-of-processes-and-components/projects/racer

project FRCDoorDemonstrator with 25% weight saving has been achieved successfully for all the door systems. Project FRCDoorDemonstrator was coordinated by LKR Leichtmetallkompetenzzentrum Ranshofen GmbH,

• Relevance:
  9%

GSV-Forum „Innovationen und Digitalisierung auf Schiene“

1, 1220 Wien) veranstaltet, präsentiert Jürgen Zajicek, Research Engineer am Center for Mobility Systems, die Studie „Soziale und organisatorische Auswirkungen zunehmender Automatisierung im österreichischen

• Relevance:
  11%

Genetic markers for selection and authentication

• /en/research-topics/improvement-of-plant-quality-vigor/genetic-markers-for-selection-and-authentication

Gaubitzer, D. Kopecky, J. Schmidt, S. Fluch, E. M. Sehr, A. Kremer (2016) Evoltree eLab – An information system for forest genetics. In: A. Kremer, S. Hayes, S. C. González-Martínez (Eds.) Evolution of Trees and

• Relevance:
  6%

Marian Ralbovsky hält Baudynamik-Vortrag bei BASt-Symposium

BASt-Symposiums „Intelligente Brücke“ wird Marian Ralbovsky, Scientist am AIT Center vor Mobility Systems, einen Vortrag zum Thema Quantifizierung der Zuverlässigkeit von dauerüberwachten Bestandsbrücken

• Relevance:
  12%

Surveillance & Protection

• /en/solutions/surveillance-protection

and "Development of Embedded Vision Systems". An important objective in this context is, for example, the development of state-of-the-art technologies and systems for the protection of citizens when [...] sensors, but industry often faces major problems in terms of interoperability of hardware and software systems as well as efficient and cost-effective data analysis. In order to meet this challenge , AIT has

• Relevance:
  15%

Visionen in der Synthetischen Biologie

Imagination brauchen“. Dr. Petra Schaper-Rinkel, Senior Scientist am AIT Center for Innovation Systems & Policy, wurde eingeladen, um über die Entwicklungen in der Synthetischen Biologie, die Möglichkeit

• Relevance:
  13%