Đại số tiến trình thời gian thực và đặc tả hệ thống theo dõi thùng chứa xăng ngầm

Chỉ số đề mục

50.45; 61.51

Lĩnh vực nghiên cứu

Dạng tài liệu

Tác giả

Nguyễn Ngọc Bình, Nguyễn Thanh Phương, Walid Mensi⁽¹⁾

Nhan đề

Đại số tiến trình thời gian thực và đặc tả hệ thống theo dõi thùng chứa xăng ngầm

Nhan đề tiếng anh

Nguồn trích

Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông

Năm xuất bản

2003

Số

00

Trang

159-170

ISSN

Từ khóa

Thùng chứa xăng, Đại số tiến trình, Hệ thống theo dõi, Kho xăng ngầm, Hệ nhúng

Từ khóa tiếng anh

Tóm tắt

Trình bày về một số ký hiệu cốt lõi của Đại số tiến trình thời gian thực (Real-Time Process Algebra-RTPA) bao gồm các siêu tiến trình (meta-process) và các siêu quan hệ (meta-ralation), sau đó nêu đặc tả RTPA cho một ứng dụng nhúng sử dụng hệ điều hành thời gian thực. Đó là Hệ thống theo dõi thùng chứa xăng ngầm (Underground Tank Monitoring System - UTMS) được đưa ra để thể hiện các ưu điểm của RTPA trong đặc tả và làm mịn một hệ thống thời gian thực.

Tóm tắt tiếng anh

Kí hiệu kho

TTKHCNQG, Vt 617/2004

File toàn văn

Xem toàn văn