The design, simulation and development of on-board electronic systems fulfilling the technical specifications and client requirements according to the type of aircraft. On-board equipment is design, simulated, developed and implemented according to the requirements of the client and the type of aircraft. Ranging from battery current meters, and power conditioners to signal adapting systems and data acquisition from the aircraft sensors.
Analysis of the certification of the on-board SW by semantic analysis techniques of the code based on abstract interpretation. This new tool to aid certification by such abstract interpretation techniques could be applied to any software generated by alternative methods to those traditionally used for SW certification the final end of which is to be executed aboard an airplane. Abstract interpretation is a consolidated mathematical approximation that can be considered as a prediction of how a certain software application will behave before executing real tests.
In this line, monitoring interfaces are analyzed and developed that allow for the interconnection, control, and monitoring of different civil and military aeronautic data buses, and that provide a minimum complexity level for on-board software developers and for information processing in real time. The results are of interest to the aeronautic industry as they will allow the development time of any type of application to be reduced, especially that of the analysis tools of communication buses. Furthermore, the analysis and study of communications between the ARINC 429 and the AFDX buses and other 61850 or 104 type control communication buses will allow these tools to be used not only in the aeronautic sector but also in the energy and industrial sectors.