By Topic

Scheduling distributed real-time systems by satisfiability checking

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Metzner, A. ; Dept. of Comput. Sci., Carl-von-Ossietzky Univ., Oldenburg, Germany ; Franzle, M. ; Herde, C. ; Stierand, I.

We present a SAT-based approach to the task and message allocation problem of distributed real-time systems. In contrast to the heuristic approaches usually applied to this problem, our approach is guaranteed to find an optimal allocation for realistic task systems running on complex target architectures. Our method is based on the transformation of such scheduling problems into nonlinear integer optimization problems. The core of the numerical optimization procedure we use to discharge those problems is a solver for arbitrary Boolean combinations of integer constraints. Optimal solutions are obtained by imposing a binary search scheme on top of that solver. Experiments show the applicability of our approach to industrial-size task systems.

Published in:

Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on

Date of Conference:

17-19 Aug. 2005