• DocumentCode
    677082
  • Title

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

  • Author

    Insaurralde, Carlos C. ; Giron-Sierra, Jose M. ; Cifuentes, Santiago ; Jimenez, Juan F.

  • Author_Institution
    Institute of Sensors, Signals and Systems Electrical, Electronic and Computer Engineering, Heriot-Watt University, Edinburgh, UK
  • fYear
    2013
  • fDate
    5-10 Oct. 2013
  • Firstpage
    1
  • Lastpage
    26
  • Abstract
    • 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.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd
  • Conference_Location
    East Syracuse, NY, USA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4799-1536-1
  • Type

    conf

  • DOI
    10.1109/DASC.2013.6719711
  • Filename
    6719711
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=677082