【摘要】：如何實現(xiàn)腕表與智能手機之間低功耗和高可靠地傳輸計步數(shù)據(jù)是研發(fā)基于腕表的計步應用系統(tǒng)必須解決的一個關鍵問題。針對這個問題,并充分考慮腕表受限的計算、存儲和供電能力,本文基于低功耗藍牙(BLE)設計了一種低功耗和高可靠的計步數(shù)據(jù)傳輸協(xié)議BLE-Step,并運用體系結構分析與設計語言AADL構建了BLE-Step協(xié)議的體系結構模型,進一步運用實時系統(tǒng)形式化驗證工具UPPAAL開展了對BLE-Step協(xié)議可靠性的形式化驗證工作。本文的主要工作包括：(1)基于BLE4.0的應用層協(xié)議規(guī)范,設計了一種用于腕表與智能手機之間進行低功耗和高可靠傳輸?shù)挠嫴綌?shù)據(jù)傳輸協(xié)議BLE-Step.在BLE-Step協(xié)議中定義了重傳服務、獲取數(shù)據(jù)塊信息列表服務與獲取特定計步數(shù)據(jù)塊服務共三種服務。在給出這些服務涉及的傳輸數(shù)據(jù)包的語法格式和語義解釋基礎上,定義了每種服務的行為及其協(xié)作過程。通過運用BLE4.0技術并引入重傳服務,較好地滿足腕表與智能手機之間低功耗和高可靠地傳輸計步數(shù)據(jù)的設計需求。(2)構建了BLE-Step協(xié)議的AADL體系結構模型。在BLE-Step協(xié)議的AADL模型中定義包括重傳、獲取數(shù)據(jù)塊信息列表與獲取特定計步數(shù)據(jù)塊共三種進程構件及其協(xié)作控制進程構件,給出了相關進程構件所傳輸數(shù)據(jù)包的數(shù)據(jù)構件定義。并通過運用AADL中的行為附件精確描述了各個進程構件中線程執(zhí)行的行為。構建BLE-Step協(xié)議的AADL模型為實現(xiàn)對BLE-Step協(xié)議可靠性的形式化驗證奠定基礎。(3)運用UPPAAL形式化驗證工具驗證了BLE-Step協(xié)議的可靠性�；贐LE-Step協(xié)議的AADL模型,完成對BLE-Step協(xié)議中各個服務的時間自動機模型建模及該協(xié)議服務過程的模擬。在給出BLE-Step協(xié)議的UPPAAL具體驗證語法表達式的基礎上,最終運用UPPAAL驗證器完成對BLE-Step協(xié)議可靠性性質的驗證。形式化驗證結果表明本文設計的BLE-Step協(xié)議是可靠的。本文設計的BLE-Step協(xié)議能夠滿足實際項目中低功耗高可靠的需求,現(xiàn)已成功運用于商業(yè)產(chǎn)品中。同時該協(xié)議為設計基于藍牙低功耗傳輸其他數(shù)據(jù)的應用層協(xié)議提供有用的借鑒與參考。
[Abstract]:How to realize the low power consumption and high reliability transmission of step data between wrist watch and smart phone is a key problem that must be solved in the research and development of the application system based on wrist watch. Aiming at this problem, and fully considering the limited calculation, storage and power supply capacity of wrist watch, In this paper, a low power and high reliable step data transfer protocol (BLE-Step) is designed based on low power Bluetooth (BLE), and the architecture model of BLE-Step protocol is constructed by using the architecture analysis and design language AADL. Furthermore, the formal verification of the reliability of BLE-Step protocol is carried out by using the real-time system formal verification tool UPPAAL. The main work of this paper is as follows: (1) based on the application layer protocol specification of BLE4.0, a step data transfer protocol BLE-Stepfor low power consumption and high reliability transmission between wrist watch and smart phone is designed. The retransmission service is defined in the BLE-Step protocol. There are three services to obtain the data block information list service and the specific step data block service. Based on the syntax format and semantic explanation of the packets transmitted by these services, the behavior of each service and its cooperative process are defined. By using BLE4.0 technology and introducing retransmission service, the design requirements of low power consumption and high reliable transmission of step data between wrist watch and smart phone are well met. (2) the AADL architecture model of BLE-Step protocol is constructed. In the AADL model of BLE-Step protocol, there are three kinds of process components, including retransmission, obtaining the list of data blocks and obtaining the specific step data blocks, and the data component definitions of the data packets transmitted by the relevant process components are given. The behavior of thread execution in each process component is accurately described by using the behavior attachment in AADL. The construction of AADL model of BLE-Step protocol lays a foundation for formal verification of BLE-Step protocol reliability. (3) the reliability of BLE-Step protocol is verified by UPPAAL formal verification tool. Based on the AADL model of the BLE-Step protocol, the time automata model of each service in the BLE-Step protocol is modeled and the service process of the protocol is simulated. On the basis of giving the UPPAAL verification syntax expression of BLE-Step protocol, the reliability property of BLE-Step protocol is verified by using UPPAAL verifier. The formal verification results show that the BLE-Step protocol designed in this paper is reliable. The BLE-Step protocol designed in this paper can meet the requirements of low power consumption and high reliability in practical projects, and has been successfully applied to commercial products. At the same time, this protocol provides useful reference and reference for the design of application layer protocol based on Bluetooth low power transmission of other data.
【學位授予單位】：福建師范大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TN925;TN915.04

【參考文獻】

相關期刊論文 前5條

1 劉倩;桂盛霖;李允;羅蕾;;基于UPPAAL的AADL模型可調(diào)度性驗證[J];計算機應用;2009年07期

2 楊志斌;皮磊;胡凱;顧宗華;馬殿富;;復雜嵌入式實時系統(tǒng)體系結構設計與分析語言:AADL[J];軟件學報;2010年05期

3 戴由旺;李增有;韋俞鋒;;基于ZigBee的低功耗無線傳感節(jié)點設計與實現(xiàn)[J];現(xiàn)代電子技術;2011年18期

4 劉石;姚志強;;基于ANT的無線溫度監(jiān)控系統(tǒng)設計[J];微型機與應用;2013年02期

5 李立;朱秋君;單志林;李臻;;ANT低功耗無線網(wǎng)絡設計[J];物聯(lián)網(wǎng)技術;2013年06期

相關碩士學位論文 前1條

1 李鑫;基于ZigBee生命體征監(jiān)測網(wǎng)絡的設計[D];哈爾濱理工大學;2010年

，

本文編號：2175020