Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
dc.contributor.advisor | Aboulhamid, El Mostapha | |
dc.contributor.advisor | Nicolescu, Gabriela | |
dc.contributor.author | Azzabi, Ahmed | |
dc.date.accessioned | 2011-12-19T22:36:44Z | |
dc.date.available | NO_RESTRICTION | en |
dc.date.available | 2011-12-19T22:36:44Z | |
dc.date.issued | 2011-12-01 | |
dc.date.submitted | 2011-08 | |
dc.identifier.uri | http://hdl.handle.net/1866/6084 | |
dc.subject | Vérification et analyse des systèmes | en |
dc.subject | System verification and analysis | en |
dc.subject | temps de séparation des événements | en |
dc.subject | Time separation of events | en |
dc.subject.other | Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984) | en |
dc.title | Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes | en |
dc.type | Thèse ou mémoire / Thesis or Dissertation | |
etd.degree.discipline | Informatique | en |
etd.degree.grantor | Université de Montréal | fr |
etd.degree.level | Maîtrise / Master's | en |
etd.degree.name | M. Sc. | en |
dcterms.abstract | Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement. | en |
dcterms.abstract | We present a new approach for formulating and computing time separation of events used for timing analysis of different types of cyclic and acyclic systems that obey to linear-min-max type constraints with finite and infinite bounded component delays. Our approach consists of formulating the problem as a mixed integer program then using the solver Cplex to get time separations between events. In order to demonstrate the practical use of our approach we apply it for the verification and analysis of an Intel asynchronous differential equation solver chip. Compared to previous work, our approach is based on exact formulation and it allows not only the maximum separation computing, but it can also provide cyclic schedules and compute bound on possible periods of such schedules. | en |
dcterms.language | fra | en |
Fichier·s constituant ce document
Ce document figure dans la ou les collections suivantes
Ce document diffusé sur Papyrus est la propriété exclusive des titulaires des droits d'auteur et est protégé par la Loi sur le droit d'auteur (L.R.C. (1985), ch. C-42). Il peut être utilisé dans le cadre d'une utilisation équitable et non commerciale, à des fins d'étude privée ou de recherche, de critique ou de compte-rendu comme le prévoit la Loi. Pour toute autre utilisation, une autorisation écrite des titulaires des droits d'auteur sera nécessaire.