Italsystem contributes to the verification and validation phases of the Automatic Flight Control System (AFCS) From the preparation phase of the verification environment to the production of the artefacts to be presented in the audit phase, passing through the testing and verification of the various components of the development chain. The AFCS is the system operating to control aircraft, whether fixed-wing or mobile, consisting of innumerable interacting subsystems (dependent on the aircraft configuration) and enabling the pilot to fly by reducing the workload, increasing flight safety, or in extreme cases, allowing precision manoeuvres impossible for the pilot.