Mohlo by se vám také líbit

Více informací o knize Instructions Conditionnelles Et Ordonnancement Des Systemes Temps-Reel

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 225 bodů

Anotace knihy

Nous étudions la modélisation et la validation hors-ligne des applications temps-réel en environnement monoprocesseur, et considérons l'échange des messages, le partage des ressources et les instructions conditionnelles entre les tâches. Classiquement, ces applications sont modélisées de façon linéaire, en encapsulant les blocs conditionnels, et les séquences sont utilisées pour leur validation. Nous proposons une approche de modélisation et de validation arborescente, qui permet de considérer de façon explicite les blocs conditionnels, et qui utilise les arbres d'ordonnancement pour la validation. Nous comparons ensuite ces deux approches, et prouvons que les premičres sont parfois trop pessimistes, c'est ŕ dire qu'elles peuvent conduire ŕ déclarer certaines applications comme non ordonnançables, alors qu'en réalité elles le sont. Nous commençons par construire un générateur d'arbres d'ordonnancement valides. La complexité du générateur étant exponentielle en fonction du nombre de tâches, nous proposons une approche basée sur les réseaux de Petri. La construction du graphe des marquages fournira les ordonnancement et les heuristiques seront utilisées pour réduire la compléxité.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Information technology: general issues

• Plný název: Instructions Conditionnelles Et Ordonnancement Des Systemes Temps-Reel
• Autor: Fotsing Takoutsi Christian
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 248
• EAN: 9783841630247
• ISBN: 9783841630247
• ID: 03213363
• Nakladatelství: Omniscriptum
• Hmotnost: 367 g
• Rozměry: 229 × 152 × 14 mm
• Datum vydání: 28. February 2018

Oblíbené z jiného soudku

---

---

---