Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
DẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật ÊN NỀN TẢNG INTERNET VẠN VẬT BANG MÔ HÌNH HÓA VÀ TẬP LUẬTLUẬN ÁN TIẾN SĩTP. HỔ CHÍ MINH - NẪM 2022ĐẠI nọc QUỐC GIA TP. I ỈCM TRƯỜNG DẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSĨNĨI MÃ NGUÒN CHO CÁC TTĨĨÉT BỊ DEO TAY TRONG CÁC GIẢI PĨĨÁP TĨIÔNG MĨNTĨ TRÊN NẺN TẢNG INTERNET VẠN VẠT BÀNG MỎ ĨĨÌNĨĨ ĨIÓA VÀ TẬP LUẬT Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật Chuyên ngành: Khoa học máy tinh Mà sổ chuyên ngành: 62.4S.01.01Phân biện độc lập: PGS. TS. Nguyen Thái Nghe Phân biện độc lập: TS. Doàn DuyPhân biện:Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
PGS. I S. Dặng I ran Khánh Phân biện: PGS. I S. I ràn Minh QuangPhân biện: I s. I.C Kim HùngNGƯỜI HƯỚNG DÁN:1.I S. I.Ề LAM SUN2.I S. PHẠM HOÀNG ANHLỜIDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật ực, và không sao chóp tử bát kỳ một nguồn não và dưới bát kỹ hình thức nào. Việc tham khảo các nguồn tãi liệu (nếu có) dã dược thực hicn trích dản và ghi nguồn tãi liệu tham khảo dũng quy định.Tác già luận ánTôn Long PhướciiTÓM TẮT LUẬN ÁNCác thiết bị deo tay trong lĩnh vực Internet vạn vật lã những Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật thiốt bị nhó gọn. kiến trúc dơn giản và thường giao tiếp với nhan th(» hướng truyền tải dữ liệu nham hỗ trợ các giíìi pháp thõng minh. Những giải pháSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
p này có the dược triển khai trong nhiòn lĩnh vực như hộ thống hỗ trự chữa cháy, nhà hàng thức ăn nhanh hay trong lĩnh vực (Hổn trị y tế. Hiện nay, vớDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật cũng ngày càng phát triển. Từ dó. các nhà phát triển ứng dụng phần mem cho các thiết bị này cằn có những cõng cụ hố trợ phát triển các ímg dụng một cách nhanh chóng vã hiẹu quà. Iliộn cốc nghiên cứu trong học thuật cũng như trong công nghiệp đều rắt quan tâm den các cõng cụ phát triển ứng dụng tự dộ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật ng, hoặc bán tự dộng nhưng lĩnh vực hỗ trự phát, triển ứng thing cho các thiết bị deo tay van còn bỏ ngỏ. Từ dó, chúng tôi dề xuất một khung thức hỗ tSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
rợ xây dựng ứng thing chạy trên các thiềt bị deo tay một cách nhanh chóng và hiệu quà. Từ khung thức này, chúng tõi xây dựng một cõng cụ có tên là MicDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật iết bị doo tay bằng mô hình hóa, đồng thời có sự ánh xạ thống nhát giữa hai mô 1111111 dặc tả này. Công cụ hoạt động dựa vào nguyên tác chuyển dổi mô hĩnh sang mã nguồn (ngôn ngiì lạp trình C++) có thổ chạy các ứng dụng trên các bo mạch dòng Arduino. Chúng tôi cũng dã thử nghiệm một cách khoa học và Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật khách quan nhầm minh chứng công cụ Micarspis dạt dược các tiêu chí dề ra. Két quả thứ nghiệm thổ lìiộn như sau: hơn 65% mã nguồn hoàn thiện dược tạoSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
ra tự dộng lừ cõng cụ Micraspis cho các hệ thống ứng dụng trên cốc thiết bị deo dơn giản đến phức t ạp. Bén cạnh dó, chúng tôi cũng t hực hiện các phưDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật èm. Nội dung phóng ván chúng tỏi tập t rung việc dânh giố ve cách còng cụ Micraspis dã hỗ trợ cho lập trình viên trong việc phát triển các ứng dụng chạy trẽn thiết bị deo tay trong các giãi pháp thõng minh thuộc lĩnh vực Internet vạn vật như thế nào. Ngoài ra, dỗ kiểm chứng tính dứng dán cùa mõ hình Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật dặc tâ, chúng tôi cũng dùng ngôn ngfr Alloy và xây dựng thuật toán nham nâng cao chắt lượng mã nguồn tạo ra.Cốc dóng góp chinh của luận án dược tóm tSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
át như sau:1.Dề xuất hướng tiếp cặn sinh mã nguồn cho các ứng dụng trong ngữ cảnh họp với sự kết hợp mô hình hóa và tập luật.2.Đè xuất khung t hức sinDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật n cho các ứng dụng với hai hướng tiếp cận: (i) sử dụng mõ hình hóa; (ii) sử dụng các tập luật cho cốc ràng buộc t rong ứng dụng.3.Dựa vào khung thức dề xuất, xây dưng cõng cụ sinh mã nguồn có ten gọi là Micraspis nhầm sinh mả nguồn cho các ứng dụng chạy trên thiết bị deo tay trong cốc giải pháp thõn Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật g minh. Dồng thời, luận án dề xuất phương án đánh giá cõng cụ về tính đúng dán, hiộu quà một cách khách quan và t in cậy.Keywords:Sinh mã nguồn, mô hìSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
nh hóa, ứng dụng trong loT. thiết bị deo tay, Internet vạn vật, ngôn ngữ chuyên biệt trong ngiì cảnh họp, giải pháp thõng minh, Alloy, dặc tâ ímg dụngDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật rposefully, for instance, for fire-fighting, prompting fast-food clients, and medical treatment. With rise of wearable computing in the era of IoT-driven smart applications. programmers now expect the time to market for these devices to be shortened. While support for loT programming in general has Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật gathered traction, tool proposals that automate the development of smart solutions based on the Internet of Wearable Things, t hough of paramount impoSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
rtance, still stay on the sidelines. We propose a code generation tool called Micraspis that allows a wearable to be described both functionally and aDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật e that is executable on a specific loT programming platform such as Arduino. Our experiments demonstrate that programming code generated by Micraspis amounts to at least 65% of the source code needed to fulfill the business logic of ordinary wearable devices. We conduct an interview to meticulously Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật collect programmers’ assessment on how Micraspis assists them in programming and architecting smart loT wearables. A total of 161 programmers respondeSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
d to a Likert scale questionnaire, with which at least 65% of them cither agree or strongly agree. Overall, the results show that Micraspis has promisDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊ Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật eneration approach for applications by a combination of model-driven and rule-based development. Generating source code for applications in software engineering has always been a concern of software developers in the field. The challenge of properly defining application domains as well as specifying Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật applications is always a difficult question for source code generation..ii. Propose a code generation framework for smart loT wearable applications iSinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật
n softwareintensive systems. The thesis focuses on the problem of generating source code for applications with two approaches: (i) using modeling: (iiDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊDẠI HỌC QUỐC GIA THÀNH PHố Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOATÔN LONG PHƯỚCSINH MẢ NGUỒN CHO CÁC TH1ET BỊ ĐEO TAY TRONG CÁC GIẢI PHÁP THÔNG MINH TRÊGọi ngay
Chat zalo
Facebook