Research On Modeling And Fault Analysis Technology Based On AltaRica

With the rapid development of science and technology,the integration of equipment is getting higher and higher,the scale of the system is getting larger and larger,and the functions of the system are becoming more complicated.Failure of one component can cause failure of the entire system,which can lead to serious safety incidents.Therefore,people attach great importance to the safety of the system.The traditional fault analysis technology relies too much on human functions.The degree of understanding of the system structure by analysts plays a large role in the construction of fault systems and has a highly subjective feature.Today's safety systems and equipment are becoming more complex,so the analysis process and analysis results are difficult to be complete,continuous,and error-free.The traditional safety model is separated from the structure and operation mechanism of the system itself.It is difficult to design and is limited to individual analysis methods.It is more difficult to share and maintain between the relevant life of the system and related personnel.AltaRica-based modeling technology research project started in the late 1990 s,AltaRica is a high-level modeling language for safety analysis,AltaRica model can better reflect system functions and physical structure,eliminate traditional safety analysis methods and system design the barriers to improving the maintainability and reusability of the safety model.The AltaRica language is a modeling language for fault logic.It is modeled in AltaRica language in safety-critical systems and can truly reflect the physical architecture and operating mechanism of the system.At the same time,because the AltaRica language is easy to modify and maintain the components,the model is also easy to modify and maintain synchronously,which brings great convenience to system analysis.In the safety modeling and analysis of the system,if the traditional manual method of writing the system AltaRica code,there are many problems,the hand-written code is only suitable for small and simple systems,for some complex nested systems,It is difficult to achieve the normative and correct modeling,and it is not convenient to maintain and modify the fault model,and the manual coding work is huge and the efficiency is too low.The workload of using AltaRica coding to analyze the safety of complex systems is too much;the code is a language,it can't reflect the physical structure of the system,and it can't reflect the layering.It is not convenient for analysis and research.A modification of the code may cause Modification of the entire system;for multi-node,multi-level,nested fault descriptions of complex systems,especially the dynamic and complex transfer of faults through interfaces,it is absolutely unimaginable time-consuming and labor-intensive to manually write and analyze model code.At the same time,it is extremely easy to produce omissions and errors.Based on AltaRica's language specification,this paper combines visual modeling with the AltaRica language by studying the syntax and semantics of the AltaRica language,which not only improves the security analysis capabilities of the model,but also combines coding and visual modeling.When the fault tree code is generated for the system,the coding efficiency can be improved,and the fault model can be modified and maintained.At the same time,the synchronous docking of code automatic generation,fault modeling and analysis is realized,which greatly improves the fault modeling and analysis of safety-critical systems.