This paper introduces how formal verification technology has been utilized in the Information Industrial Institute (III) for the strategic development of 3G telecommunication industry in Taiwan. This work aims at developing a set of golden formal models for WCDMA protocols to apply in the better efficiency and effectiveness of engineers simulating, testing, emulating, and synthesizing for various designs. In this paper, firstly, some discussion about the general framework in using these golden models would be brought up, then our models for the sub-layers of the 3G protocols are to be described. Finally, Red, a model-checker/simulator for real-time systems, would be utilized to check the correctness and precision of our golden models. © Springer-Verlag 2004.
CITATION STYLE
Chen, A., Wang, J. M., & Hsiao, C. H. (2004). Verification of WCDMA protocols and implementation. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3299, 470–473. https://doi.org/10.1007/978-3-540-30476-0_38
Mendeley helps you to discover research relevant for your work.