Abstract: It is a vital process to validate whether the system architecture and properties of its components designed by the developers meet the timeliness requirement while developing an avionics system. In order to validate the time delay of the IMA brake control system, the architecture and working process of the system are both analyzed, based on which, SysML block model and state machine diagrams along with MARTE-marked time attributes are established. Analyzing system models with verification tools is an efficient method to validate system requirements. Hence, we need to transfer the SysML model to AADL model according to the mapping relationship between these two languages. At last, the AADL model is obtained, the system analysis tool COMPASS is applied to verify the time delay of the model to check if it meets the predetermined requirement.

Key words: brake control system, SysML, AADL, time attribute, requirement verification