• 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.
Automated software design and synthesis for distributed control of aircraft fuel systems
2013-10-01
1678171 byte
Conference paper
Electronic Resource
English
Design of aircraft fuel systems
Engineering Index Backfile | 1944
|Automated safety critical software development for distributed control systems: a COTS approach
Automotive engineering | 2001
|