Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints

Abstract

Nowadays, multi-core architectures are increasingly being adopted in the design of emerging complex real-time systems. Meanwhile, implementing those systems as threads generates a complex system code due to the large number of threads, which may lead to a reconfiguration time overhead as well as redundancy increases. In this paper, we present a novel approach to synthesize multi-core system architectures from the specification level to the implementation level. In the design level, the proposed approach presents a mixed integer linear programming (MILP) formulation for the task mapping/scheduling problem as well as the minimizing the number of threads and the redundancy between the implementation sets while preserving the system feasibility. To address the portability issue, the optimal design is then transformed to an abstract code that may be transformed to a specific code. The viability and potential of the approach is demonstrated by a case study and a performance evaluation.