Design and Implementation for AltaRica 3.0 Model Visualization Method Based on ANTLR
Ximeng Huang, Jun Hu, Lisong Wang · 2023
With the advancement of technology, the current systems are constantly developing towards complexity, and the security and reliability requirements of complex systems are becoming more urgent. AltaRica3.0 is a formal modeling language for system security analysis. In response to the current lack of visualization methods for AltaRica3.0 models in China, this article designs and implements a method for generating hierarchical graph models from AltaRica3.0 models, analyzing the hierarchical structure and flow relationships of components of the models. A case study was conducted on the MSAT tool using Wheel Brake System as an example to verify the feasibility and effectiveness of the method.