COHERENT CONCURRENT TASKS SCHEDULING AND RESOURCES ASSIGNMENT IN DEPENDABLE COMPUTER SYSTEMS DESIGN

摘要

The paper includes a proposal of a new model of coherent concurrent tasks scheduling and a of resources assignment, that are characteristic for the problem of dependable system synthesis. Optimal tasks scheduling, partition at resources, allocation tasks and resources are basic problems in high-level synthesis of computer systems. Coherent synthesis may have a practical application in developing tools for computer aided rapid prototyping of such systems.