Automated construction of software configuration tables for real-timen systems in avionics

摘要

A problem of automated construction of configuration tables for real-time operating systems is considered. Software configuration information is categorized as follows: information depending on the target function of the system, information depending on the operating system (OS), and information depending on system hardware. For a specialized system meant for automated design of OS configurations, information links are established between its components and other functional elements of the progr