Professional Documents
Culture Documents
Tiểu luận Xây dựng các hệ thống nhúng PTIT
Tiểu luận Xây dựng các hệ thống nhúng PTIT
Tiểu luận Xây dựng các hệ thống nhúng PTIT
TIỂU LUẬN
XÂY DỰNG CÁC HỆ THỐNG NHÚNG
Đề tài :
Specification and Design of Embedded Hardware and Software systems
Đặc điểm kỹ thuật và thiết kế của hệ thống phần cứng và phần mềm nhúng
HÀ NỘI – 30/6/2021
Nội dung
2. Tìm hiểu......................................................................................................
C. Kết luận..............................................................................................................
Hệ thống nhúng (tiếng Anh embedded system) là một thuật ngữ để chỉ một hệ thống
có khả năng tự trị được nhúng vào trong một môi trường hay một hệ thống mẹ. Đó là
các hệ thống tích hợp cả phần cứng và phần mềm phục vụ các bài toán chuyên dụng
trong nhiều lĩnh vực công nghiệp, tự động hoá điều khiển, quan trắc và truyền tin.
Hệ thống nhúng trở nên phổ biến trong những năm gần đây. Ví dụ bao gồm kiểm soát
hành trình tự động, hệ thống phun nhiên liệu, lái máy bay tự động, sản phẩm viễn
thông, bộ xử lý truyền hình tương tác, thiết bị chuyển mạch mạng, bộ lấy nét video, bộ
điều khiển robot và nhiều thiết bị y tế.
Audio+ AudioVideo
Video commands
'"" Keypad
receiver
IC
Không có mô hình nào là lý tưởng cho tất cả các lớp hệ thống. Mô hình FSM có thể
phù hợp nhất cho một hệ thống không thực hiện tính toán phức tạp nhưng phải đáp
ứng với các chuỗi phức tạp của các sự kiện bên ngoài. Mô hình CSP phù hợp nhất cho
các hệ thống thực hiện chuyển đổi dữ liệu phức tạp. Mô hình PSM theo nhiều cách
phụ thuộc vào các mô hình FSM và CSP, vì vậy nó phù hợp không chỉ cho các hệ
thống thống trị kiểm soát mà còn cho các hệ thống thống trị dữ liệu như các ứng dụng
phần mềm mềm.
1.2 Tạo mô tả
Việc lựa chọn một mô hình là yếu tố quan trọng nhất ảnh hưởng đến khả năng hiểu
và xác định chức năng hệ thống trong quá trình đặc tả. Khi chúng ta đã chọn mô hình
thích hợp, chức năng hệ thống phải được nắm bắt trong một đặc tả chức năng. Một
đặc điểm kỹ thuật như vậy có thể được nắm bắt bằng nhiều ngôn ngữ khác nhau. Một
đặc tả chức năng dễ dàng tạo ra nếu có sự tương ứng 1-1 giữa các đặc điểm của mô
hình và cấu trúc ngôn ngữ. Nếu một ngôn ngữ cấu trúc không tồn tại cho một đặc tính
cụ thể, khi đó chúng ta phải áp dụng một số nỗ lực để sử dụng một tập hợp cấu trúc
mô tả đặc điểm đó, do đó dẫn đến mô tả ít dễ đọc hơn, có thể có nhiều lỗi chức năng
hơn.
N p s s
s
VHDL
N s s s N s
Verilog Hardware( CSP s
N p s s s
s
Statecharts SDL
N s s s N
N
Silage Esterel N
s s s N s
SpecCharts
s
s p s N N/A
N
N/A N/A s N/A s
N/A
s
N s s s
s
s s s s s
- Phân vùng chức năng, các chức năng hệ thống khác nhau trước tiên được phân
vùng thành các nhóm chức năng, trong đó mỗi nhóm được gán cho một thành phần hệ
thống. Mỗi nhóm sau đó được triển khai dưới dạng phần mềm (cho một thành phần bộ
xử lý) hoặc dưới dạng phần cứng (đối với thành phần ASIC).
Khi phát triển một kỹ thuật phân vùng chức năng, chúng ta phải xem xét một số vấn
đề
- Chúng ta phải xác định mức độ chi tiết của đối tượng
- Chúng ta phải chọn các chỉ số thiết kế sẽ được sử dụng để tạo ra một phân vùng tốt
- Chúng ta phải chọn các chỉ số thiết kế sẽ được sử dụng để tạo ra một phân vùng tốt
Thủ tục nội tuyến và quy trình hợp nhất là những ví dụ phổ biến về các phép biến đổi
hư cấu cụ thể.
Một chuyển đổi tổ chức lại đặc tả cụ thể, do đó thay đổi tổ chức của bất kỳ hành động
tiếp. Các biến đổi khác bao gồm tham gia hệ thống phân cấp, quy trình chia tách,
nhóm câu lệnh thành thủ tục và hợp nhất các biến thành mảng.
Chúng ta mô tả các phương pháp ước tính các chỉ số phổ biến về kích thước phần
cứng, kích thước phần mềm và hiệu suất. Như chúng ta sẽ thấy, kích thước phần mềm,
phần cứng và các kỹ thuật ước tính hiệu suất không hoàn toàn chính xác vì ánh xạ mô
tả hành vi vào phần cứng hoặc phần mềm không đơn giản (1-1). Sự phức tạp được
giới thiệu bằng cách tối ưu hóa trên sự trừu tượng khác nhau các cấp độ. Kích thước
phần cứng của một tập hợp các chức năng nhất định có thể được ước tính bằng cách
tổng hợp gần như một bộ điều khiển và đường dẫn dữ liệu để triển khai các chức năng
đó, để dự đoán giảm mã hoặc nâng cao hiệu suất do tối ưu hóa
Kích thước phần mềm của một nhóm chức năng nhất định có thể được ước tính bằng
cách biên dịch các chức năng thành tập lệnh của một bộ xử lý nhất định.
Nói chung, chỉ những ước tính sơ bộ là cần thiết trong quá trình thiết kế hệ thống.
3.1 Bộ nhớ
Trong giai đoạn nghiên cứu thiết kế hệ thống, chúng ta có thể đã nhóm các biến để
lưu trữ trong một bộ nhớ cụ thể. Mỗi quá trình không còn có thể truy cập trực tiếp các
biến này nữa.
Khi các quá trình thực thi đồng thời truy cập vào cùng một tài nguyên, chẳng hạn
như một bus hoặc một bộ nhớ, chúng ta cần đảm bảo rằng chỉ có một tiến trình truy
cập tài nguyên đó tại một thời điểm nhất định. Trọng tài giải quyết yêu cầu truy cập
đồng thời bằng cách chỉ cấp quyền cho một quy trình tại một thời điểm.
Có hai loại các chương trình để xác định quyền ưu tiên trong quá trình phân xử. Lược
đồ ưu tiên chỉ định mức độ ưu tiên cho mỗi quy trình tĩnh; ưu tiên của quy trình không
bao giờ thay đổi. Lược đồ ưu tiên động xác định mức độ ưu tiên của một quy trình tại
thời điểm chạy, dựa trên kiểu truy cập của các quy trình.
Chúng ta cần tái lập biểu tượng đặc tả chức năng thành một mô tả cấp hệ thống. Khi
làm như vậy, chúng tôi phải đảm bảo rằng mô tả mới có thể đọc được, có thể sửa đổi,
và được mô-đun hóa, và rằng các nhà thiết kế khác nhau có thể triển khai các phần
khác nhau. Chúng ta cũng phải đảm bảo rằng mô tả phù hợp để xử lý thêm bằng các
công cụ tổng hợp hoặc biên dịch. Cuối cùng, chúng ta phải đảm bảo rằng mô tả có thể
mô phỏng được, để chúng tôi có thể tiếp tục xác minh chức năng hệ thống
Một tính năng phức tạp của mô tả cấp hệ thống là định nghĩa các tác vụ đồng thời.
Nếu hai tác vụ đồng thời được ánh xạ tới một bộ xử lý, sau đó các tác vụ phải được
lên lịch để thực thi một cách tuần tự. Trong việc lập lịch trình như vậy, điều quan
trọng là phải đảm bảo rằng mọi nhiệm vụ đều có cơ hội thực thi, hay nói cách khác,
không có nhiệm vụ nào bị bỏ lại. Một vấn đề khác là giảm thiểu số lượng busy-wait:
thời gian bộ xử lý dành để đợi một số sự kiện bên ngoài. Vấn đề thứ ba là đảm bảo
rằng các ràng buộc về thời gian cho mỗi nhiệm vụ được thỏa mãn.
Có một số nhiệm vụ phụ thuộc lẫn nhau tạo nên sự tổng hợp cấp cao. Biểu diễn nội
bộ cho thấy sự phụ thuộc vào dữ liệu và kiểm soát giữa các phép toán số học, chẳng
hạn như giữa bổ sung và so sánh. Phân bổ chọn, từ một thành phần chuyển đăng ký cơ
sở dữ liệu, các đơn vị lưu trữ, chức năng và bus được sử dụng trong thiết kế. Lập lịch
hoạt động bản đồ để điều khiển các bước, mỗi bước thường đại diện cho một chu kỳ
đồng hồ hoặc pha đồng hồ. Lập lịch là cần thiết vì tất cả các hoạt động thường không
thể được thực hiện cùng một lúc do phụ thuộc dữ liệu.
Mô phỏng phần cứng-phần mềm có hai mục tiêu cạnh tranh: tốc độ và độ chính xác.
Tốc độ là tốc độ thời gian mô phỏng tiếp tục. Mục tiêu thứ ba, thường cạnh tranh với
tốc độ, là gỡ lỗi tương tác khả năng từng bước thực thi hệ thống, kiểm tra các giá trị
trung gian và quay lại để gỡ lỗi hệ thống.
Đối với cả phần cứng và phần mềm, tốc độ thay đổi tùy thuộc vào kỹ thuật xác minh
đã chọn. Đối với phần mềm, cách tiếp cận chậm nhất nhưng "có thể gỡ lỗi" nhất là
sử dụng mô phỏng mô hình.
C. Kết Luận
Hệ thống nhúng là sự kết hợp của phần cứng và phần mềm cũng như các thành
phần khác mà chúng ta đã biết như điện thoại di động, máy nghe nhạc, bộ định tuyến
mạng…
Cách tiếp cận thiết kế truyền thống:
+ Thiết kế các thành phần phần cứng
+ Thiết kế các thành phần phần mềm.
+ Tích hợp
+ Kiểm tra và gỡ lỗi hệ thống.
Các lĩnh vực chính của quá trình thiết kế là
+ Đảm bảo đặc điểm kỹ thuật phần cứng và phần mềm âm thanh.
+ Xây dựng kiến trúc cho hệ thống được thiết kế.
+ Phân vùng
+ Cung cấp cách tiếp cận lặp đi lặp lại để thiết kế.
Thiết kế không chính thức
Đối với phần mềm nhúng hoặc các hệ thống phần cứng, cần phải có một phương
pháp mới, dựa trên hệ thống phân cấp của các mô hình ở các mức độ trừu tượng khác
nhau, là cần thiết. Sử dụng phương pháp luận này, chúng tôi bắt đầu với một đặc tả
chức năng chính thức và lấy ra mô hình cấp thấp hơn tiếp theo bằng cách khám phá
các vấn đề triển khai và tinh chỉnh mô hình cấp cao hơn với các lựa chọn triển khai
được thực hiện trong quá trình thăm dò.
Phương pháp xác định-khám phá-tinh chỉnh này có thể giúp các nhà quản lý và nhà
thiết kế đối phó với các yêu cầu phát triển sản phẩm ngày nay. Nó có thể dẫn đến tăng
năng suất đáng kể thông qua việc phát hiện sớm các lỗi chức năng và thông qua việc
khám phá nhanh hơn các phương án thiết kế.