Luận án nghiên cứu, đề xuất và triển khai một số phương pháp tối ưu hướng cấu trúc cho phần mềm nhúng trong giai đoạn thiết kế như tối ưu hiệu năng, tối ưu bộ nhớ và tối ưu đa mục tiêu theo hướng tiếp cận dựa trên mô phỏng và dựa trên đánh giá mô hình. Để biết rõ hơn về nội dung chi tiết, . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Công trình được hoàn thành tại: Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội. Người hướng dẫn khoa học: . Nguyễn Ngọc Bình Phản biện 1: Phạm Văn Hưởng Phản biện 2: Phản biện 3: CÁC PHƯƠNG PHÁP TỐI ƯU TRONG PHÁT TRIỂN PHẦN MỀM NHÚNG Luận án tiến sĩ sẽ được bảo vệ trước hội đồng cấp Đại học Quốc gia chấm Chuyên ngành: Kỹ thuật phần mềm luận án tiến sĩ họp tại Vào hồi giờ ngày tháng năm Mã số: 62 48 01 03 Có thể tìm hiểu luận án tại: TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN - Thư viện Quốc gia Việt Nam - Trung tâm Thông tin – Thư viện, Đại học Quốc gia Hà Nội Hà Nội – 2014 1 2 Chương 1. TỔNG QUAN Tối ưu trong kỹ nghệ xuôi Tối ưu hóa trong kỹ nghệ ngược Giai đoạn thiết kế . Tổng quan về tối ưu phần mềm hệ thống nhúng Mô hình thiết kế Trong luận án này, đầu tiên chúng tôi điều tra, phân tích các nghiên cứu liên quan để xây dựng mô hình tổng thể cho bài toán tối ưu phần mềm nhúng như trong Hình . Tối ưu trong giai đoạn thiết kế Mô hình thiết kế Mô hình thiết kế tốt Bài toán tối ưu phần mềm nhúng được chia thành hai hướng tiếp cận chính là tối ưu trong kỹ nghệ xuôi và tối ưu hóa kết hợp với kỹ nghệ ngược. Hướng tiếp cận tối ưu trong kỹ Chuyển đổi ngược nghệ xuôi, bắt đầu từ đặc tả yêu cầu, có thể thiết kế phần mềm nhúng theo các mô hình thiết kế khác nhau và dựa trên các phương pháp tối ưu trong giai đoạn thiết kế để lựa chọn các mô hình tốt. Trong giai đoạn cài đặt, từ các mô hình thiết kế tốt, có thể cài đặt phần mềm nhúng theo mã nguồn mức cao độc lập CPU và thực hiện các phương pháp tối ưu trên mã nguồn mức cao. Vấn đề tối ưu phần mềm nhúng trong giai đoạn thiết kế và tối ưu mã nguồn mức cao cũng tương tự như phần mềm thông thường. Mã nguồn mức cao được biên dịch chéo để tạo thành mã hợp ngữ gắn với một CPU nhúng cụ thể. Trong mức mã hợp ngữ, các phương pháp tối ưu mức thường mang tính đặc thù
