Automated software design and synthesis for distributed control of aircraft fuel systems

• Automated design and synthesis processes to develop a HDFCShave been presented. • Tests carried out on simulations demonstrate that the results (main focus on the software code automatically generated, i.e. state-machine) obtained from the above processes are according to what has been specified. • The state-machine generated works as expected in the simulator. However, there are some cases (near the limits of the tank capacities) in which the state-machine (software implementation, i.e. code generated automatically) makes some states of valves oscillate.