Relevant bibliographies by topics / Lustre programs / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Lustre programs.

Dissertations / Theses 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 top 19 dissertations / theses for your research 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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
11

Hsiao, Nai-Cheng. "Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE /." Gif-sur-Yvette : Service de documentation et d'édition multimédia, Centre d'études de Saclay, 1995. http://catalogue.bnf.fr/ark:/12148/cb36687000k.

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

Ratel, Christophe Ouabdesselam Farid. "Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE le système LESAR /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00341223.

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

Hsiao, Nai-Cheng. "Selection de tests de proprietes de surete a partir d'une modelisation algebrique de programmes lustre." Paris 11, 1994. http://www.theses.fr/1994PA112264.

Full text
Abstract:
Dans le contexte de la validation d'un logiciel industriel, qui est un ensemble de programmes reactifs, nous sommes confrontes au probleme de la verification de certaines proprietes de surete. Cette these rapporte une experience dont l'objectif est de selectionner les donnees de tests satisfaisant une propriete de surete. Le logiciel a valider est concu a l'aide de l'outil saga, dont une vue correspond a un programme du langage lustre. Nous adaptons un outil de generation de jeux de test appele loft a de tels programmes. Etant donne un programme lustre quelconque, nous cherchons a lui donner u
APA, Harvard, Vancouver, ISO, and other styles
14

Kuszera, Evandro Miguel. "Avaliando o sistema de arquivos Lustre com uso de cargas de trabalho de aplica??es paralelas." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2010. http://tede2.pucrs.br/tede2/handle/tede/5095.

Full text
Abstract:
Made available in DSpace on 2015-04-14T14:49:23Z (GMT). No. of bitstreams: 1 424004.pdf: 1341745 bytes, checksum: 512c3632850f9466f0d8d4864c026768 (MD5) Previous issue date: 2010-03-25<br>O crescente avan?o na capacidade de processamento dos computadores fornece meios para projetar e executar aplica??es com demandas cada vez maiores. Contudo, dependendo da aplica??o, h? tamb?m a necessidade de acessar e armazenar grandes por??es de dados de forma eficiente. Aplica??es voltadas ? ci?ncia, engenharia, minera??o de dados e simula??es de eventos naturais s?o alguns exemplos de aplica??es que req
APA, Harvard, Vancouver, ISO, and other styles
15

Seljimi, Besnik. "Test de logiciels synchrones avec la PLC." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10120.

Full text
Abstract:
Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes. Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les propriétés
APA, Harvard, Vancouver, ISO, and other styles
16

Girault, Alain. "Sur la répartition de programmes synchrones." Phd thesis, Grenoble INPG, 1994. http://tel.archives-ouvertes.fr/tel-00005097.

Full text
Abstract:
La programmation synchrone a ete proposee pour faciliter la conception et la programmation des systemes reactifs (systemes dont le role est de reagir continument a leur environnement physique, celui-ci etant incapable de se synchroniser avec le systeme). Ces systemes sont tres souvent repartis, que ce soit pour des raisons d'implantation physique, d'amelioration des performances ou de tolerance aux pannes. En outre, les travaux sur la compilation des langages synchrones ont conduit a utiliser une representation interne des programmes sous forme d'un automate d'etats fini : c'est le format OC.
APA, Harvard, Vancouver, ISO, and other styles
17

Seljimi, Besnik. "Test de logiciels synchrones avec la PLC." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00408225.

Full text
Abstract:
Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes.<br /><br />Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les
APA, Harvard, Vancouver, ISO, and other styles
18

Bergerand, Jean-Louis. "LUSTRE : un langage déclaratif pour le temps réel." Phd thesis, 1986. http://tel.archives-ouvertes.fr/tel-00320006.

Full text
Abstract:
Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du langage (dont la sémantique s'exprime simplement) permet des manipulations formelles sur les programmes dans le but de faire des vérifications et des preuves de correction. Des exemples illustrent l'utilisation du langage pour la programmation de systèmes temporisés pris dans différents domaines (temps réel classique, automatique, systolique, spécification et conception des circuits)
APA, Harvard, Vancouver, ISO, and other styles
19

"Leipziger Buchmesse und „Leipzig liest“ machen Lust auf Entdeckungen." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-137098.

Full text
Abstract:
Für die diesjährige Leipziger Buchmesse wurde die Schweiz als Gastland eingeladen. Während des „Auftrittes Schweiz“ präsentieren mehr als 80 Schweizer Autorinnen und Autoren und über 70 Verlage ihre Werke und sorgen für das kulturelle Rahmenprogramm. Der Landesverband Sachsen im Deutschen Bibliotheksverband e.V. nimmt dies zum Anlass zwei Projekte mit Schweizer Thematik durchzuführen.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Lustre programs' for other source types:
Journal articles
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