Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

In this paper, we introduce the first verification method which is able to provide weakly-hard real-time guarantees for tasks and task chains in systems with multiple resources under partitioned scheduling with fixed priorities. Existing weakly-hard real-time verification techniques are restricted today to systems with a single resource. A weakly-hard real-time guarantee specifies an upper bound on the maximum number m of deadline misses of a task in a sequence of k consecutive executions. Such a guarantee is useful if a task can experience a bounded number of deadline misses without impacting the system mission. We present our verification method in the context of switched networks with traffic streams between nodes, and demonstrate its practical applicability in an automotive case study

Analysis of Embedded Controllers Subject to Computational Overruns

Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. As embedded systems are becoming increasingly more complex, microcontrollers run the risk of violating their timing constraints, i.e., overrunning the program deadlines. Breaking these constraints can cause severe damage to both the embedded system and the humans interacting with the device. Therefore, it is crucial to analyse embedded systems properly to ensure that they do not pose any significant danger if the microcontroller overruns a few deadlines.However, there are very few tools available for assessing the safety and performance of embedded control systems when considering the implementation of the microcontroller. This thesis aims to fill this gap in the literature by presenting five papers on the analysis of embedded controllers subject to computational overruns. Details about the real-time operating system's implementation are included into the analysis, such as what happens to the controller's internal state representation when the timing constraints are violated. The contribution includes theoretical and computational tools for analysing the embedded system's stability, performance, and real-time properties.The embedded controller is analysed under three different types of timing violations: blackout events (when no control computation is completed during long periods), weakly-hard constraints (when the number of deadline overruns is constrained over a window), and stochastic overruns (when violations of timing constraints are governed by a probabilistic process). These scenarios are combined with different implementation policies to reduce the gap between the analysis and its practical applicability. The analyses are further validated with a comprehensive experimental campaign performed on both a set of physical processes and multiple simulations.In conclusion, the findings of this thesis reveal that the effect deadline overruns have on the embedded system heavily depends the implementation details and the system's dynamics. Additionally, the stability analysis of embedded controllers subject to deadline overruns is typically conservative, implying that additional insights can be gained by also analysing the system's performance

PID controller design and tuning in networked control systems

Networked control systems (NCS) are distributed real-time computing and control systems with sensors, actuators and controllers that communicate over a shared medium. The distributed nature of NCS and issues related to the shared communication medium pose significant challenges for control design, as the control system no longer follows the rules of classical control theory. The main problems that are not well covered by the traditional control theory are varying time-delays due to communication and computation, and packet losses. During recent years, the control design of NCS and varying time-delay systems has been extensively researched. This investment has provided us with new results on stability. Often the proposed methods and solutions are far too complex for industrial use, especially if wireless automation applications are considered. The algorithms are computationally heavy, possibly requiring complete information from say, a network of hundreds or thousands of nodes. In the wireless case this is not feasible. The above justifies the use and research of simple controller structures and algorithms for NCS. Despite the growing interest towards more advanced control algorithms, the Proportional-Integral-Derivative (PID) controller still has a dominant status in the industry. Nevertheless, using PID for NCS has not been thoroughly investigated, especially with regard to controller tuning. This thesis proposes several PID tuning methods, which provide robustness against the challenges of NCS, namely varying time-delays (jitter) and packet loss. The doctoral thesis consists of a summary and eight publications that focus on the PID controller design, tuning and experimentation in NCS. The thesis includes a literature review of recent stability and control design results in NCS, a summary of publications and the original publications. The control design methods applied in the publications are also reviewed. In the thesis, several new methods for PID tuning in NCS are proposed. To make the methods usable, a PID tuning tool that implements one of the tuning methods is also developed. In order to verify the results of control design with real processes, the thesis suggests using the MoCoNet platform developed at the Helsinki University of Technology, Finland. The platform provides the tools for remote laboratory experiments in NCS settings. The results of the thesis indicate that the PID controller is well suited for NCS provided that the properties of the integrated communication and control system are taken into account in the tuning phase

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems

International audienceCritical embedded systems are often designed as a set of real-time tasks, running on shared computing modules, and communicating through networks. Because of their critical nature, such systems have to meet timing properties. To help the designers to prove the correctness of their system, the real-time systems community has developed numerous approaches for analyzing the worst case times either on the processors (e.g. worst case execution time of a task) or on the networks (e.g. worst case traversal time of a message). However, there is a growing need to consider the complete system and to be able to determine end-to-end properties. Such properties apply to a functional chain which describes the behavior of a sequence of functions, not necessarily hosted on a shared module, from an input until the production of an output. This paper explores two end-to-end properties: freshness and reactivity, and presents an analysis method based on Mixed Integer Linear Programming (MILP). This work is supported by the French National Research Agency within the Satrimmap project

Tools for Real-Time Control Systems Co-Design : A Survey

This report presents a survey of current simulation tools in the area of integrated control and real-time systems design. Each tool is presented with a quick overview followed by a more detailed section describing comparative aspects of the tool. These aspects describe the context and purpose of the tool (scenarios, development stages, activities, and qualities/constraints being addressed) and the actual tool technology (tool architecture, inputs, outputs, modeling content, extensibility and availability). The tools presented in the survey are the following; Jitterbug and TrueTime from the Department of Automatic Control at Lund University, Sweden, AIDA and XILO from the Department of Machine Design at the Royal Institute of Technology, Sweden, Ptolemy II from the Department of Electrical Engineering and Computer Sciences at Berkeley, California, RTSIM from the RETIS Laboratory, Pisa, Italy, and Syndex and Orccad from INRIA, France. The survey also briefly describes some existing commercial tools related to the area of real-time control systems