Assertion based debugging and monitoring of distributed systems

• Main Author: Kallankara, Vivek
• Other Authors: Katarzyna Radecka (Internal/Cosupervisor2)
• Format: Others
• Language: en
• Published: McGill University 2011
• Subjects: Engineering - Electronics and Electrical
• Online Access: http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=96928

This thesis presents the steps taken in the design of a portable sleep study system. The kit enables a wireless sleep study of patients at hospitals and also covers the design issues involved for creating a PCB for the same. The intended users are researchers and students interested in a flexible and robust platform for sleep studies. A novel method to increase the monitoring and debug capabilities of wireless sensor systems is also addressed. This thesis proposes the use of assertion based methodologies for the robust, flexible design of such embedded systems that can be used to increase the debug ability of these remote systems. The assertion based debug methodology has also been used in Network-on-a-chip to increase the visibility and error tolerance of these systems. === Ce mémoire de maîtrise présente les étapes de la conception d'un système portatif conçu pour l'étude du sommeil. Ce système permet une étude du sommeil chez des patients dans un contexte hospitalier et fonctionne à l'aide d'un lien sans-fil. Les éléments de la conception sont présentés, ainsi que les contraintes reliées à la fabrication du circuit imprimé. Les usagers potentiels seraient des chercheurs ou des étudiants intéressés par une plate-forme flexible et robuste leur permettant d'effectuer des études sur le sommeil. Une méthode originale pour augmenter la capacité de supervision ainsi que les capacités de débogage du réseau de capteur sans-fil est aussi présentée. Finalement, ce mémoire explique l'utilisation d'une méthodologie de conception basée sur l'utilisation d'assertions pour la conception de systèmes embarqués robustes et flexible, permettant un débogage à distance. Cette même méthodologie de débogage par assertions est aussi utilisée dans un contexte de réseau sur puce pour augmenter la visibilité et la tolérance du système aux erreurs.