kiểm thử hệ thống thời gian thực

... NGHỆ NGUYỄN KHẮC CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH SAL LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI, 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ ... CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH SAL Nghành : Công nghệ thông tin Chuyên nghành : Kỹ thuật phần mềm Mã số : 60 48 01 03 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG ... Kiểm duyệt mô hình hệ th ng thời gian th c (model checking real-time system) 18 2.4.1 Hệ th ng thời gian rời r c (Discrete-time System) 19 2.4.2 Hệ th ng thời gi n y ặc (Dense-time

Ngày tải lên: 05/04/2016, 21:15

... NGHỆ NGUYỄN KHẮC CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH SAL LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI, 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ ... phần mềm Kĩ thuật kiểm duyệt hệ thống đang được áp dụng để kiểm duyệt thiết kế hệ thống nhằm tăng độ tin cậy của hệ thống Trong... phát triển của các hệ thống kỹ thuật thông ... CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH SAL Nghành : Công nghệ thông tin Chuyên nghành : Kỹ thuật phần mềm Mã số : 60 48 01 03 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG

Ngày tải lên: 27/08/2016, 22:33

... NGHỆ NGUYỄN KHẮC CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CƠNG CỤ KIỂM CHỨNG MƠ HÌNH SAL LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI, 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ ... NGUYỄN KHẮC CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CƠNG CỤ KIỂM CHỨNG MƠ HÌNH SAL Nghành : Công nghệ thông tin Chuyên nghành : Kỹ thuật phần mềm Mã số LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN NGƯỜI ... 2.4 Kiểm duyệt mơ hình hệ th ng thời gian th c (model checking real-time system) 2.4.1 Hệ th 2.4.2 Hệ th 2.5 Logic Thời gian tuyến tính (Linear Temporal Logic) 2.5.1 Logic thời

Ngày tải lên: 11/11/2020, 21:45

... NGHỆ NGUYỄN KHẮC CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CƠNG CỤ KIỂM CHỨNG MƠ HÌNH SAL LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI, 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ ... CHUNG KIỂM CHỨNG HỆ THỐNG THỜI GIAN THỰC BẰNG CƠNG CỤ KIỂM CHỨNG MƠ HÌNH SAL Nghành : Công nghệ thông tin Chuyên nghành : Kỹ thuật phần mềm Mã số : 60 48 01 03 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG ... Kiểm duyệt mơ hình hệ th ng thời gian th c (model checking real-time system) 18 2.4.1 Hệ th ng thời gian rời r c (Discrete-time System) 19 2.4.2 Hệ th ng thời gi n y ặc (Dense-time

Ngày tải lên: 16/03/2021, 10:06

... (Channel 8ystem) 16 2.4 Kiểm duyệt mô hình hệ thống thời gian thực (model checking 1eal-time 2.41 TIệ thống thời gian rdi rac (Discrete-time System) 19 Trang 6242 TIệ thống thời gian dây đặc (Dense-từne ... quan trọng mà việc dự đoán được thời gian đáp ứng là rất cần thiết để đảm bảo cho tinh ding đắn của hệ thống Các hệ thống nảy gọi lá các hệ thống thời gian thực Do tỉnh chất của các ứng dung ... như vậy, nên việc sai sót trong hệ thông thời gian thực cỏ thể cực kỷ nguy hiểm, thậm chí gây dỗ vỡ hệ thống Đảm bão tỉnh dùng dẫn cửa một hệ thông thời gian thực phức tạp là một nhiệm vụ quan

Ngày tải lên: 21/05/2025, 18:58

... lượng dịch vụ (hệ thời gian thực mềm: Soft Real-Time)[6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản.Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 11/01/2018, 12:20

... 4 ví dụ) về một số hệ thống thời gian thực áp dụng vào đặc tả và kiểm chứng hệ thống đó bởi bộ công cụ Uppaal Đối với mỗi ví dụ tác giả giả định là một hệ thống thời gian thực, tiến hành đặc ... tả và kiểm chứng một hệ thống thời gian thực là một bài toán khó và một trong những mối quan tâm lớn hiện nay là làm thế nào để đặc tả và kiểm chứng tự động cho các hệ thống thời gian thực Bộ ... những ứng dụng trong hệ thống thời gian thực Không chỉ góp mặt trong nhiều lĩnh vực mà sự góp mặt của nó còn có tầm quan trọng rất lớn đối với hệ thống Trong hệ thống thời gian thực, các công vệc

Ngày tải lên: 16/01/2018, 16:48

... dịch vụ (hệ thời gian thực mềm: Soft Real-Time) [6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 16/01/2018, 16:48

... dịch vụ (hệ thời gian thực mềm: Soft Real-Time) [6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 19/01/2018, 10:07

... hình hóa hệ thống thời gian thực, người ta sử dụng ôtômát thời gian kỹ thuật tương đương để làm mơ hình hệ thống 2.3.2 Đặc tả tính chất hệ thống Khi kiểm chứng, tính chất hệ thống thời gian thực ... ôtômát thời gian cho phép tính tốn chi phí cho hoạt động hệ thống thời gian thực 2.3 Kiểm chứng hệ thống thời gian thực 2.3.1 Đặc tả mô hình hóa hệ thống Đặc tả mơ hình hóa bước quan trọng kiểm ... định nghĩa hệ thống thời gian thực theo tác giả hệ thống thời gian thực hệ thống:" phản ứng theo cách đốn trước (kịp thời) kích thích khơng dự đốn đến từ bên ngồi." 2.2.1 Ơtơmát thời gian Mọi

Ngày tải lên: 14/03/2019, 14:59

... dịch vụ (hệ thời gian thực mềm: Soft Real-Time) [6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 28/04/2019, 16:59

... VỀ HỆ THỐNG THỜI GIAN THỰC 3 1.1 Hệ thống thời gian thực (Hệ thời gian thực) 3 1.1.1 Khái niệm hệ thời gian thực 3 1.1.2 Các đặc điểm chính của một hệ thời gian thực 3 1.1.3 Phân loại hệ thời ... pháp kiểm định xấp xỉ của Bini and Baruah Trang 11CHƯƠNG 1: TỔNG QUAN VỀ HỆ THỜI GIAN THỰC 1.1 Hệ thời gian thực [1, 2] 1.1.1 Khái niệm hệ thời gian thực Hệ thời gian thực là một hệ thống ... thời gian thực 4 1.1.4 Kiểm định khả năng lập lịch của một hệ thời gian thực 4 1.2 Nhiệm vụ thời gian thực 5 1.2.1 Khái niệm nhiệm vụ thời gian thực 5 1.2.2 Các thuộc tính của nhiệm vụ thời gian

Ngày tải lên: 16/03/2020, 22:42

... dịch vụ (hệ thời gian thực mềm: Soft Real-Time) [6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 01/08/2020, 21:05

... hệ thống thời gian thực được chia thành các loại cơ bản gồm hệ thống thời gianthực nghiêm ngặt, hệ thống thời gian thực ổn định, hệ thống thời gian thực linhđộng và hệ thống phi thời gian được ... đến hệ thống thời gian thực Vì vậy, cũng có nhiều cách định nghĩa về hệ thốngthời gian thực được đưa ra [22] Theo tổng kết của các tác giả M Timmerman và L Perneel, hệ thống thời gian thực là hệ ... đây Hệ thống thời gian thực nghiêm ngặt: Hệ thống thời gian thực phải đưa ra kết quả đúng trong thời gian đã định Các yêu cầu đối với hệ thống này rấtchặt chẽ, thường áp dụng trong những hệ thống

Ngày tải lên: 23/09/2020, 22:19

... thíi gian-tài nguyên 106 5.4.1 Thi¸t k¸ thíi gian - tài nguyên 107 5.4.2 Hñp đçng thíi gian - tài nguyên 110 5.4.3 H» thèng thíi gian - tài nguyên 115 5.4.4 Ngôn ngú đ°c t£ thíi gian ... m·m thíi gian thücb¬ng giao di»n thành ph¦n có ràng buëc thíi gian vîi quan h» đ¦u vào/đ¦u ra.(iii) Đ°c t£ thành ph¦n ph¦n m·m thíi gian thüc b¬ng hñp đçng thíi gian vàhñp đçng thíi gian có ràng ... thèng thíi gian thüc đưñc chia thành các lo¤i cơ b£n gçm h» thèngthíi gian thüc nghiêm ng°t, h» thèng thíi gian thüc ên đành, h» thèng thíi gianthüc linh đëng và h» thèng phi thíi gian đưñc trình

Ngày tải lên: 09/11/2020, 09:07

... hệ thống thời gian thực được chia thành các loại cơ bản gồm hệ thống thời gianthực nghiêm ngặt, hệ thống thời gian thực ổn định, hệ thống thời gian thực linhđộng và hệ thống phi thời gian được ... đến hệ thống thời gian thực Vì vậy, cũng có nhiều cách định nghĩa về hệ thốngthời gian thực được đưa ra [22] Theo tổng kết của các tác giả M Timmerman và L Perneel, hệ thống thời gian thực là hệ ... đây Hệ thống thời gian thực nghiêm ngặt: Hệ thống thời gian thực phải đưa ra kết quả đúng trong thời gian đã định Các yêu cầu đối với hệ thống này rấtchặt chẽ, thường áp dụng trong những hệ thống

Ngày tải lên: 04/12/2020, 20:03

... tính đắn hệ thống cần thiết Việc kiểm tra tính đắn hệ thống thực khâu kiểm thử kiểm chứng Tuy nhiên, với hệ thống có ràng buộc thời gian tầm quan trọng hệ thống mà việc kiểm thử không kiểm tra ... dụ) số hệ thống thời gian thực áp dụng vào đặc tả kiểm chứng hệ thống cơng cụ Uppaal Đối với ví dụ tác giả giả định hệ thống thời gian thực, tiến hành đặc tả, mơ hình hóa hệ ơ-tơ-mát thời gian ... lớn hệ thống Trong hệ thống thời gian thực, công vệc tác vụ cần phải hoàn thành khoảng thời gian cho phép (deadline), không đáp ứng yêu cầu thời gian hệ thống sụp đổ gây hậu nghiêm trọng (hệ thời

Ngày tải lên: 12/02/2021, 20:56

... dịch vụ (hệ thời gian thực mềm: Soft Real-Time) [6, 9] Chính vì tầm quan trọng của yếu tố thời gian trong hệ thống thời gian thực như vậy nên việc kiểm tra tính đúng đắn đối với hệ thống này ... của hệ thống thời gian thực và kiểm chứng sự vận hành bởi các hệ thống câu lệnh rất đơn giản Công cụ này giúp ta có thể kiểm chứng những hệ thống được mô hình hóa thành những hệ thống ô-tô-mát thời ... thiết Việc kiểm tra tính đúng đắn của một hệ thống có thể được thực hiện ở khâu kiểm thử và kiểm chứng Tuy nhiên, với những hệ thống có ràng buộc về thời gian cũng như tầm quan trọng của hệ thống

Ngày tải lên: 09/03/2021, 17:40

... hệ thống thời gian thực được chia thành các loại cơ bản gồm hệ thống thời gianthực nghiêm ngặt, hệ thống thời gian thực ổn định, hệ thống thời gian thực linhđộng và hệ thống phi thời gian được ... đến hệ thống thời gian thực Vì vậy, cũng có nhiều cách định nghĩa về hệ thốngthời gian thực được đưa ra [22] Theo tổng kết của các tác giả M Timmerman và L Perneel, hệ thống thời gian thực là hệ ... đây Hệ thống thời gian thực nghiêm ngặt: Hệ thống thời gian thực phải đưa ra kết quả đúng trong thời gian đã định Các yêu cầu đối với hệ thống này rấtchặt chẽ, thường áp dụng trong những hệ thống

Ngày tải lên: 16/03/2021, 09:48

... kiểm tra tính đắn hệ thống thực khâu kiểm thử kiểm chứng Tuy nhiên, với hệ thống có ràng buộc thời gian tầm quan trọng hệ thống mà việc kiểm thử không kiểm tra hết mà chủ yếu tập chung khâu kiểm ... lớn hệ thống Trong hệ thống thời gian thực, cơng vệc tác vụ cần phải hồn thành khoảng thời gian cho phép (deadline), khơng đáp ứng u cầu thời gian hệ thống sụp đổ gây hậu nghiêm trọng (hệ thời gian ... dụ) số hệ thống thời gian thực áp dụng vào đặc tả kiểm chứng hệ thống cơng cụ Uppaal Đối với ví dụ tác giả giả định hệ thống thời gian thực, tiến hành đặc tả, mô hình hóa hệ ơ-tơ-mát thời gian

Ngày tải lên: 16/03/2021, 10:16