As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …

Redundancy mechanisms such as triple modular redundancy protect safety-critical
components by replication and thus improve systems fault tolerance. However, the gained …

Traditional production systems are characterized by rare software updates and fixed
production lines. Each production unit is designed and programmed for a specific task …

Abstract (EN) The often huge configuration spaces of modern software systems render the
detection, prediction, and explanation of defects and inadvertent behaviors challenging …

Although commonly used in industry, a major drawback of Stateflow is that it lacks support
for stochastic properties; properties that are often needed to build accurate models of real …

РАЗРАБОТКА МЕТОДИКИ СНИЖЕНИЯ ВЕРОЯТНОСТИ ПРЕЖДЕВРЕМЕННОГО
ПЕРЕХОДА Page 1 МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ …

This paper examines the verification of stability, a control requirement, over discrete control
systems represented as Simulink diagrams, using different model checking approaches and …