LIP6 2001/023
- Thèse
Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel - D. Hommais
- 164 pages - 13/09/2001- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.023.pdf - 864 Ko
- Contact : Denis.Hommais (at) nulllip6.fr
- Ancien Thème : ASIM
- Mots clés : Codesign matériel-logiciel, synthèse des communications, simulation de systèmes, systèmes embarqués, systèmes intégrés, simulation au cycle près, systèmes sur une puce
- Directeur de la publication : Francois.Dromard (at) nulllip6.fr
Cette thèse propose une méthode de synthèse et d'évaluation des communications dans les sytèmes intégrés matériel-logiciel. Le point de départ de la synthèse des communications est une description parallèle de l'application que le système doit réaliser sous la forme d_un graphe de tâches et l'affection des tâches à la partie matérielle ou à la partie logicielle. Notre méthode de synthèse des communications est basée sur l'instanciation d'un schéma de communication pour chaque canal du graphe. Ces schémas décrivent les moyens utilisés pour transmettre les données dans le canal et synchroniser l'état du canal en fonction de la nature matérielle ou logicielle de la tâche productrice et de la tâche consommatrice. De ces schémas, nous déduisons les spécifications d'un module matériel générique permettant de réaliser la partie matérielle des communications. Nous proposons une architecture de ce module utilisant la norme CASS pour lui permettre de s'adapter aux différents média de communication des systèmes intégrés. La réalisation d'un schéma de communication consiste alors pour la partie matérielle à instancier le ou les modules d'interface nécessaires, et pour la partie logicielle à remplacer les primitives utilisées dans la description parallèle par celle correspondant au schéma. L'application de notre méthode à la réalisation d'une application démontre qu'il est possible, à partir de ces schémas, de réaliser automatiquement la synthèse des communications. Pour l'évaluation des systèmes réalisés, les différents modules sont modélisés par des machines à états. Nous utilisons les proprités de ces machines pour calculer un ordre statique d'évaluation et pour définir un algorithme simple de simulation du système au cycle près. Cette méthode de simulation a été mis en oeuvre dans le logiciel CASS. Les performances de simulation d'un système par CASS, comparé à un simulateur industriel de même niveau, montrent la pertinence de notre algorithme.