On the definition of autonomous dependable control of complex technical systems

摘要

Automated manufactures, nuclear power plants, railroad transportation, and spacecrafts can be reviewed as examples of very complex modern technical systems. The subsystems of such systems contain dozens of sensors, actuators, etc. To achieve the system goals we need to implement the specific schedule of right synchronized and logically coordinated processes involving various onboard devices. The system control means should be autonomous and dependable. It must implement needed control to complete system tasks in the changing environment and even in case of some faults of the equipment. The other important aspect is compliance with the limited levels of the available onboard resources during the whole mission - electric power, etc. The paper discusses the notion of such autonomous dependable control. The aspects of complexity and requirements for “intelligence” to provide needed control having been analyzed. We discuss perspective approaches to synthesis and verification of such intelligent and dependable control.