Validation d''un Mod?e Bas?Sur Les Rdpt

Les syst?mes temps r?el impliquent la prise en charge des contraintes temporelles diverses. Elles peuvent ?tre fortes ou faibles; exprimant des relations de synchronisation, de priorit? voire de pr?emption temporelle. Par ailleurs, ces syst?mes peuvent n?cessiter des ressources aussi bien critiques que non critiques. Nous explorons dans cette th?se un mod?le g?n?ral bas? sur les r?seaux de Petri temporels, permettant une prise en charge exhaustive de ces diff?rentes contraintes. Ce mod?le appel? STPTPN (synchronizing Transitions Preemptive Time Petri Net), offre un cadre formel dans lequel les syst?mes les plus complexes peuvent ?tre sp?cifi?s. Plus encore, nous d?veloppons une approche d'analyse par ?num?ration de l'espace d'?tat d'un tel mod?le. Nous montrons comment interpr?ter les propri?t?s g?n?rales du mod?le ? partir des graphes obtenus et proposons une technique efficace pour l'estimation de la r?ponse du temps born?. De plus, les applications multim?dia ?tant dans, nous motivons un certain nombre de nos propositions par leur exploitation dans la v?rification de la consistance des documents multim?dia.

Author: Abdelli-A

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 144 pages

Binding: Paperback or Softback

ISBN-10: 6131569584

ISBN-13: 9786131569586