Safety critical control systems are widely spread over different domains. For such systems, a specified minimum amount of control performance must hold under all circumstances. Thereby such control systems are frequently applied in mass products, where cost reasons result in the effort to reduce the system platform's resources. As a consequence, these restricted system resources lead to negative effects like delays and dropped samples. When verifying the control systems performance, a system engineer has to take the worst case platform effects into account.   We introduce in this paper a model, that bounds both the dynamic behavior of a control system and the occurrence of dropped samples for an arbitrary interval of consecutive samples. This approach enables a separate consideration of the worst case platform and control behavior, but also enables an efficient controller/platform co-design due to it's expressiveness. Based on this model we present methods to analyze the effect of dropped samples on the worst-case control behavior.
['Tobias Bund', 'Frank Slomka']
Worst-case performance validation of safety-critical control systems with dropped samples