| Titre : |
Approche Fonctionnelle pour la Mise en úuvre DistribuÈe de la SÈmantique OpÈrationnelle du Langage Temps-RÈel D-LOTOS |
| Type de document : |
texte imprimé |
| Auteurs : |
Amine Rihane, Auteur ; Djamel Eddine Saidouni, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2011 |
| Importance : |
100 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
SystËmes temps-rÈel, D-LOTOS, DATA*, compilation, programmation fonctionnelle, algorithmes distribuÈs |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Un systËme temps-rÈel comme tout systËme informatique doit fonctionner correctement, de ce fait, les techniques raisonnant sur la conformitÈ de ces systËmes sont indispensables. Parmi ces techniques, on peut citer les mÈthodes formelles ou techniques de
description formelle. Ces mÈthodes permettent de rÈpondre aux exigences auxquelles
sont soumis les systËmes temps-rÈel, et de raisonner rigoureusement ‡ líaide de logique
mathÈmatique, sur des programmes informatiques, aÖn de prouver leur validitÈ par rapport ‡ une certaine spÈciÖcation. Les techniques de description formelle peuvent Ítre
dÈÖnies comme un ensemble de notations dotÈes díune sÈmantique formelle et díoutils
utilisÈs pour spÈciÖer sans ambiguÔtÈ le comportement des systËmes. Les sÈmantiques
de vrai parallÈlisme, comme la sÈmantique de maximalitÈ, conviennent ‡ Ítre employÈes
si on veut Èchapper ‡ líhypothËse de líatomicitÈ temporelle et structurelle des actions.
Des travaux antÈrieurs ont montrÈ líimportance des modËles basÈs sur la maximalitÈ,
‡ titre díexemple, on peut citer le modËle sÈmantique DATA* pour la prise en compte
explicite des durÈes díactions, des contraintes temporelles, de líurgence et líexpression
du parallÈlisme.
Dans une approche basÈe sur líÈvaluation de modËles (model checking), le systËme
‡ analyser doit Ítre spÈciÖÈ dans un modËle ou langage de spÈciÖcation de haut niveau.
La spÈciÖcation rÈsultante est ensuite traduite vers un modËle sÈmantique.
Notre travail qui síinscrit dans le cadre de la spÈciÖcation et la vÈriÖcation formelle des systËmes temps-rÈel, consiste en la mise en úuvre centralisÈe et distribuÈe
de la sÈmantique opÈrationnelle du langage temps rÈel D-LOTOS, pour la gÈnÈration de structures appelÈes DATA* associÈs aux spÈciÖcations Ècrites dans le langage
temps rÈel D-LOTOS. La rÈalisation de ce projet sera basÈe sur líutilisation du langage
fonctionnel F# sous la plateforme Microsoft .Net. Par ailleurs líutilisation de cette plateforme a comme objectif la rÈalisation díun outil portable (indÈpendant du systËme
díexploitation utilisÈ) ‡ travers le projet MONO qui rÈpond bien ‡ ce besoin. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7525 |
Approche Fonctionnelle pour la Mise en úuvre DistribuÈe de la SÈmantique OpÈrationnelle du Langage Temps-RÈel D-LOTOS [texte imprimé] / Amine Rihane, Auteur ; Djamel Eddine Saidouni, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 100 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
SystËmes temps-rÈel, D-LOTOS, DATA*, compilation, programmation fonctionnelle, algorithmes distribuÈs |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Un systËme temps-rÈel comme tout systËme informatique doit fonctionner correctement, de ce fait, les techniques raisonnant sur la conformitÈ de ces systËmes sont indispensables. Parmi ces techniques, on peut citer les mÈthodes formelles ou techniques de
description formelle. Ces mÈthodes permettent de rÈpondre aux exigences auxquelles
sont soumis les systËmes temps-rÈel, et de raisonner rigoureusement ‡ líaide de logique
mathÈmatique, sur des programmes informatiques, aÖn de prouver leur validitÈ par rapport ‡ une certaine spÈciÖcation. Les techniques de description formelle peuvent Ítre
dÈÖnies comme un ensemble de notations dotÈes díune sÈmantique formelle et díoutils
utilisÈs pour spÈciÖer sans ambiguÔtÈ le comportement des systËmes. Les sÈmantiques
de vrai parallÈlisme, comme la sÈmantique de maximalitÈ, conviennent ‡ Ítre employÈes
si on veut Èchapper ‡ líhypothËse de líatomicitÈ temporelle et structurelle des actions.
Des travaux antÈrieurs ont montrÈ líimportance des modËles basÈs sur la maximalitÈ,
‡ titre díexemple, on peut citer le modËle sÈmantique DATA* pour la prise en compte
explicite des durÈes díactions, des contraintes temporelles, de líurgence et líexpression
du parallÈlisme.
Dans une approche basÈe sur líÈvaluation de modËles (model checking), le systËme
‡ analyser doit Ítre spÈciÖÈ dans un modËle ou langage de spÈciÖcation de haut niveau.
La spÈciÖcation rÈsultante est ensuite traduite vers un modËle sÈmantique.
Notre travail qui síinscrit dans le cadre de la spÈciÖcation et la vÈriÖcation formelle des systËmes temps-rÈel, consiste en la mise en úuvre centralisÈe et distribuÈe
de la sÈmantique opÈrationnelle du langage temps rÈel D-LOTOS, pour la gÈnÈration de structures appelÈes DATA* associÈs aux spÈciÖcations Ècrites dans le langage
temps rÈel D-LOTOS. La rÈalisation de ce projet sera basÈe sur líutilisation du langage
fonctionnel F# sous la plateforme Microsoft .Net. Par ailleurs líutilisation de cette plateforme a comme objectif la rÈalisation díun outil portable (indÈpendant du systËme
díexploitation utilisÈ) ‡ travers le projet MONO qui rÈpond bien ‡ ce besoin. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7525 |
|
Affiner la rechercheApproche Fonctionnelle pour la Mise en úuvre DistribuÈe de la SÈmantique OpÈrationnelle du Langage Temps-RÈel D-LOTOS
