Wireless protocol verification: a stochastic process algebraic framework (無線通信システム)
スポンサーリンク
概要
- 論文の詳細を見る
The layers 2 and 3 of mobile broadband protocols are complex specifications whose verification is notoriously hard. Informal methods for protocol verification are subject to misinterpretations and easily lead to bugs and deadlocks. Formal methods from the field of computational logic are not widely known in wireless sciences. This paper presents a formal framework for verification of wireless protocols based on Stochastic Process Algebra (SPA). We illustrate the use of SPA by taking the Mobile WiMAX as an example and show how it can apply to other standards too.
- 2009-02-25
著者
関連論文
- Simultaneous Multistandard PHY Processing : A Low-Complexity Processor Resource Management Algorithm
- Digital predistortion without lookup tables (信号処理)
- Digital predistortion without lookup tables (無線通信システム)
- Remote Radio Equipment on multicores: a flexible signal computing architecture (無線通信システム)
- Software-defined in-vehicle infotainment: an architecture based on atom processor (ソフトウェア無線)
- Multiuser MIMO on multicores (無線通信システム)
- Simultaneous multistandard base stations: a software-defined multicore approach (ソフトウェア無線)
- Flexible MIMO channel modeling for LTE-Advanced: a dual-mode accelerator/simulator platform (無線通信システム)
- LTE-Advanced: a hardware-software development environment (無線通信システム)
- Computation of instantaneous bit error probability from log-likelihood ratio (無線通信システム)
- Reconfigurable Software Radio for Adaptive QoS Control
- Software-defined wireless protocol stacks: review of design methods and tools (ソフトウェア無線)
- Soft-decision decoding of block codes: a factor-graph approach (無線通信システム)
- Decoding of gold-coded space-frequency block codes: QRM-MLD vs. sphere decoding (無線通信システム)
- CQI measurement and reporting in LTE: a new framework (無線通信システム)
- Capacity enhancement of VoIP over LTE by stochastic adaptive modulation and coding (無線通信システム)
- Physical layer network coding for wireless applications: a survey (無線通信システム)
- Capacity enhancement of VoIP over LTE by stochastic adaptive modulation and coding (信号処理)
- Wireless technoeconomics: how technology affects profits (無線通信システム)
- Wireless protocol verification: a stochastic process algebraic framework (無線通信システム)
- Maximum likelihood parallel decoding metrics for quasi-orthogonal space-time block codes: derivation and lowpower implementation (無線通信システム)