Relevant bibliographies by topics / Lustre programs

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Lustre programs'

Author: Grafiati
Published: 4 June 2025
Last updated: 1 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Lustre programs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Lustre programs"

1

Binh, Nguyen Thanh, Trinh Cong Duy, and Ioannis Parissis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (2017): 2635. http://dx.doi.org/10.11591/ijece.v7i5.pp2635-2644.

Full text
Abstract:
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is repre
APA, Harvard, Vancouver, ISO, and other styles
2

Nguyen, Thanh Binh, Cong Duy Trinh, and Parissis Ioannis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (2017): 2635–44. https://doi.org/10.11591/ijece.v7i5.pp2635-2644.

Full text
Abstract:
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is repre
APA, Harvard, Vancouver, ISO, and other styles
3

du Bousquet, Lydie, and Michel Delaunay. "Towards Mutation Analysis for Lustre Programs." Electronic Notes in Theoretical Computer Science 203, no. 4 (2008): 35–48. http://dx.doi.org/10.1016/j.entcs.2008.05.009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lakehal, Abdesselam, and Ioannis Parissis. "Structural coverage criteria for LUSTRE/SCADE programs." Software Testing, Verification and Reliability 19, no. 2 (2009): 133–54. http://dx.doi.org/10.1002/stvr.394.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bourke, Timothy, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. "Verified Lustre Normalization with Node Subsampling." ACM Transactions on Embedded Computing Systems 20, no. 5s (2021): 1–25. http://dx.doi.org/10.1145/3477041.

Full text
Abstract:
Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow programs are compiled by a succession of passes. This article focuses on the normalization pass which rewrites programs into the simpler form required for code generation. Vélus is a compiler from a normalized form of Lustre to CompCert’s Clight language. Its specification in the Coq interactive theorem prover includes an end-to-end correctness proof t
APA, Harvard, Vancouver, ISO, and other styles
6

Franzén, Anders. "Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs." Electronic Notes in Theoretical Computer Science 144, no. 1 (2006): 19–33. http://dx.doi.org/10.1016/j.entcs.2005.07.017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs." Journal of Software Engineering and Applications 06, no. 10 (2013): 27–35. http://dx.doi.org/10.4236/jsea.2013.610a004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lin, Shaokai, Yatin A. Manerkar, Marten Lohstroh, et al. "Towards Building Verifiable CPS using Lingua Franca." ACM Transactions on Embedded Computing Systems 22, no. 5s (2023): 1–24. http://dx.doi.org/10.1145/3609134.

Full text
Abstract:
Formal verification of cyber-physical systems (CPS) is challenging because it has to consider real-time and concurrency aspects that are often absent in ordinary software. Moreover, the software in CPS is often complex and low-level, making it hard to assure that a formal model of the system used for verification is a faithful representation of the actual implementation, which can undermine the value of a verification result. To address this problem, we propose a methodology for building verifiable CPS based on the principle that a formal model of the software can be derived automatically from
APA, Harvard, Vancouver, ISO, and other styles
9

Pompougnac, Hugo, Ulysse Beaugnon, Albert Cohen, and Dumitru Potop Butucaru. "Weaving Synchronous Reactions into the Fabric of SSA-form Compilers." ACM Transactions on Architecture and Code Optimization 19, no. 2 (2022): 1–25. http://dx.doi.org/10.1145/3506706.

Full text
Abstract:
We investigate the programming of reactive systems combining closed-loop control with performance-intensive components such as Machine Learning (ML). Reactive control systems are often safety-critical and associated with real-time execution requirements, a domain of predilection for synchronous programming languages. Extending the high levels of assurance found in reactive control systems to computationally intensive code remains an open issue. We tackle it by unifying concepts and algorithms from synchronous languages with abstractions commonly found in general-purpose and ML compilers. This
APA, Harvard, Vancouver, ISO, and other styles
10

Arehart-Treichel, Joan. "Programs Try to Restore Luster To Psychodynamic Psychotherapy." Psychiatric News 39, no. 12 (2004): 35–44. http://dx.doi.org/10.1176/pn.39.12.0390035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Lustre programs"

1

Curic, Adrian. "Implementing Lustre programs on distributed platforms with real-time constrains." Université Joseph Fourier (Grenoble), 2005. http://www.theses.fr/2005GRE10150.

Full text
Abstract:
Les applications caractéristiques aux systèmes embarqués doivent respecter des contraintes strictes telles que la fiabilité, les échéances de temps, la simultanéité et le comportement déterministe. La conception de ces applications est simplifiée par l'utilisation du développement basé sur des modèles où les outils associés simplifient ou automatisent les diverses phases de développement. Nous présentons une chemin complet de développement des applications de systèmes embarques sur une plateforme distribuée. Cene approche utilise un langage synchrone de modellisation orienté flots de données (
APA, Harvard, Vancouver, ISO, and other styles
2

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Full text
Abstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus le
APA, Harvard, Vancouver, ISO, and other styles
3

Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM005.

Full text
Abstract:
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utili
APA, Harvard, Vancouver, ISO, and other styles
4

Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00454409.

Full text
Abstract:
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utili
APA, Harvard, Vancouver, ISO, and other styles
5

Dumas, Canovas Cécile. "Méthodes déductives pour la preuve de programmes LUSTRE." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10200.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Parissis, Ioannis. "Test de logiciels synchrones spécifiés en Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00005010.

Full text
Abstract:
Ce travail s'inscrit dans le cadre des méthodes formelles et des outils pour la spécification, la programmation, la vérification et la validation des logiciels réactifs à l'aide du langage synchrone Lustre. Nous avons étendu l'environnement de développement actuel de ces logiciels en lui adjoignant des outils de validation de spécifications et de test de programmes. Nous proposons une technique de construction automatique d'un simulateur aléatoire de l'environnement externe du logiciel ainsi que d'un simulateur des comportements sûrs de ce dernier. Exécutés conjointement, ces deux simulateurs
APA, Harvard, Vancouver, ISO, and other styles
7

Lakehal, Abdesselam. "Critères de couverture structurelle pour les programmes Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00100384.

Full text
Abstract:
Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défin
APA, Harvard, Vancouver, ISO, and other styles
8

Ratel, Christophe. "Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE." Phd thesis, Grenoble 1, 1992. http://tel.archives-ouvertes.fr/tel-00341223.

Full text
Abstract:
Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs. Le besoin de garantir que ces systèmes ont un comportement conforme a celui attendu nécessite de définir et de mettre en œuvre des méthodes de vérification formelle des programmes lustre, qui sont relatées dans cette thèse. La vérification d'un système consiste a contrôler que tous ses comportements sont corrects vis-a-vis de ses spécifications. Les comportements d'un programme lustre peuvent classiquement être représentés par une machine d'états finis, dont la génération permet de vérifier ses
APA, Harvard, Vancouver, ISO, and other styles
9

Mazuet, Christine. "Stratégies de test pour des programmes synchrones : application au langage LUSTRE." Toulouse, INPT, 1994. http://www.theses.fr/1994INPT112H.

Full text
Abstract:
A travers l'exemple de lustre, les travaux realises dans le cadre de cette these ont pour but de definir des methodes de test appropriees a la nouvelle famille de langages a laquelle il appartient, c'est-a-dire les langages flot de donnees synchrones. La strategie de test que nous preconisons s'appuie sur la complementarite de donnees de test statistique et deterministe. Les entrees de test statistique sont generees aleatoirement, le profil de test et le nombre d'entrees etant determines a partir de criteres bases sur un modele du programme ; en complement, les entrees de test deterministe cib
APA, Harvard, Vancouver, ISO, and other styles
10

Boyce, Jennifer E. (Jennifer Elaine). "Scroop, luster, and hand : the science and sensuality of silk." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/39437.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Humanities, Program in Writing and Humanistic Studies, 2005.<br>Includes bibliographical references (leaves 43-45).<br>For five thousand years, silk threads have woven through the fabric of human history. Since its accidental discovery in China all that time ago, silk has played roles, major or minor, in many cultures. In both the East and the West, it has cropped up in some rather unexpected places. Silk's molecular structure, unique among natural fibers, imparts equally unique physical and chemical properties. It is these propert
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Lustre programs"

1

Rhein, Deutsche Oper am. Die lustige Witwe. Deutsche Oper am Rhein, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

1858-1940, Léon Victor, Stein Leo 1862-1920, Segond André 1936-, Meilhac Henri 1831-1897, and Opéra de Marseille, eds. La veuve joyeuse: Opérette en trois actes. Opéra de Marseille, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nebraska. Legislature. Legislative Research Division. Program Evaluation Unit., ed. Leaking underground storage tank program. Program Evaluation Unit, Legislative Research Division, Nebraska Legislature, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lustige Gewalt?: Zum Verwechslungsrisiko realer und inszenierter Fernsehgewalt bei Kindern durch humoreske Programmkontexte : Eine Studie im Auftrag der ... Anstalt fur Neue Medien (BLM-Schriftenreihe). Fischer, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Thelen, Andreas. Schlank und Fit Werden Durch Basen Programm und Natürliches Entgiften Inklusive Basen Rezepte: Von Wegen Sauer Macht Lustig. Independently Published, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Halbwachs, Nicolas. Synchronous Programming of Reactive Systems. Springer London, Limited, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Lustre programs"

1

Girault, Alain, and Xavier Nicollin. "Clock-Driven Automatic Distribution of Lustre Programs." In Embedded Software. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45212-6_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rocheteau, Frédéric, and Nicolas Halbwachs. "Implementing reactive programs on circuits a hardware implementation of LUSTRE." In Real-Time: Theory in Practice. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/bfb0031993.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Papailiopoulou, Virginia, Ajitha Rajan, and Ioannis Parissis. "Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs." In Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24431-5_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Papailiopoulou, Virginia, Laya Madani, Lydie du Bousquet, and Ioannis Parissis. "Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators." In Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03240-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Halbwachs, Nicolas. "Lustre program verification: the tool Lesar." In Synchronous Programming of Reactive Systems. Springer US, 1993. http://dx.doi.org/10.1007/978-1-4757-2231-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Andriessens, Christoph, and Thomas Lindner. "Using Focus, Lustre and probability theory for the design of a reliable control program." In Formal Methods for Industrial Applications. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0027230.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Automatic Testing of LUSTRE/SCADE Programs." In Model-Based Testing for Embedded Systems. CRC Press, 2017. http://dx.doi.org/10.1201/b11321-16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Papailiopoulou, Virginia, Besnik Seljimi, and Ioannis Parissis. "Automatic Testing of LUSTRE/SCADE Programs." In Model-Based Testing for Embedded Systems. CRC Press, 2011. http://dx.doi.org/10.1201/b11321-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Observer Based Verification of Simple LUSTRE Programs." In Real Time Programming: Languages, Specification and Verification. WORLD SCIENTIFIC, 2009. http://dx.doi.org/10.1142/9789812814029_0015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Garoche, Pierre-Loïc. "Definitions—Background." In Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.003.0004.

Full text
Abstract:
This chapter presents the formalisms describing discrete dynamical systems and gives an overview on the convex optimization tools and methods used to compute the analyses. A dynamical system is a typical object used in control systems or in signal processing. In some cases, it is eventually implemented in a program to perform the desired feedback control to a cyber-physical system. Language-wise, model-based languages such as LUSTRE, ANSYS SCADE, or MATLAB Simulink provide primitives to build these dynamical systems or controllers relying on simpler constructs. In terms of programs, such dynam
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lustre programs"

1

Van Phol, Le, Nguyen Thanh Binh, and Ioannis Parissis. "Mutants Generation For Testing Lustre Programs." In SoICT 2017: The Eighth International Symposium on Information and Communication Technology. ACM, 2017. http://dx.doi.org/10.1145/3155133.3155155.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Papailiopoulou, Virginia. "Automatic Test Generation for LUSTRE/SCADE Programs." In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/ase.2008.96.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Van Phol, Le, Nguyen Thanh Binh, and Ioannis Parissis. "Higher Order Mutant Generator for Lustre Programs." In 2019 International Conference on System Science and Engineering (ICSSE). IEEE, 2019. http://dx.doi.org/10.1109/icsse.2019.8823130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lakehal, Abdesselam, and Ioannis Parissis. "Structural test coverage criteria for lustre programs." In the 10th international workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1081180.1081186.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Phol, Le Van, Nguyen Thanh Binh, and Le Thi Thanh Binh. "SECOND ORDER MUTATION TESTING FOR LUSTRE PROGRAMS." In NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN. Publishing House for Science and Technology, 2019. http://dx.doi.org/10.15625/vap.2019.00051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "A regression testing approach for Lustre/SCADE programs." In SoICT 2015: The Sixth International Symposium on Information and Communication Technology. ACM, 2015. http://dx.doi.org/10.1145/2833258.2833278.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bousquet, Lydie du, Michel Delaunay, Huy-Vu Do, and Chantal Robach. "Analysis of Testability Metrics for Lustre/Scade Programs." In 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID). IEEE, 2010. http://dx.doi.org/10.1109/valid.2010.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Van Phol, Le, and Nguyen Thanh Binh. "Optimizing Mutant Generation For Lustre Programs With Multi-Threading." In 2020 5th International Conference on Innovative Technologies in Intelligent Systems and Industrial Applications (CITISIA). IEEE, 2020. http://dx.doi.org/10.1109/citisia50690.2020.9397490.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

du Bousquet, Lydie, and Michel Delaunay. "Mutation analysis for Lustre programs: Fault model description and validation." In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007). IEEE, 2007. http://dx.doi.org/10.1109/taic.part.2007.27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

du Bousquet, Lydie, and Michel Delaunay. "Mutation analysis for Lustre programs: Fault model description and validation." In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007). IEEE, 2007. http://dx.doi.org/10.1109/taicpart.2007.4344122.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Lustre programs"

1

Verdes Montenegro, Francisco. La autonomía estratégica de la Unión Europea: ¿en qué lugar queda América Latina? Fundación Carolina, 2022. http://dx.doi.org/10.33960/issn-e.1885-9119.dt65.

Full text
Abstract:
En poco más de un lustro, dos interpretaciones de la autonomía estratégica se han ido abriendo paso en el marco de la Unión Europea: una restringida —más apegada a la dimensión de defensa— y otra ampliada, con carácter multidimensional. Cada una de ellas tiene un origen y características diferentes, así como una percepción de América Latina que varía e influye en la propia forma de enfocar la relación birregional y su asociación estratégica. Por ello, el presente trabajo revisa, en primer lugar, la evolución de una noción disputada en el seno de la UE para, en segundo término, abordar cómo cad
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Lustre programs' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography