Algorithm for synthesis of real-time systems under reliability constraints

Authors:
D. A. Zorin;V. A. Kostenko
Affiliations:
Moscow State University, Moscow, Russia 119991;Moscow State University, Moscow, Russia 119991
Venue:
Journal of Computer and Systems Sciences International
Year:
2012

Citing 4
Cited 1

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures

Computer
The Design and Analysis of Computer Algorithms

The Design and Analysis of Computer Algorithms
The Problem of Schedule Construction in the Joint Design of Hardware and Software

Programming and Computing Software
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

IEEE Transactions on Software Engineering

Scheduling algorithms for real-time computing systems admitting simulation models

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of constructing a real-time computing system that has a minimum number of processors is addressed. It is necessary that the system meets the deadlines of program execution and the system reliability requirements implying that the system must tolerate both hardware and software failures. The formal statement of this problem is presented, a method for its solution using an iterative scheduling algorithm based on the method of simulated annealing is proposed, and an experimental study of the proposed algorithm is conducted.