С целью изучения возможностей и перспектив применения синтеза программ в коммерческой разработке программного обеспечения встраиваемых систем выполнен обзор предметной области и анализ существующих работ по теме. Рассмотрена и подтверждена целесообразность и перспективность применения синтеза программ при разработке системного программного обеспечения встраиваемых систем. Описаны существующие подходы к синтезу программ для встраиваемых систем, а также проблемы разработки соответствующего системного программного обеспечения. Результаты исследования показали: применение синтеза программ для встраиваемых систем изучено недостаточно, но перспективы исследований велики, готового решения для широкого применения в коммерческой разработке не существует.
< ... >
In order to study the possibilities and prospects of using program synthesis in the commercial development of software for embedded systems, a review of the subject area and an analysis of existing works on the topic was carried out. The feasibility and prospects of using program synthesis in the development of system software for embedded systems were considered and confirmed. Existing approaches to the synthesis of programs for embedded systems are considered. The problems of developing system software for embedded systems were considered. The results of the study showed that the application of program synthesis for embedded systems has not been studied enough, but the prospects for research are great, there is no ready-made solution for widespread use in commercial development.
Keywords:
program synthesis, code generation, embedded systems, drivers, system software
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
