• 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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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




    Publication date :

    2013-10-01


    Size :

    1678171 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

    Insaurralde, Carlos C. / Giron-Sierra, Jose M. / Cifuentes, Santiago et al. | IEEE | 2013




    Design of aircraft fuel systems

    Brandt, C.S. | Engineering Index Backfile | 1944


    Automated safety critical software development for distributed control systems: a COTS approach

    Hall,B. / Sellner,B. / Maier,R. et al. | Automotive engineering | 2001