Câu 22. Hãy nêu chu trình phát triển phần mềm hệ nhúng?

Quá trình phát triển phần mềm nhúng thực hiện theo chu trình sau:

(1) Problem specification

(2) Tool/chip selection

(3) Software plan

(4) Device plan

(5) Code/debug

(6) Test

(7) Integrate

Câu 23. Mạng Petri dùng để mô hình hóa sự kiện và tác vụ: qui ước biểu diễn, các tình

huống hoạt động cơ bản?

-Qui ước biểu diễn mô hình Petrinet

Trong qui ước biểu diễn hình hoạ thì mạng Petri sử dụng các vòng tròn để biểu diễn các điều kiện, các hộp để biểu diễn các sự kiện, và mũi tên biểu diễn quan hệ luồng. 

• P = {p1, p2 ,..., pnp}là tập gồmnp vị trí được biểu diễn trong mô hình (được mô tả bởi các vòng

tròn);

• 1 2 { , ,..., } nt T = t t t là tập gồmnt chuyển đổi trong tập chuyển đổi biểu diễn trong mô

hình(được mô tả bởi các hình chữ nhật);

• I biểu diễn quan hệ đi vào chuyển đổi và được ký hiệu bởi đường mũi tên theo hướng từ các vị

trí tới các chuyển đổi;

• O biểu diễn quan hệ đi ra khỏi chuyển đổi và được ký hiệu bởi các đường mũi tên theo hướng

từ các chuyển đổi tới các vị trí;

• 1 2 { , ,... } np M = m m m là dấu trạng thái của các chuyển đổi trong hệ thống. Các giá trị i m là

số các thẻ bài (được ký hiệu như các chấm tròn đen) chứa bên trong các vị trí i p trong tập dấu M

. ----Các tình huống hoạt động cơ bản:

 Đồng hành (Song song) và đồng bộ

Trong hệ thống dự phòng với độ tin cậy cao, mô hình này được sử dụng để biểu diễn hai thành

phần C1 và C2 song song để đảm bảo hoạt động dự phòng; trong trường hợp này các vị trí p1 và

p3 biểu diễn điềukiện làm việc, các vị trí p2 và p4 biểu diễn điều kiện lỗi, t1 và t2 là các sự kiện

lỗi trongcác tác vụ C1 và C2 một cách tương ứng 

 Chia sẻ đồng bộ

Sự thiếu thốn về tài nguyên làm hạn chế hoạt động của hệ thống trong quá trình xử lý thậm chí làm tắc nghẽn hệ thống. Việc mô hình và phân tích các hệ thống có hiện tượng tắc nghẽn là một tác vụ khó khăn trong hầu hết các quá trình mô hình có thể gặp phải.

 Tuần tự

Hoạt động tuần tự sẽ được mô tả và minh hoạ bởi hoạt động của bộ tạo và bộ sử dụng thông qua một bộ đệm. Bộ tạo sẽ sinh ra các đối tượng để đưa vào trong một bộ đệm và sẽ được lấy ra bởi bộ sử dụng.

 Loại trừ xung đột

Hai tác vụ C1 và C2 được phép làm việc song song và cùng chia sẻ tài nguyên CS, nhưng không được truy nhập vào tài nguyên đồng thời