Khi thiết kế hệ thống nhúng, cần xây dựng một mô hình chính tắc (formal model) với các yêu cầu đặt ra. Vậy các yêu cầu đó là những yêu cầu gì ?

Yêu cầu : -Chức năng, Tập thuộc tính, Chỉ số hiệu năng, Các khác biệt đạt ra, Tinh lọc thiết kế. (1d)

                   -Hình vẽ nêu các đặc tả (1d)

Trả lời:

Khi thiết kế hệ thống nhúng, cần xây dựng một mô hình chính tắc (formal model) với các yêu cầu đặt ra là :

1.     Chức năng

   Xác định chức năng: xây dựng tập các mối quan hệ tường minh hay không tường minh liên quan tới đầu vào/đầu ra, và thông tin trạng thái bên trong của hệ thống

2.     Tập thuộc tính

   Xây dựng tập các thuộc tính mà thiết kế sẽ phải thỏa mãn. Kết hợp các thuộc tính và tập các quan hệ vào/ra, trạng thái hệ thống, xác định lại các chức năng hệ thống.

  Các thuộc tính bao gồm:

          - Các thuộc tính có tính kế thừa các hệ thống tính toán (máy tính số);

          - Các thuộc tính có thể kiểm chứng trên một chức năng;

          - Các thuộc tính phải được kiểm chứng trên các đặc tả phải có khi các tiêu chí ở đầu vào xuất hiện.

3.  Chỉ số hiệu năng

  Xây dựng tập các chỉ số hiệu năng để đánh giá thiết kế theo các tiêu chí: giá thành, năng lượng, độ tin cậy, tốc độ xử lý, kích thước …

4.     Các khác biệt đặt ra

      Xây dựng tập các khác biệt coi đó như những thách thức của thiết kế, đề ra giải

pháp giải quyết.

5.     Tinh lọc thiết kế

   Thực hiện tinh lọc thiết kế để có thiết kế từ ý tưởng đến mô hình: