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