Font Size: a A A

Research On Safety Requirement Traceability And Verification Based On SysML

Posted on:2020-12-02Degree:MasterType:Thesis
Country:ChinaCandidate:L M DengFull Text:PDF
GTID:2428330590972682Subject:Software engineering
Abstract/Summary:PDF Full Text Request
Safety-critical systems are widely used in a variety of industries,from national aerospace projects to autonomous driving and smart medical care.These systems have extremely high requirements for safety as system failure may cause significant loss of life and property.Therefore,how to ensure the safety of such systems has always been an important issue in academia and industry.Safety requirements describe the dangerous state that the system should not occur.It often derived from safety analysis.Verifying the safety requirement as early as possible can effectively improve system safety.However,in the actual development process,the system design model is developed based on functional requirements,which leads to a gap between safety requirement and system design.The poor traceability makes it difficult to determine whether a design fulfils a safety requirement and the safety of the system is not to be guaranteed.In view of the above problems,this thesis proposes a safety requirement trace and verification method based on SysML.The main research contents of this thesis are as follows:First,for the lack of ability to describe safety requirements and capture safety requirements trace information for SysML requirements diagram,this thesis extends the SysML requirements diagram to include these capabilities.In addition,We use model transformation to transform requirement diagram into trace information representation model which can generate an independent trace information document since the SysML requirement diagram lacks a mechanism to export trace information of safety requirements and cannot directly support the safety verification.Secondly,using the trace information to locate the SysML blocks and block elements to fulfil the safety requirement and then verify those designs.However,it is difficult to verify the SysML model directly as SysML model lack of precise semantics.Therefore,we design the rules for converting from a SysML model to NuSMV input model and use a model checker to verify safety requirement.Finally,a case study of a railway control system is carried out using the method of this thesis.Finding defects in railway control system design successfully which shows the effectiveness of the method.This thesis provides a feasible way to establish traceability in a safety-critical system and use trace information to locate system safety-critical components and verify the safety of the system in the early stage of system development.
Keywords/Search Tags:safety critical system, safety verification, model driven, requirement traceability, formal method
PDF Full Text Request
Related items