Please use this identifier to cite or link to this item:
http://dspace.univ-guelma.dz/jspui/handle/123456789/1255
Title: | Implémentation d'un compilateur LOTOS supporte la compilation modulaire |
Authors: | Selmani Meriem, Boughazi Aicha |
Keywords: | LOTOS, compilation modulaire, vérification formelle, modélisation formelle |
Issue Date: | 2013 |
Abstract: | La vérification formelle des systèmes complexes constitue aujourd’hui un enjeu majeur dans de nombreux domaines de la société humaine. En effet l’employant des méthodes de spécification et vérification formelle, est assisté par des outils informatiques qui rendre l’analyse de ces systèmes fiables et garanties, et assure le bon coût de performance. Notre grand intérêt est la vérification formelle des systèmes complexes en introduisant une approche modulaire, et nous allons présenter une technique de compilation qui permet de traduire le langage LOTOS, et respecte l’idée de modularité. La compilation modulaire (séparer) est indispensable pour le développement des applications importantes (en taille !), et la façon pour un programme/projet de taille plus grande, elle suppose un découpage de l’application en modules compilables séparé. Chaque module est composé d’un ensemble des processus regroupés dans un fichier avec les déclarations nécessaires et son programme principal. |
URI: | http://dspace.univ-guelma.dz:8080/xmlui/handle/123456789/1255 |
Appears in Collections: | Master |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
mémoire.pdf | 1,79 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.