Learn More
The application field of Embedded Linux devices embraces many different economic sectors. These embedded systems are designed to execute long running software. In order to deploy Embedded Linux devices, which are intended to be operational for a longer period of time, it is mandatory to improve certain functional areas like availability, serviceability,(More)
Deadlocks are a common problem that might arise when dealing with parallel processes or multiple threads, where locks are used to handle shared resources and implement process synchronization. Commonly used methods for handling deadlocks within systems are (i) deadlock detection, (ii) deadlock prevention, or (iii) deadlock avoidance. Most existing static(More)
IEC 61499 is a popular standard for distributed control systems. It uses a graphical, application-centric design approach by composition of function blocks. After the design the system is usually partitioned and mapped to the available devices. The required communication between these devices is handled by the runtime and/or the target implementation and(More)
In practice, software is often deployed with several hidden bugs despite various test processes and static analyses. Such bugs often cause a phenomenon called software aging that refers to the accumulation of errors occurring in long running software systems that results in a decrease of performance and an increases of the probability to crash the entire(More)
Distributed control systems relying on IEC 61499 are a common engineering approach for various application domains ranging from industrial control to the management and control of modern buildings. In this paper we propose a generic fault-injection concept to support the verification of applications. A potential use-case therefore is, for example, to stress(More)
  • 1