Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
INSTRUCTIONS CONDITIONNELLES ET ORDONNANCEMENT DES SYSTEMES TEMPS-REEL
Academiques - EAN : 9783841630247
Édition papier
EAN : 9783841630247
Paru le : 18 déc. 2014
89,90 €
85,21 €
Epuisé
Pour connaître votre prix et commander, identifiez-vous
Manquant sans date
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783841630247
- Réf. fournisseur : 6418980
- Editeur : Academiques
- Date Parution : 18 déc. 2014
- Disponibilite : Manque sans date
- Barème de remise : NS
- Poids : 370gr
- Interdit de retour : Retour interdit
- Résumé : 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é.
