OACV: OCL-based Avionics Component Verification
Pei Hong,Chunling Sheng,Xiaohu Luo,Yueyuan Jin,Ruonan Rao
DOI: https://doi.org/10.1145/3407947.3407958
2020-01-01
Abstract:Modern avionics system, especially those developed for modern aircraft, require extremely high portability, interoperability, standardization and accuracy. But during the model integration of avionics component models based on the multi-team development method, component models developed by different teams, especially component data models, may exists some problems during interoperation, including message semantic ambiguities, mismatched metrics, missing information, as well as inaccurate and non-standard model definitions. Therefore, this paper analyzes the key attributes such as portability, interoperability, standardization, and accuracy of data models, including abstract data models, logical data models, and platform data models in the data architecture of avionics-based model-driven development. Based on the definition of standardized software component, an Object Constraint Language (OCL)-based avionics component model verification method (OACV) is proposed. OCL is used to perform constraint validation on the data model to ensure semantic and syntactic consistency and standardization of interoperable data. In order to verify the correctness of the constraint verification of data models using OCL, this paper further proposes a formal description of verification of these data models based on OCL. Based on this, this article designs and implements OACV System. Finally, the actual project requirements of avionics were extracted, and a verification case was developed. The verification result shows that OACV is feasible and effective.