Algorithm for synthesis of real-time systems under reliability constraints

DOI10.1134/S106423071202013XzbMath1307.93268MaRDI QIDQ2263425

D. A. Zorin, V. A. Kostenko

Publication date: 18 March 2015

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Synthesis problems (93B50)

Related Items (8)

Scheduling algorithms for real-time computing systems admitting simulation models ⋮ Algorithm for resource allocation in data centers with independent schedulers for different types of resources ⋮ Normative dynamic analysis of extreme operational modes of a heterogeneous computing system ⋮ Control model of the phased upgrade of a heterogeneous computing system ⋮ Combinatorial optimization algorithms combining greedy strategies with a limited search procedure ⋮ Task scheduling in distributed real-time systems ⋮ Simulated annealing algorithm in problems of multiprocessor scheduling ⋮ Estimating the convergence of a simulated annealing algorithm for the problem of constructing multiprocessor schedules

Cites Work

• Unnamed Item
• Unnamed Item
• A parallel algorithm of simulated annealing for multiprocessor scheduling
• The problem of schedule construction in the joint design of hardware and software
• A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

This page was built for publication: Algorithm for synthesis of real-time systems under reliability constraints