Software and tools for multi-core systems

The subject of the project are systems with multiple processing units, ranging from multi-core systems, through multi-processor systems, clusters of computers connected via local area networks and grid computers connected via the Internet. The main problem to be solved is the synthesis and verification of the software for such systems, as well as the development of programming environment and tools. In proposed studies we will investigate cases of the embedded systems and digital signal processing on multi-processor and multi-core systems, and other real-time applications on computer clusters and grids. Part of the research activities will relate to the analysis of the unique program synthesis process for the heterogeneous processor architectures, in order to define model for the parallel software that will be applicable to the various processing architectures and used to develop tools intended to automate the method for the software parallelization. Basically, the goal of the research is development of methodologies for synthesis and verification of the software for the system with multiple processing units, as well as the development of related programming environment and tools. Concrete primary objectives are: - development of methods for parallelization of the algorithms on multi-core systems - methodology and development tools for parallel programming - evaluation of multi-core systems and applications of parallel programming in area of real-time signal processing