TAILIEUCHUNG - Báo cáo hóa học: " Research Article Using Visual Speciﬁcations in Veriﬁcation of Industrial Automation Controllers"

Tham khảo luận văn - đề án 'báo cáo hóa học: " research article using visual speciﬁcations in veriﬁcation of industrial automation controllers"', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2008 Article ID 251957 9 pages doi 2008 251957 Research Article Using Visual Specifications in Verification of Industrial Automation Controllers Valeriy Vyatkin1 and Gustavo Bouzon2 1 Department of Electrical and Computer Engineering University of Auckland Auckland 1142 New Zealand 2 Controle Solucões em Mecatrônica Ltda. Rua Mauro Nerbass 72 CEP 88024-420 Lages SC Brazil Correspondence should be addressed to Valeriy Vyatkin Received 3 February 2007 Accepted 4 November 2007 Recommended by Jose L. Martinez Lastra This paper deals with further development of a graphical specification language resembling timing-diagrams and allowing specification of partially ordered events in input and output signals. The language specifically aims at application in modular modelling of industrial automation systems and their formal verification via model-checking. The graphical specifications are translated into a model which is connected with the original model under study. Copyright 2008 V. Vyatkin and G. Bouzon. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. 1. INTRODUCTION Formal verification of industrial automation systems requires three constituent components a model of the controller a model of the uncontrolled plant and a specification of desired or forbidden plant behaviour. Generation of the two first elements can be facilitated by application of modular modelling approaches and from automatic modelgeneration as described in 1 . However languages commonly used for specification such as temporal logic are still rarely familiar to control engineers. So the engineers would benefit from having userfriendly means of specifying the desired or forbidden behaviour of a model. Inspired by the timing diagram .

Vương Triệu 55 9 pdf

Upload

Bấm vào đây để xem trước nội dung

Tải xuống

TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: " Áp dụng thủ tục phân tích trong kiểm toán báo cáo tài chính"

8 256 1

Báo cáo nghiên cứu khoa học: "Người lính trở về sau chiến tranh với mặc cảm “ăn mày dĩ vãng’ trong tiểu thuyết Chu Lai"

8 302 1

Báo cáo nghiên cứu khoa học: "Khảo sát hiện tượng chuyển đổi chức năng - nghĩa của động từ tiếng Việt"

8 235 0

Báo cáo nghiên cứu khoa học: "Tính năng động nghệ thuật của văn học hiện đại Việt Nam và một cách nhìn hành trình thể loại"

10 206 0

Báo cáo nghiên cứu khoa học: " Dẫn liệu cập nhật về thành phần loài cây họ đậu (Fabaceae) tại Vườn Quốc gia Bạch Mã - Thừa Thiên Huế "

6 206 1

Báo cáo nghiên cứu khoa học: "Một số kết quả của việc bổ sung bột sắn vào khẩu phần ăn và khả năng tiêu hóa thức ăn, hiệu quả chăn nuôi ở bò Laisind"

8 238 0

Báo cáo nghiên cứu khoa học: "Nghiên cứu mật độ và thành phần thức ăn của một số loài ếch nhái trên đồng ruộng Sầm Sơn - Thanh Hoá"

6 210 0

Báo cáo nghiên cứu khoa học: "Một số phép toán trên hệ biểu diễn tri thức dựa theo triết lý tập thô.."

7 212 0

Báo cáo nghiên cứu khoa học: " Liên hệ giữa không gian metric mờ với không gian Menger và không gian metric xác suất"

10 211 0

Báo cáo nghiên cứu khoa học: " BẢN CHẤT KHOA HỌC VÀ CÁCH MẠNG LÀ CỘI NGUỒN SỨC SỐNG CỦA CHỦ NGHĨA MÁC - LÊNIN"

5 298 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461860 55

Giới thiệu :Lập trình mã nguồn mở

14 22622 59

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10883 529

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10061 446

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9516 104

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8276 1125

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8226 423

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7863 2220

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 6671 253

Vật lý hạt cơ bản (1)

29 5768 85

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn

4 312 1 25-04-2024

Đánh giá hao mòn và độ tin cậy của chi tiết và kết cấu trên đầu máy diezel part 3

12 304 0 25-04-2024

Oreilly learning the vi Editor phần 4

19 228 0 25-04-2024

Anh văn bằng C-124

8 172 0 25-04-2024

Báo cáo nghiên cứu khoa học " KẾT QUẢ NGHIÊN CỨU BƯỚC ĐẦU VỀ THIÊN ĐỊCH CHÂN KHỚP TRÊN CÂY THANH TRÀ Ở THỪA THIÊN HUẾ "

7 175 0 25-04-2024

MySQL Database Usage & Administration PHẦN 9

37 141 0 25-04-2024

THE ANTHROPOLOGY OF ONLINE COMMUNITIES BY Samuel M.Wilson and Leighton C. Peterson

19 144 0 25-04-2024

Lịch sử Đội TNTP Hồ Chí Minh - CHƯƠNG III VÂNG LỜI BÁC DẠY, LÀM NGHÌN VIỆC TỐT, CHỐNG MỸ, CỨU NƯỚC, THIẾU NIÊN SĂN SÀNG

45 136 0 25-04-2024

QUẢN LÝ CHẤT LƯỢNG KHÔNG KHÍ

75 137 0 25-04-2024

Báo cáo tốt nghiệp: Vận hành và bảo dưỡng trong MPLS

92 144 3 25-04-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7863 2220

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 5705 1363

Ebook Chào con ba mẹ đã sẵn sàng

112 3766 1231

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 5316 1136

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8276 1125

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3494 642

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10883 529

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3680 525

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4042 514

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4124 480