Onboard electronic equipment and land back up electronic systems are designed and implemented, developing both the hardware and the software associated to each system.

This task is carried out according to the client’s requirements and to the type of aircraft, and covers from battery current meters and power converters to systems for signal adjustment and acquisition of data from aircraft sensors. AICIA also analyses the onboard SW certification using semantic analysis techniques of the code based on abstract interpretation.

At AICIA Monitoring interfaces are developed to interconnecting, controlling and monitoring various civil and military aeronautic data bases that provide a minimum level of complexity for developers of onboard software processing information in real time.

On-board electronic systems

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.

New design tools for on-board software

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.

Monitoring interfaces for aeronautic data buses

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.