The research of RRC connection establishment and co-simulation of SDL and TTCN
This paper introduces and analyzes the LTE RRC sub-layer protocol stack structure and function, designs the state and the state conversion process of the RRC sub-layer. It also designs the realization of the RRC connection establishment process. And we simplify signaling interaction between layers based on the characteristics of the project. Finally, it designs the simulation of SDL flowchart of the RRC connection establishment process. Through the MSC map generated by the Co-Simulation of SDL and TTCN, we can verify the correctness of the designed signaling process.
The specification of non-functional requirements, e. g., on timing forms an essential part of modern system design. Modeling languages such as MARTE/CCSL provide dedicated description means enabling engineers to formally define the ticking of the clocks to be implemented in terms of clock constraints and the actually intended timing behavior in terms of instant relations. But thus far, instant relations have only been utilized in order to monitor the correct execution of the clock constraints. In this work, we propose a methodology which, for the first time, verifies clock constraints against the given instant relations. To this end, the timing behavior is represented in terms of an automaton followed by its verification through satisfiability solvers. A case study illustrates the application of the proposed methodology.