Method for capturing need for automatic control system for aircraft, involves generating files of capture of requirement in response at stage for checking, and storing generated files of capture of need

摘要

The method involves capturing behavioral parameters of an automatic control system (402), and checking conformity of the seized parameters with a specific field of language (407). A file is checked (401) with definition of the specific language. The conformity of the seized parameters is validated (404) with the specific field of language. Files of capture of the requirement in response are generated (409) at the stage for checking. The generated files of capture of the need are stored (410). Independent claims are also included for the following: (1) a device for capturing the need for an automatic control system for an aircraft (2) a computer program product comprising a set of instructions for performing a method for capturing the need for an automatic control system for an aircraft.