A5074973038- Real-Time Systems Scheduling
- Parallel Computing and Optimization Techniques
- Embedded Systems Design Techniques
- Distributed systems and fault tolerance
- Software System Performance and Reliability
- Bat Biology and Ecology Studies
- UAV Applications and Optimization
- Marine animal studies overview
- Green IT and Sustainability
- Advanced Software Engineering Methodologies
- Interconnection Networks and Systems
- Smart Grid Security and Resilience
- IoT and GPS-based Vehicle Safety Systems
- Low-power high-performance VLSI design
- Cloud Data Security Solutions
- Transport Systems and Technology
- Fault Detection and Control Systems
- Simulation Techniques and Applications
- Advanced Queuing Theory Analysis
- IoT-based Smart Home Systems
- CCD and CMOS Imaging Sensors
- Mobile Ad Hoc Networks
- Age of Information Optimization
- Context-Aware Activity Recognition Systems
- Healthcare Technology and Patient Monitoring
Friedrich-Alexander-Universität Erlangen-Nürnberg
2015-2024
Software (Spain)
2024
Engineering related research, such as research on worst-case execution time, uses experimentation to evaluate ideas. For these experiments we need example programs. Furthermore, make the repeatable those programs shall be made publicly available. We collected open-source programs, adapted them a common coding style, and provide collection in open-source. The benchmark is called TACLeBench available from GitHub version 1.9 at publication date of this paper. One main features that all are...
Recent advances in animal tracking technology have ushered a new era biologging. However, the considerable size of many sophisticated biologging devices restricts their application to larger animals, whereas older techniques often still represent state-of-the-art for studying small vertebrates. In industrial applications, low-power wireless sensor networks (WSNs) fulfill requirements similar those needed monitor behavior at high resolution and low tag mass. We developed network (WBN), which...
In this paper, the BATS project is presented, which aims to track behavior of bats via an ultra-low power wireless sensor network. An overview about whole and its parts like node design, tracking grid software infrastructure given evaluation shown. The includes a lightweight that attached combines multiple features. Communication among nodes allows bat encounters. Flight trajectories individual tagged can be recorded at high spatial temporal resolution by ground grid. To increase...
The Battery-Free Internet of Things might revolutionize our understanding sustainable communication, as these IoT devices operate on harvested energy. As this energy can change unpredictably, device operations, including those its network stack, must be resilient to power loss. Transactional intermittency approaches break down tasks into atomic sub-tasks that executed free from failures when sufficient is available. For operation, static program-code analysis methods are required analyse the...
The Battery-Free Internet of Things might revolutionize our understanding connected devices, which harvest their operational energy from the environment (e.g., using solar cells). These systems come with major system-software challenge that intermittently-powered IoT devices have to checkpoint state in non-volatile memory later resume operation this when sufficient is available. scarce resources demand only modified data persisted before a power failure, requires precise...
The fact that energy is a scarce resource in many embedded real-time systems creates the need for energy-aware task schedulers, which not only guarantee timing constraints but also consider consumption. Unfortunately, existing approaches to analyze worst-case execution time (WCET) of usually cannot be directly applied determine its consumption (WCEC) due and being closely correlated on state-of-the-art processors. Instead, WCEC analyzer must take into account particular characteristics...
Abstract Recent advances in animal tracking technology have ushered a new era biologging. However, the considerable size of many sophisticated biologging devices restricts their application to larger animals, while old-fashioned techniques often still represent state-of-the-art for studying small vertebrates. In industrial applications, low-power wireless sensor networks fulfill requirements similar those needed monitor behavior at high resolution and low tag weight. We developed network...
Although internal devices (e.g., memory, timers) and external transceivers, sensors) significantly contribute to the energy consumption of an embedded real-time system, their impact on worst-case response (WCRE) tasks is usually not adequately taken into account. Most WCRE analysis techniques, for example, only focus processor therefore do consider other hardware units. Apart from that, typical approach dealing with assume that all them are always activated, which leads high overestimations...
Energy-neutral real-time systems harvest the entire energy they use from their environment, making it essential to treat as an equally important resource time. As a result, such need solve number of problems that so far have not been addressed by traditional systems. In particular, this includes scheduling tasks with both time and constraints, monitoring budgets, well survival blackout periods during which enough is available keep system fully operational. paper, we address these issues...
Byzantine fault-tolerant (BFT) state-machine replication offers resilience against a wide spectrum of faults including hardware crashes, software failures, and attacks. Unfortunately, having been mostly designed for use on large servers, existing implementations such protocols consume vast amounts memory therefore are not available to embedded systems that consist highly resource-constrained devices. In this paper we address problem with TinyBFT, the first BFT library specifically developed...
Embedded systems with intermittent energy supply can revolutionize the Internet of Things, as they are self-sufficient due to harvesting. Existing intermittent-computing approaches, running directly from non-volatile memory, allow incremental progress machine-code instructions. However, this does not apply many devices (e.g., transceivers) having transactional (i.e., all-or-nothing) semantics: Power failures during transactions lead starvation when frequently experiencing failed attempts. We...
The worst-case response time (WCRT) – the span from release to completion of a real-time task is crucial property systems. However, WCRT analysis complex in practice, as it depends not only on realistic examination execution times (WCET), but also system-level overheads and blocking/preemption times. While implicit path enumeration technique (IPET) has greatly improved automated WCET analysis, resulting values still need be aggregated manually with an errorprone tedious process that yields...
Being able to comprehensively evaluate the individual strengths and weaknesses of worst-case execution time (WCET) analysis tools through benchmarking is essential for improving their accuracy. Unfortunately, a lack knowledge about detailed characteristics, actual complexities, internal structures existing benchmarks often prevents finegrained assessments, sometimes even results in misleading conclusions. In this paper we present GENE, tool that addresses these problems by automatically...
The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis tools are based on real-world applications greatly increases the value of their results. However, at same time, complexity these programs makes it difficult, sometimes even impossible, to obtain all corresponding flow facts (i.e., loop bounds, infeasible paths, and input values triggering WCET), which essential a comprehensive evaluation. In this paper, we address problem by presenting GenE, benchmark...
Reliable and fine-grained cost-models are fundamental for real-time systems to statically predict worst-case execution time (WCET) estimates of program code in order guarantee timeliness. Analogous considerations hold energy-constrained where energy consumption (WCEC) values mandatory ensure meeting predefined budgets. These cost models generally unavailable commercial off-the-shelf (COTS) hardware platforms, although static analysis tools require those the WCET as well WCEC code. To solve...
Energy-neutral real-time systems harvest the entire energy they use from their environment. In such systems, must be treated as an equally important resource time, which creates need to solve a number of problems that so far have not been addressed by traditional systems. particular, this includes scheduling tasks with both time and constraints, monitoring budgets, well survival blackout periods during enough is available keep system fully operational. article, we address these issues...
The static timing analysis of universal real-time operating systems (RTOS) with generically implemented services requires application and system-context-specific knowledge (e.g., number currently active tasks) to bound overheads. However, due the missing notion OS semantics, contemporary tools are unable exploit such information, resulting in failing or overly pessimistic analysis. To tackle this issue, we present our System-wide WCET Analyses framework (SWAN). SWAN's heart is Platina, a...
Comprehensive evaluations of the effectiveness worst-case execution time (WCET) analyzers require a selection benchmarks that pose challenge to these tools. In this paper, we identify pitfalls are associated with selecting such based on complexity metrics (e.g., number loops contained in program), which part caused by fact measures not necessarily stable face compiler optimizations. To address problems, developing tool automatically assesses resilience benchmark against optimizations...
Predictable and analyzable I/O is one of the considerable challenges in design multi-core real-time systems. A common approach to tackle this issue partition schedule transactions such that interference between tasks minimized. While works for packet-oriented interfaces with deterministic blocking times, as ethernet, these techniques are inapplicable a whole range devices nondeterministic behavior commonly found embedded applications. Interfaces, SPI, do not allow fine-grained scheduling...
Traditionally, consumer communication and networking has been dominated by entertainment applications voice communication. With smart homes cars, evolves more towards a basic supply is used not only for convenience, but also in security-related like surveillance or sensors actors window locks doorbells. Resilience of this consequently suddenly becomes hot research area, networks. Our work progress touches topic within area that up to now majorly treated as an orphan: Network stacks are...
High-performance IO demands low-overhead communication between user- and kernel space. This demand can no longer be fulfilled by traditional system calls. Linux's extended Berkeley Packet Filter (BPF) avoids user-/kernel transitions just-in-time compiling user-provided bytecode executing it in mode with near-native speed. To still isolate BPF programs from the kernel, they are statically analyzed for memory- type-safety, which imposes some restrictions but allows good expressiveness high...
High-performance IO demands low-overhead communication between user-and kernel space.This demand can no longer be fulfilled by traditional system calls.Linux's extended Berkeley Packet Filter (BPF) avoids user-/kernel transitions just-in-time compiling user-provided bytecode and executing it in mode with near-native speed.To still isolate BPF programs from the kernel, they are statically analyzed for memory-and type-safety, which imposes some restrictions but allows good expressiveness high...
Implementation-based benchmarking of timing and schedulability analyses requires system code that can be executed on real hardware has defined properties, for example, known worst-case execution times (WCETs) tasks. Traditional approaches creating benchmarks with such characteristics often result in implementations do not resemble real-world systems, either due to work only being simulated by means busy waiting, or because tasks have no control-flow dependencies between each other. In this...
Today's systems offer an increasing number of processor cores, however, the chance to operate them efficiently by dedicating cores specific tasks is often missed. Instead, mixed workloads are processed each core which leads system noise (i.e., interferences, scheduling overheads) and yields subpar performance, only. We therefore propose a design based on Asynchronous Abstract Machines (AAMs). An AAM features light-weight scheduler dedicated group with common characteristics shared code...