Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo hóa học: " Research Article Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation Lionel Morel"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo hóa học: " Research Article Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation Lionel Morel"
Ðăng Khoa
72
16
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation Lionel Morel | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2007 Article ID 59130 16 pages doi 10.1155 2007 59130 Research Article Array Iterators in Lustre From a Language Extension to Its Exploitation in Validation Lionel Morel IRISA-INRIA Campus Universitaire de Beaulieu 35042 Rennes Cedex France Received 29 June 2006 Revised 27 November 2006 Accepted 18 December 2006 Recommended by Jean-Pierre Talpin The design of safety critical embedded systems has become a complex task which requires both appropriate language features and efficient validation techniques. In this work we propose the introduction of array iterators to the synchronous dataflow language Lustre as a mean to alleviate this complexity. We propose these new operators to provide Lustre programmers with a new mean for designing regular reactive systems. We study a compilation scheme that allows us to generate efficient loop imperative code from these iterators. This language aspect of our work has been fruitful since the iterators are being introduced in the industrial version of Lustre. Finally we propose to take these regular structures into account during the validation process. This approach has already shown its applicability on different real-life case studies. The work we relate here is thus complete in the sense that our propositions at the language level are taken into account both at the compilation and the validation levels. Copyright 2007 Lionel Morel. 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 1.1. Reactive systems and the synchronous approach Reactive systems as defined in 1 are characterized by the interaction with their environment being the prominent aspect of their behavior. Software embedded in aircraft nuclear plants and similar physical environments is a typical example. Moreover they .
TÀI LIỆU LIÊN QUAN
Báo cáo hóa học: " Research Article TSI Finders for Estimation of the Location of an Interference Source Using an Ariborne Array"
Báo cáo hóa học: " Research Article Detection and Separation of Speech Events in Meeting Recordings Using a Microphone Array"
Báo cáo hóa học: " Research Article Integrated Detection, Tracking, and Recognition of Faces with Omnivideo Array in Intelligent Environments"
Báo cáo hóa học: " Research Article Blind PARAFAC Signal Detection for Polarization Sensitive Array"
Báo cáo hóa học: " Research Article Extraction of 3D Information from Circular Array Measurements for Auralization with Wave Field Synthesis"
Báo cáo hóa học: " Research Article Second-Order Optimal Array Receivers for Synchronization of BPSK, MSK, and GMSK Signals "
Báo cáo hóa học: " Research Article Array Processing and Fast Optimization Algorithms for Distorted Circular Contour Retrieval"
Báo cáo hóa học: " Research Article Further Development of Synchronous Array Method for Ad Hoc Wireless Networks"
Báo cáo hóa học: " Research Article Computationally Efficient DOA and Polarization Estimation of Coherent Sources with Linear Electromagnetic Vector-Sensor Array"
Báo cáo hóa học: " Research Article Fully Adaptive Clutter Suppression for Airborne Multichannel Phase Array Radar Using a Single A/D Converter"
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.