Please use this identifier to cite or link to this item: https://dspace.ctu.edu.vn/jspui/handle/123456789/85302
Title: Phát hiện lõi tràn số trên mô hình hệ thống nhúng sử dụng phương pháp phân tích tĩnh
Authors: Đỗ, Thị Bích Ngọc
Keywords: Ràng buộc SMT
Mô hình hệ thống nhúng
Lỗi tràn số
MATLAB/Simulink
Phân tích tĩnh
Issue Date: 2021
Series/Report no.: Tạp chí Khoa học Công nghệ Thông tin và Truyền thông;Số 03(CS.01) .- Tr.128-135
Abstract: Ngày nay, các hệ thống nhúng đòi hỏi tính an toàn ngày cao, bên cạnh độ phức tạp cùng tăng theo. Vì vậy, phân tích, đánh giá ngay từ mô hình hệ thống nhúng đã và đang thu hút sự quan tâm của cả giới nghiên cứu và công nghiệp. Trong đó, việc phát hiện nguy cơ lỗi tràn số trong các hệ thống nhúng là quan trọng và cần thiết vì nó có thể dẫn tới sai lệch nghiêm trọng trong hộ thống. Lỗi tràn số có thể xây ra do kiểu dữ liệu trong các hệ thống nhúng thường bị giới hạn số bít. Thêm vào đó, các tính toán bên trong hệ thống có thể dẫn tới các giá trị quá lớn so với phạm vi biểu diễn. Bài báo này đề xuất một phương pháp phát hiện lỗi tràn số cho các mô hình hệ thống nhúng dựa trên phương pháp phân tích tĩnh (static analysis) kết hợp với công cụ giải các ràng buộc SMT.
URI: https://dspace.ctu.edu.vn/jspui/handle/123456789/85302
ISSN: 2525-2224
Appears in Collections:Khoa học Công nghệ Thông tin và Truyền thông

Files in This Item:
File Description SizeFormat 
_file_
  Restricted Access
2.35 MBAdobe PDF
Your IP: 3.145.202.60


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.