کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875287 | 1441594 | 2018 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal analysis of a calculus for WSNs from quality perspective
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Besides, under the guide of program analysis, in this paper, we propose two analysis approaches for the extended CWQ calculus: 1) We develop a SAT-based analysis to check whether default values can always be available, so that some error configurations (e.g., deadlock processes), caused by unreliable communications in WSNs, will not be reached; 2) We also propose a data-driven probabilistic trust analysis to decouple the probability of receiving the expected input data from the probability of the trustworthiness of the data, so that the overall trustworthiness of the system decision is determined by performing a relational analysis to combine these two probability distributions. Finally, we give a real-world case study with the scenario of refueling a car to demonstrate the applicability of the extended calculus and these two analysis approaches on the extended calculus for WSNs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 154, 1 March 2018, Pages 134-153
Journal: Science of Computer Programming - Volume 154, 1 March 2018, Pages 134-153
نویسندگان
Xi Wu, Huibiao Zhu,