Software used to monitor and control operations within an automation system is defined
using domain-specific languages. Latent errors in the control code, if left undetected, can …

Static code analysis techniques are a well-established tool to improve the efficiency of
software developers and for checking the correctness of safety-critical software components …

Latent errors in control system software can be hard to detect through traditional testing
techniques. Such errors, if left undetected, could manifest themselves as failures during run …

We propose a method for detecting execution anomalies in robotics and autonomy software.
The algorithm uses system monitoring techniques to obtain profiles of executions. It uses a …

Static code analysis techniques are widely and successfully used for mainstream
programming languages. However, domain-specific languages and company-specific …

High quality requirements are set for automated production systems (aPS) as malfunctions
can harm humans or cause severe financial loss. These malfunctions can be caused by …

Automated Production Systems (aPS) are highly complex, long-living mechatronic systems,
which are usually programmed according to the standard IEC 61131-3. Control soft-ware …

Static code analysis is a convenient technique to support the development of software.
Without prior test setup, information about a later runtime behavior can be inferred and …

Modern embedded systems are prone to erroneous bit-flips introduced in its hardware by
external disturbances such as alpha particles, electromagnetic interference or intentional …

Complex software-intensive systems are often described as systems of systems (SoS) due to
their heterogeneous architectural elements. As SoS behavior is often only understandable …