发布求助
文献互助 智能选刊 最新文献

International Conferences on Internet of Things, Embedded Systems and Communications最新文献

筛选
英文 中文
Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol 无线体域网络(WBAN)协议:S-TDMA协议的形式化建模和验证
International Conferences on Internet of Things, Embedded Systems and Communications Pub Date : 2017-10-01 DOI: 10.1109/IINTEC.2017.8325916
Raoua Ben Hamouda, Imene Ben Hafaiedh
{"title":"Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol","authors":"Raoua Ben Hamouda, Imene Ben Hafaiedh","doi":"10.1109/IINTEC.2017.8325916","DOIUrl":"https://doi.org/10.1109/IINTEC.2017.8325916","url":null,"abstract":"WBANs integrate wearable and implanted devices with wireless communication and information processing systems to monitor the well-being of an individual. Various MAC (Medium Access Control) protocols with different objectives have been proposed for WBANs. The fact that any flaw in these critical systems may lead to the loss of one's life implies that testing and verifying MAC's protocols for such systems are on the higher level of importance. In this paper, we firstly propose a high-level formal and scalable model with timing aspects for a MAC protocol particularly designed for WBANs, named S-TDMA (Statistical frame based TDMA protocol). The protocol uses TDMA (Time Division Multiple Access) bus arbitration, which requires temporal aspect modeling. Secondly, we propose a formal validation of several relevant properties such as deadlock freedom, fairness and mutual exclusion of this protocol at a high level of abstraction. The protocol was modeled using a composition of timed automata components, and verification was performed using a real-time model checker.","PeriodicalId":348452,"journal":{"name":"International Conferences on Internet of Things, Embedded Systems and Communications","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129205865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
PSO-based optimal design of in-wheel permanent magnet motor 基于粒子群算法的轮式永磁电机优化设计
International Conferences on Internet of Things, Embedded Systems and Communications Pub Date : 1900-01-01 DOI: 10.1109/IINTEC.2017.8325937
Lassaad Zaaraoui, A. Mansouri, H. Trabelsi
{"title":"PSO-based optimal design of in-wheel permanent magnet motor","authors":"Lassaad Zaaraoui, A. Mansouri, H. Trabelsi","doi":"10.1109/IINTEC.2017.8325937","DOIUrl":"https://doi.org/10.1109/IINTEC.2017.8325937","url":null,"abstract":"The present work deals with the optimal design of the geometrical parameters of an in-wheel permanent magnet motor with an exterior rotor and concentrated windings. In order to achieve this end, three-particle swarm optimization (PSO) based algorithms were applied: Multi-Objective Particle Swarm Optimizer (OMOPSO), Speed-constrained Multi-Objective PSO (SMPSO) and Dual Multi-Objective PSO (DMOPSO). Firstly, the machine design is transformed to a multi-objective constrained optimization problem. Ten design variables were selected to be optimized and two objective functions were used: the machine mass minimization and its efficiency maximization. Secondly, the three PSO-based techniques were applied and the optimization results are presented and discussed.","PeriodicalId":348452,"journal":{"name":"International Conferences on Internet of Things, Embedded Systems and Communications","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116885914","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信