Search
Search Results
-
50 Jahre ICT an der TU Wien – 20 Jahre Forschungsgruppe Embedded Systems an der FH Technikum Wien
In Austria, Universities of Applied Sciences (UAS) are a relatively new type of education when compared to other countries. Research and development...
-
Formally understanding Rust’s ownership and borrowing system at the memory level
Rust is an emergent systems programming language highlighting memory safety through its Ownership and Borrowing System (OBS). Formalizing OBS in...
-
Status quo und experimentelle Validierung von zellulären Netzen für Drohnen
The EASA UAV regulations introduced in January 2021 enable many new business areas for potential UAV applications. In particular, the defined...
-
The hexatope and octatope abstract domains for neural network verification
Efficient verification algorithms for neural networks often depend on various abstract domains such as intervals , zonotopes , and linear star sets ....
-
Runtime verification of partially-synchronous distributed system
This paper focuses on runtime verification of distributed systems in the partial synchronous model, where a clock synchronization algorithm ensures a...
-
Partial program analysis for staged compilation systems
In spite of decades of static-analysis research behind develo** precise whole-program dataflow analyses, languages that use just-in-time (JIT)...
-
An input–output relational domain for algebraic data types and functional arrays
We define an abstract interpreter for programs manipulating scalars, immutable non-recursive algebraic data types (ADTs), functional arrays and...
-
Verknüpfung komplexer digitaler Daten von UAS-Flugsteuerungen mit einer verständlichen Schnittstelle für Pilot:innen
This study is dedicated to the technological, operational and human challenges in the execution of missions of unmanned aerial vehicles (UAVs). Due...
-
(Un)Solvable loop analysis
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a...
-
Aspects of partially automated DevOps cycles and requirements for tracking in aerospace applications
Safety and efficiency stand as paramount in any application within the aerospace sector. This article will highlight the importance of modern DevOps...
-
Requirements and design of powertrains for eVTOLs
The potential future of personal transportation and taxi services may be in some sectors beneficially amended with electric vertical take-off and...
-
ESIT – a digital twin of air surveillance infrastructure
Civil air traffic surveillance and management depends heavily on the use of aircraft transponders replying to radio interrogations from cooperative...
-
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
Recent methods based on Symbolic Computer Algebra (SCA) have shown great success in formal verification of multipliers and—more recently—of dividers...
-
Information-flow interfaces
Contract-based design is a promising methodology for taming the complexity of develo** sophisticated systems. A formal contract distinguishes...
-
Dynamic dependability analysis of shuffle-exchange networks
Designing dependable multiprocessor systems requires reliable interconnection networks. Multistage interconnection networks (MINs), including...
-
Nachhaltige Antriebssysteme für künftige Flugzeugsysteme
Increasing global warming and how to reduce it are issues for which scientists and engineers must find solutions as soon as possible. Nowadays the...
-
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Cyber-physical systems are complex environments that combine physical devices (i.e., sensors and actuators) with a software controller. The ubiquity...
-
Investigation and comparison of permanent magnet rotors produced by different additive manufacturing methods
The advancements in technology have led to a growing interest in additive manufacturing owing to its numerous benefits such as increased degree of...
-
Software do** analysis for human oversight
This article introduces a framework that is meant to assist in mitigating societal risks that software can pose. Concretely, this encompasses facets...