{"product_id":"validation-dun-modele-base-sur-les-rdpt-von-abdelkrim-abdelli","title":"Validation d''un modèle basé sur les RdPT","description":"\u003cp\u003eLes 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131569586\"\u003e\u003ch3\u003epour la spécification et l''analyse des systèmes temps réel complexes: Application aux systèmes multimédias\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131569586","offer_id":40149018935389,"sku":"9786131569586","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/94b777a1-7e9f-4896-97f6-8e1dd838f5d1.jpg?v=1760849177","url":"https:\/\/shop.autorenwelt.de\/products\/validation-dun-modele-base-sur-les-rdpt-von-abdelkrim-abdelli","provider":"Autorenwelt Shop","version":"1.0","type":"link"}