Model-based development framework for distributed embedded control of aircraft fuel systems

Carlos C Insaurralde, Miguel A. Seminario, Juan F. Jimenez, Jose M. Giron-Sierra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)


Model-based approaches for control software architectures reduce risks and costs in the development process of embedded systems. They allow seeing the system-wide analysis impacts of architectural choices, and increases confidence through early verification/validation of the model assumptions. This representation technique is well suitable for a European project named "SmartFuel" which proposes a distributed control strategy for aircraft fuel systems. It is an embedded system with open architecture which allows aircraft-parts manufactures to develop their own commercial off-the-shelf (COTS) fuel components, i.e. networked mechatronic devices. Within the first SmartFuel phase, the verification and validation of the above avionics system has been successfully carried out through prototype-based simulations. The second project phase aims to develop models and tools to analyze, synthesize, and pre-verify/pre-validate by model simulation the avionics system architecture at early development stages. The results expected from the modeling (i.e. prediction of key system features and the automatic code generation for the COTS components) benefit to the development process. This paper presents a Model-Based Development Framework (MBDF) to deal with the avionics system specifications, and the creation of embedded system models. In addition, the experimental outcomes when the MBDF is applied to two case studies (helicopter and airplane fuel systems) are presented.

Original languageEnglish
Title of host publication22010 IEEE/AIAA 29th Digital Avionics Systems Conference
Number of pages14
ISBN (Print)978-1-4244-6616-0
Publication statusPublished - 2010
Event29th Digital Avionics Systems Conference - Salt Lake City, United States
Duration: 3 Oct 20107 Oct 2010


Conference29th Digital Avionics Systems Conference
Abbreviated titleDASC 2010
Country/TerritoryUnited States
CitySalt Lake City
OtherImproving Our Environment through Green Avionics and ATM Solutions


Dive into the research topics of 'Model-based development framework for distributed embedded control of aircraft fuel systems'. Together they form a unique fingerprint.

Cite this