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