Model-Based Development Framework for distributed embedded control of aircraft fuel systems

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.

[1]  Aniruddha S. Gokhale,et al.  Applying model-driven development to distributed real-time and embedded avionics systems , 2006, Int. J. Embed. Syst..

[2]  B. A. Calloni,et al.  INSERT: a COTS-based solution for building high-assurance applications , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[3]  Valeriy Vyatkin,et al.  Design and implementation of a prototype control system according to IEC 61499 , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[4]  Valeriy Vyatkin.  IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design , 2007 .

[5]  Kleanthis Thramboulidis,et al.  Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.

[6]  E.A. Strunk,et al.  Distributed reconfigurable avionics architectures , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[7]  Douglas H. Norrie,et al.  Realtime reconfiguration using an IEC 61499 operating system , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[8]  Tanvir Hussain,et al.  Developing IEC 61499 compliant distributed systems with network enabled controllers , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[9]  Thomas Pfeiffer,et al.  Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[10]  G. Frey,et al.  Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[11]  Jon Holt,et al.  UML for Systems Engineering: Watching the wheels , 2004 .

[12]  M.A. Seminario,et al.  Automatic code generation tool for avionic fuel distributed control systems , 2005, 24th Digital Avionics Systems Conference.

[13]  Thomas Wheeler.  Experiences in Applying Architecture-Centric Model Based System Engineering to Large-Scale , Distributed , Real-Time Systems , 2007 .

[14]  Kleanthis Thramboulidis,et al.  Towards an implementation model for FB-based reconfigurable distributed control applications , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

[15]  K.C. Thramboulidis,et al.  Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[16]  G.S. Doukas,et al.  An IEC-compliant field device model for distributed control applications , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[17]  Carlos C. Insaurralde,et al.  A simulation of aircraft fuel management system , 2007, Simul. Model. Pract. Theory.

[18]  Aniruddha S. Gokhale,et al.  Model-Driven Program Transformation of a Large Avionics Framework , 2004, GPCE.

[19]  Kleanthis Thramboulidis.  Development of distributed industrial control applications: the CORFU framework , 2002, 4th IEEE International Workshop on Factory Communication Systems.

[20]  Georg Frey,et al.  Designing generic/reusable functionality based controllers for distributed control using UML , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[21]  Robert Lewis.  Modelling Control Systems Using Iec 61499: Applying Function Blocks to Distributed Systems , 2001 .

[22]  Christos Tranoris,et al.  An IEC-compliant Engineering Tool for Distributed Control Applications , 2003 .

[23]  R. Hirschfeld,et al.  A Profile for Integrating Function Blocks into the Unified Modeling Language , 2003 .

[24]  J.F. Jimenez,et al.  Distributed control system for fuel management using CANbus , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[25]  M.A. Seminario,et al.  Experimental Results with a New Distributed Aircraft Fuel Control System Which Uses Smart Fieldbus Components , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.

[26]  Yang Wei,et al.  Implementation of IEC61499 Distributed Function Block Architecture for Industrial Measurement and Control Systems (IPMCS) , 2002 .

[27]  Peter H. Feiler,et al.  Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL , 2009 .