RTSAT - An optimal and efficient approach to the task allocation problem in distributed architectures

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2006, Pages 147-156

  Metzner, Alexander ^a   Herde, Christian ^b  

^a OFFIS ^*

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER CONSTRAINTS; NUMERICAL OPTIMIZATION; SATISFIABILITY SOLVERS;

HEURISTIC ALGORITHMS; INTEGER PROGRAMMING; MESSAGE PASSING; OPTIMAL CONTROL SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

RESOURCE ALLOCATION;

EID: 38949184546     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2006.44     Document Type: Conference Paper

References (14)

1. J. Coffman. Computer and Job-Shop Scheduling Theory. John Wiley, 1976.
2. N. Audsley, A. Burns, R. Davis, K. Tindell, and A. Wellings. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems, 8(2), 1995.
3. K. Tindell. Fixed Priority Scheduling of Hard Real-Time Systems. PhD thesis, University of York, 1994.
4. P. Altenbernd. Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks. PhD thesis, Universität Paderborn, 1996.
5. K. Tindell, A. Burns, and A. Wellings. Allocating hard real time tasks. In Real Time Systems Journal, volume 4(2), 1992.
6. P. Pop, P. Eles, Z. Peng, and V. Izosimov. Schedulability-driven partitioning and mapping for multi-cluster real-time systems. In Proc. of the Euromicro Conference on Real-Time Systems, 2004.
7. T. Blickle, J. Teich, and L. Thiele. System-level synthesis using evolutionary algorithms. In Proc. of the Design Automation for Embedded Systems, 1998.
8. A. Metzner, M. Fränzle, C. Herde, and I. Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In Proc. of the Conference on Embedded and Real-Time Computing Systems and Applications. IEEE Computer Society, 2005.
9. M. Fränzle and C. Herde. Efficient SAT engines for concise logics. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 2850 of LNAI. Springer, 2003.
10. A. Bender. Design of an optimal loosely coupled heterogeneous multiprocessor system. In Proc. of the European conference on Design and Test. IEEE Computer Society, 1996.
11. D. Peng, K. Shin, and T. Abdelzaher. Assignment and scheduling communicating periodic tasks in distributed real-time systems. Software Engineering, 23(12), 1997.
12. M. Davis, G. Logemann, and D. Loveland. A Machine Program for Theorem Proving. Communications of the ACM, 5:394-397, 1962.
13. R. Davis and A. Burns. Hierarchical Fixed Priority Preemptive Scheduling. In Proceedings of the IEEE Real-Time Systems Symposium. IEEE Computer Society, 2005.
14. S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler. PISA - a platform and programming language independent interface for search algorithms. In Evolutionary Multi-Criterion Optimization, Lecture Notes in Computer Science, pages 494-508. Springer, 2003.