ИСТИНА

During design of a fault tolerant real-time computer system (RTCS), it is necessary to guarantee that real-time constraints on system operation are met (i.e. all jobs are executed within deadlines) despite the increase of workload due to use of fault tolerance techniques (FTT). Checking these constraints can be reduced to schedulability analysis of workload which is modified with respect to the used set of FTT. In this paper, we propose an approach to such analysis, based on simulation of RTCS operation in order to produce a time diagram. Simulation model is automatically constructed from the general RTCS operation model (corresponding to a class of systems) and the RTCS configuration description. A generalization of stopwatch automata networks is chosen as a formal base for RTCS modeling, allowing to prove correctness properties for the models. The approach is implemented as an open-source tool system. Results of experimental evaluation are presented, demonstrating applicability of the approach to checking real-time constraints for solutions of the reliability allocation problem, extending the applicability of an existing evolutionary algorithm for this problem to a larger class of systems.