Édition Février 2014 – Vol. 6 no.2

SIGNAL est le principal outil de diffusion de nouvelles du Regroupement Stratégique en Microsystèmes du Québec (ReSMiQ). Ce bulletin se veut un lien entre les membres du ReSMiQ et toute autre personne intéressée par la recherche et l’innovation dans le domaine des microsystèmes. Nous nous engageons à valoriser les travaux de nos membres et augmenter la visibilité du ReSMiQ.

ReSMiQ est un regroupement de chercheurs au sein d’un centre de recherche interuniversitaire qui peut compter sur le soutien du Fonds de recherche du Québec – Nature et technologies (FRQNT) et de dix (10) universités québécoises impliquées dans la reccherche sur les microsystèmes.

Nous vous présentons ici les nouvelles pour le mois de février 2014.

Nouveau format pour le bulletin SIGNAL – Étant donné que de plus en plus d’usager du web le consulte sur les nouvelles plateformes mobiles que sont les tablettes numérique et les téléphones multifonctions, la direction du ReSMiQ a décidé de renouveller le format son bulletin mensuel SIGNAL afin de rendre la lecture plus conviviale. N’hésitez pas à nous communiquer tout commentaire qui pourrait nous aider à en améliorer la qualité.

Séminaire – Dr. N. Luvig du département de Neurologie du NYU Langone Medical Center a fait un passage à Montréal où il a présenté un séminaire à l’École Polytechnique de Montréal dans le cadre des activités du laboratoire Polystim de Polytechnique Montréal et du ReSMiQ. Le séminaire intitulé Subarachnoid Pharmacodialysis Implant for cerebral cortical disorders fut suivi par près de 25 étudiants des cycles supérieurs.
Voir le résumé
Ludvig

Rong2

Cours intensif –  Dr. G. Rong de l’Université Jiao Tong de Shanghai a fait un passage à Montréal où il a présenté un cours intensif intitulé Label free biosensors and applications in frontier research à l’École Polytechnique de Montréal dans le cadre des activités du chapitre de Montréal de la société IEEE Solid State Circuit Society (SSCS) et ainsi que du ReSMiQ.
Voir le résumé de la présentation.

NOUVELLES DES MEMBRES

Réussites
– Dr. Fréchette de l’université de Sherbrooke et Dr. Peter de Polytechnique Montréal sont co-récipiendaires d’une subvention de recherche et développement coopérative du CRSNG avec une contribution de PROMPT et Teledyne DALSA.

– Dr. Martel de Polytechnique Montréal a dirigé les travaux de recherche de Dominic de Lanauze, du programme de génie biomédical, lauréat du prix pour la meilleure thèse de maîtrise.

Implication
– Dr. Sawan de Polytechnique Montréal est coprésident du comité technique de la conférence International Humanitarian Technology Conference (IHTC) qui se tiendra à Montréal du 1er au 4 juin 2014.

jir2014

NEWCAS2014

ACTIVITÉS AU RESMIQ

Afin de favoriser l’insertion de nouveaux étudiants au sein des laboratoires affiliés aux institutions partenaires, le ReSMiQ tient annuellement un concours d’aide financière pour les étudiants au premier cycle inscrits à temps plein dans les universités partenaires.

Caractéristiques:
– D’une durée de trois (3) mois.
– Débutant le 1 mai 2014.
– D’un montant de 2000$.

Présentation de la demande
Les demandes doivent parvenir aux bureaux administratifs du ReSMiQ au plus tard le 7 avril 2014. Les demandes doivent être soumises sous format électronique PDF via la page de dépôt de fichier en ligne.
Tous les détails du concours

Publié dans Uncategorized @fr

CONFÉRENCES À SURVEILLER

2023 International Conference on Microelectronics (ICM)
du 17 au 20 décembre 2023, Abu Dhabi, Emirats Arabes Unis.
Tous les détails

2023 IEEE 11th International Conference on Systems and Control (ICSC)
du 18 au 20 décembre 2023, Sousse, Tunisie.
Tous les détails

2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)
du 6 au 10 janvier 2024, Calcutta, Inde.
Tous les détails

2024 IEEE International Solid-State Circuits Conference (ISSCC)
du 18 au 22 février 2024, San Francisco, Californie, É.-U.
Tous les détails

2024 IEEE 15th Latin America Symposium on Circuits and Systems (LASCAS)
du 27 février au 1 mars 2024, Punta del Este, Uruguay
Tous les détails

2024 IEEE Custom Integrated Circuits Conference (CICC)
du 21 au 24 avril 2024, Denver, Colorado, É.-U.
Tous les détails

2024 IEEE 6th International Conference on AI Circuits and Systems (AICAS)
du 22 au 25 avril 2024, Abu Dhabi, Emirats Arabes Unis.
Tous les détails

2024 9th International Conference on Integrated Circuits, Design, and Verification (ICDV)
du 6 au 7 juin 2024, Hanoi, Vietnam.
Tous les détails

2024 61st ACM/IEEE Design Automation Conference (DAC)
du 23 au 27 juin 2024, San Francisco, Californie, É.-U.
Tous les détails

2024 IEEE International Conference on Multimedia and Expo (ICME)
du 15 au 19 juillet 2024, Niagara Falls, Ontario, Canada.
Tous les détails

PROFIL DES MEMBRES

Prof. O. Ait Mohamed
Université Concordia
Membre régulier du ReSMiQ depuis 2002

Le professeur Otmane Ait Mohamed a reçu un doctorat en Informatique de l'Université Henri Poincaré, Nancy I, France. Il a travaillé à la recherche et développement chez Cistel Technology et Nortel Network, Ontario, Canada. Il est professeur agrégé au département de Génie électrique et informatique de l'Université Concordia. Il a publié de nombreux ouvrages sur le développement des techniques et des outils qui permettent d’améliorer l'utilité de la vérification formelle pour l'analyse et la vérification des systèmes à grande échelle. En savoir plus

Voici une sélection de ses publications dans les dernières années, suivie d’un article représentatif de ses travaux de recherche.

S. Ouchani, O. Ait Mohamed, and M. Debbabi, "A property-based abstraction framework for SysML activity diagrams," Knowledge-Based Systems, vol. 56, pp. 328-343, 2014.

S. E. Abed, O. Ait Mohamed, and G. Al Sammane, "Automatic verification of reduction techniques in Higher Order Logic," Formal Aspects of Computing, vol. 25, pp. 971-991, 2013. (résumé ci-dessous) / (abstract below)

S. Ouchani, O. Ait Mohamed, and M. Debbabi, "A Probabilistic Verification Framework for SysML Activity Diagrams," New Trends in Software Methodologies, Tools and Techniques, vol. 246, pp. 108-123, 2012.

Fermas, A. Belouchrani, and O. Ait-Mohamed, "Floating-point scaling technique for sources separation automatic gain control," International Journal of Electronics, vol. 99, pp. 995-1004, 2012.

I. Ahmed, S. H. Rahman, O. Ait-Mohamed, and S. E. Abed, "Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment," International Journal of Computer Applications in Technology, vol. 45, pp. 66-76, 2012.

S. E. Abed, K. Hussain, and O. Ait-Mohamed, "Abstract property language for MDG model checking methodology," International Journal of Computer Applications in Technology, vol. 44, pp. 23-36, 2012.

TRAVAUX DE RECHERCHE

AUTOMATIC VERIFICATION OF REDUCTION TECHNIQUES IN HIGHER ORDER LOGIC

E. Abed, O. Ait Mohamed, and G. Al Sammane. Formal Aspects of Computing, vol. 25, pp. 971-991, 2013.

In this paper the authors propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to use the consistency of the specifications to verify if the reduced model is faithful to the original one. The user provides the reduction technique, the specification and the system under verification. Then, using Higher Order Logic he verifies automatically if the reduction technique is soundly applied. The method is completely defined in an MDG-HOL special integration platform that combines an automatic high level model checking tool Multiway Decision Graphs (MDGs) within the HOL theorem prover. We provide two case studies, the first one (Fig.1) is the reduction using SAT-MDG of an Island Tunnel Controller and the second one (Fig. 2) is the MDG-HOL assume-guarantee reduction of the Look-Aside Interface. The obtained results of our approach offer a considerable gain in terms of the correctness of heuristics and reduction techniques as applied to commercial model checking, however a small penalty is paid in terms of CPU time and memory usage.

Fig. 1. Overview of the SAT–MDG reduction methodology

|

Fig. 2. Overview of the MDG-HOL assume-guarantee reduction methodology