Research And Implement Of Check Rules And Management Tool Of Safety Argument Based On Goal Structuring Notation

In recent years, the importance of safety issue has been gradually raised and the safety guarantee system has been unceasingly consummated, the safety argument is attracting more and more attention. Since the abstraction of the process of safety argumentation exist to some extent, it is necessary to clarify it in order to make all parties involved be able to comprehend、review、discuss and admit the safety case. The Goal Structuring Notation (GSN) is a graphical argumentation notation which could explicitly represent the individual elements of safety argument and the relationship between them. Using the GSN to present the structure of a safety argument can help to precisely and reasonably explain the system security issue, it can also promote the key parties involved to understand the argument. However, syntactic and semantic errors as well as argument structural defects are prone to present during the procedure.Based on the study of the GSN and safety argument, this thesis has initially proposed a structure to check the safety argument presented by the GSN. After this, it has set up a checking rule database, based on which, a set of corresponding safety argument management tool has been developed in this thesis as well.Firstly, the domestic and foreign research situation of the safety、safety assessment and safety argument have been presented, an insight into the existed problem, through which the lack of proper check structure in the safety argument would be raised, has also been discussed. Secondly, based on the detailed description of the basic concepts of the Safety Case and the GSN, this thesis proposed a check structure which has properly combined the artificial interactive method with the automation method. This structure could be used to check the argument and grammar in GSN model. It also set up a checking rule database by the approach of string description.On the basis of the above theoretical research, the functions and structure of the management tool have been analyzed combined with actual requirements of the project; the framework and basic functions of the tool have been accurately defined; and the UI(user interface) module, new function module, schema editing module, project editing module and inspection module have been designed and realized; the specific discussion would be given via the procedure operation and main software interfaces. Finally, test the functionality of the management tool, sum up the thesis work and make an outlook for the further research required.