TAILIEUCHUNG - 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"

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 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 . 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 .

• Báo cáo khoa học
• báo cáo khoa học
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• trình bày báo cáo
• tài liệu báo cáo khoa học
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• luận văn mẫu
• người lính việt nam
• sau chiến tranh
• tuyển tập báo cáo khoa học
• báo cáo ngành triết học
• báo cáo ngành lịch sử
• báo cáo ngành văn học
• nghiên cứu khoa học
• báo cáo về văn học
• báo cáo triết học
• báo cáo văn học
• chuyên đề văn học
• văn học nghệ thuật
• văn học Việt NAm
• báo cáo ngành toán học
• báo cáo ngành vật lý
• báo cáo ngành chăn nuôi
• văn học Trung Hoa
• báo cáo khoa học kinh tế
• Kỷ yếu tóm tắt báo cáo khoa học
• Báo cáo khoa học y học
• Báo cáo y học
• Hội nghị khoa học tim mạch
• Báo cáo khoa học y khoa
• Tăng huyết áp
• báo cáo sinh học
• bảo tồn nguồn gen
• báo cáo ngành kỹ thuật
• Báo cáo quản lý chất thải sinh hoạt
• Báo cáo khoa học môi trường
• Báo cáo khoa học công nghệ
• Nghiên cứu khoa học về môi trường
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học