Quantitative Timing Analysis Of Scenario-Oriented Specifications Considering Uncertain Environment

Along with the development of 5G and Internet of Things(IOT),more and more software and hardware have been deployed in open physical environments.However,there are many uncertain factors(such as system inputs,message processing time and network delays)in this environment.Due to the lack of modeling and effective evaluation methods for the uncertain factors of the system in the open physical environments,it is difficult for the designer to accurately analyze the overall performance of the system and guarantee the reliability of the system.Aiming at the modeling and analysis of system in uncertain environments,this paper adopts UML sequence diagram,which is a mainstream description language of scenario specifications,and proposes a modeling and analysis methods for scenario specifications in uncertain environments.This method can efficiently support the modeling of uncertain environments by UML sequence diagram and the quantitative timing analysis of UML sequence diagram.The main contributions of this paper are as follows:1.Considering the variations of system inputs,message processing time and network delay,this paper extends the syntax and semantics of UML sequence diagram to support the modeling of uncertain factors.2.This paper proposes a quantitative timing analysis framework for UML sequence diagrams within uncertain environments using statistical model cheacking.In this framework,our approach perform the preprocessing for the annotated sequence diagrams,where the fragment constructs such as alternatives,loops and parallels are all converted to their corresponding norm forms.Then by using our proposed NPTA model generator,the preprocessed sequence diagrams can be automatically transformed into both front-end and back-end NPTA models.3.We design and develop a quantitative timing analysis tool chain for UML sequence diagram model in uncertain environment,and implement the automated model transform tool SDTo UPPAAL.The tool chain can quantitatively analyze the scenario specifications under the uncertain environments,and help the system design decision maker to choose a better system,and improve the reliability and correctness of the system.The experimental results show that the modeling and analysis method for the scenario specifications under the uncertain environments can not only support the modeling,but also provide meaningful guidance for the system development.In addition,automated model transform tool effectively help shorten the cycle of system design and development and reduce human involvement.