Élaborer des théories, des méthodes et des outils afin d’évaluer et d’améliorer la qualité des logiciels de l’Internet des objets (IDO) en formalisant et en appliquant des idiomes, des schémas de conception et d’architecture.
Les équipes de recherche du Laboratoire Ptidej élaborent des théories, des méthodes et des outils afin de mieux comprendre, d’évaluer et d’améliorer la qualité des logiciels de l’Internet des objets (IDO). Leurs travaux mettent l’accent sur la formalisation, la détection et la décomposition des idiomes, ainsi que des schémas de conception et d’architecture, allant des protocoles de communication aux systèmes de systèmes. Elles évaluent de manière expérimentale les effets de ces schémas sur la qualité des logiciels. Le laboratoire élabore, entretient et perfectionne des outils comme la suite Ptidej et Taupe, qui permettent d’évaluer et d’améliorer la qualité des logiciels tout en favorisant l’utilisation de schémas à l’échelle du langage, de la conception et de l’architecture.
Le laboratoire offre une expertise en compréhension et analyse de systèmes logiciels, qu’ils soient monolithiques ou de l’IDO. Par exemple, grâce à la suite d’outils Ptidej, l’équipe analyse le code de divers systèmes logiciels, y compris celui de Google Chrome, afin de suggérer des améliorations ou corriger automatiquement certains problèmes de manière à faciliter la tâche des équipes de développement et de vérification de code.
- Éducation
- Technologies de l’information et des communications, et médias
- Services publics
Laboratoires et équipements spécialisés
| Équipement | Fonction |
|---|---|
| Sonnette vidéo 4 de Ring | |
| Prise intelligente WiFi de Wemo | |
| Caméra de surveillance d’intérieur Nest Cam de Google | |
| Thermostat intelligent WiFi programmable sur 7 jours de Honeywell | |
| Thermostat intelligent de Ecobee | |
| Console intelligente Steam Deck de Valve Corporation | |
| Ordinateur autonome V4 de Vampire | Ordinateur avec matrice prédiffusée programmable par l'utilisateur (FPGA) compatible avec Amiga. |
| Montre intelligente Galaxy Watch4 de Samsung | |
| Montre intelligente série 3 de Apple | |
| Montre intelligente Versa 2 de Fitbit | |
| Montre intelligente PineTime | |
| Plateforme pour quadricoptère Matrice 100 de DJI | |
| Bras robotisé Gen3 de Kinova | |
| Robot compagnon émotionnel Buddy de Blue Frog Robotics |
Partenaires de recherche des secteurs privé et public
• Benchmark Consulting
• CMC Électronique
• Consortium de recherche et d'innovation en aérospatiale au Québec (CRIAQ)
• CS Canada
• Google
• Intégratik et SNCF
• Conseil national de recherches du Canada (CNRC)
• Ville de Varennes
• Ville de Montréal
• Université métropolitaine de Toronto (TMU)