A5019955062- Security and Verification in Computing
- Parallel Computing and Optimization Techniques
- Software System Performance and Reliability
- Advanced Software Engineering Methodologies
- Software Engineering Research
- Advanced Malware Detection Techniques
- Real-Time Systems Scheduling
- Network Security and Intrusion Detection
- Distributed systems and fault tolerance
- Cloud Data Security Solutions
Friedrich-Alexander-Universität Erlangen-Nürnberg
2012-2019
System software can typically be configured at compile time via a comfortable feature-based interface to tailor its functionality towards specific use case. However, with the growing number of features, this tailoring process becomes increasingly difficult: As prominent example, Linux kernel in v3.14 provides nearly 14 000 configuration options choose from. Even developers embedded systems refrain from trying build minimized distinctive for their device – and thereby waste memory money...
In the embedded domain, industrial sectors (i.e., automotive industry, avionics) are undergoing radical changes. They broadly adopt commodity hardware and move away from special-purpose control units. During this transition, heterogeneous software components consolidated to run on operating systems. To efficiently consolidate such components, a modular encapsulation of common functionality into reusable binary files shared libraries) is essential. However, libraries often unnecessarily large...
Interrupt handling with predictably low latency is a must for systems to respond external events. System designers of tiny embedded computers large-scale distributed face the challenge ever-increasing hardware and software complexity. In absence precise timing models, measurement-based approaches are required achieve latency. this paper, we present INTspect, tool that systematically evaluates interrupt latency, at run-time, in Linux operating system kernel. We apply INTspect on two distinct...
As computer processors and their hardware designs continuously evolve, operating systems provide many different assembly-level implementations for the same functionality. This enables support new platforms ensures backward compatibility older ones at time. However, source code of grows more complex becomes much harder to maintain.
System software can typically be configured at compile time via a comfortable feature-based interface to tailor its functionality towards specific use case. However, with the growing number of features, this tailoring process becomes increasingly difficult: As prominent example, Linux kernel in v3.14 provides nearly 14 000 configuration options choose from. Even developers embedded systems refrain from trying build minimized distinctive for their device – and thereby waste memory money...