Interface control document modeling with Citrus (avionics systems interfaces)

Avionics systems integration based on interfaces control documents (ICDs) may be well handled when leveraging the strength of the model based-engineering. Indeed, avionics systems and their internal hardware and software components interfaces, specified in the form of ICDs, must be well defined and specified (e.g., unambiguous, complete, verifiable, consistent, and traceable specification). However, as of today, these ICDs are specified in different formats and levels of abstraction. In this paper, we analyzed the modeling capabilities of a set of relevant modeling languages, including our industry partners’ modeling language (Citrus), at modeling ICDs. Citrus covers most of the ICD content, however, it still needs improvement to cover some needs such as AFDX technology. This paper presents our extension to the Citrus meta-model capabilities to cover these needs.