Jean-François Boland
Professeur
Département
Département de génie électrique
Formation
B.Ing., M.Ing. (ÉTS), Ph.D. (McGill)
Bureau
A-3324
Courriel
Unité de recherche
Axes de recherche
- Aéronautique et aérospatiale
- Technologies de l’information et des communications
Expertises
- Vérification fonctionnelle
- Systèmes numériques
- Méthodologie de design
- Systèmes-sur-puce
- Logique programmable
- Modélisation et simulation
- Systèmes multi-processeurs
- Microélectronique
- Système avionique numériques (IMA)
- Conception électronique système (ESL)
Prix et distinctions
2013 : Prix d'excellence du c.a. pour les services à la communauté 2013 | École de technologie supérieure
Cours
Encadrements
- En codirection avec : Belzile, Jean
Dorsale de communication CORBA pour la conception et la vérification fonctionnelle de circuits électroniques numériques complexes, par Giard,Pascal
Été 2009 - En codirection avec : Bois, Guy
Analyse du déterminisme et de la fiabilité du protocole PCI Express dans un contexte de certification avionique, par Beaulieu,Steve
Automne 2011 - En codirection avec : Bois, Guy
Adaptation multicoeur d'un noyau de partitionnement robuste vers l'architecture PowerPC, par Carmel-Veilleux,Tennessee
Été 2011 - En codirection avec : Savaria, Yvon
Modeling the Faulty Behaviour of Digital Designs Using a Feed Forward Neural Network Based Approach, par Mirzadeh,Zeynab
Hiver 2014 - En codirection avec : Savaria, Yvon
Mise en oeuvre et caractérisation d'une méthode d'injection de pannes à haut niveau d'abstraction, par Robache,Rémi
Été 2013 - En codirection avec : Nicolescu, Gabriela
Élaboration d'une méthodologie de conception des systèmes embarqués basée sur la transformation du modèle fonctionnel de haut niveau vers le prototype virtuel, par Benyoussef,Maryem
Hiver 2014 - En codirection avec : Bois, Guy
Évaluation de l'intergiciel de communication DDS pour son utilisation dans le domaine avionique, par Lévesque-Landry,Kevin
Automne 2014 - En codirection avec : Landry, René Jr
Conception d'une infrastructure de pilotage robuste de drones quadricoptères avec intégration d'avionique type G-1000 pour des missions stratégiques éloignées, par Olivier,Arthur
Été 2015 - En codirection avec : Saad, Maarouf
Contrôle de la marche du robot bipède NAO utilisant le mode glissant avec retard pour l'estimation de la position, par Fortin,Jonathan
Automne 2019
- En codirection avec : Thibeault, Claude
Méthodologie de vérification automatique basée sur l'utilisation des tests structurels de transition avec insertion de registres à balayage, par Hobeika,Christelle
Automne 2011 - En codirection avec : Saad, Maarouf
Design of a Fault-Tolerant Flight Control System Against Multiple Actuator Failures, par Ghodbane,Azeddine
Été 2016
- En codirection avec : Daigle, Olivier
Développement d'architecture logicielle pour caméra numérique ultra sensible, par Laferrière,Julien
Automne 2012 - En codirection avec : Al-Haddad, Kamal
Projet de remise aux normes du laboratoire 2760 du GREPCI, par Adamczewski,Victor
Hiver 2018
- En codirection avec :
Conception d'un prototype d'architecture avionique modulaire et intégrée (IMA), par Malvasio,Jérôme
Hiver 2013
- En codirection avec :
Mise en place d'un banc de test de type HIL pour les systèmes avioniques, par Keddar,Mohammed
Été 2016 - En codirection avec :
Transition vers un réseau de distribution d'énergie souterrain: défis et opportunités de gestion de projet pour Hydro-Québec- Analyse des impacts sur l'aménagement du territoire et les parties prenantes : Étude de cas dans une communauté locale, par Louis,Frantzso
Hiver 2024
Publications
- M. Benyoussef, J.-F. Boland, G. Nicolescu, G. Bois. 2014 « Flot de modélisation et d'exploration architecturale pour la conception des systèmes embarqués ». Affiche présentée lors de la conférence : École d'hiver francophone sur les technologies de conception des sytèmes embarqués hétérogènes (Fetch 2014) (Ottawa, ON, Canada, )
- Jean-François Boland, Jean-Phillippe Oudet, Julien Savard. 2012 « Exploration architecturale des systèmes avioniques intégrés et à prix réduit ». Affiche présentée lors de la conférence : 6e forum de la recherche du CRIAQ pour souligner les 10 ans du CRIAQ (Montréal, QC, Canada, 16 mai 2012)
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2009 « Automatic verification methodology based on structural test patterns ». Affiche présentée lors de la conférence : 27th VLSI Test Symposium (IEEE VTS) (Santa Cruz, Calif., USA, May 3-7, 2009)
- A Ghodbane, Maarouf Saad, Jean-François Boland, Claude Thibeault. 2014 « Applied actuator fault accommodation in flight control systems using fault reconstruction based FDD and SMC reconfiguration ». International Journal of Mechanical and Mechatronics Engineering vol. 8 , nº 7. p. 1141-1146
- Yassine Kali, Maarouf Saad, Jean-François Boland, Carlos Fallaque. 2022 « Walking control using TDE-based backstepping SM of position-commanded NAO biped robot with matched and unmatched perturbations ». Journal of Control, Automation and Electrical Systems vol. 33 , nº 6. p. 1633-1645
- Yassine Kali, Maarouf Saad, Jean-François Boland, Jonathan Fortin, Vincent Girardeau. 2021 « Walking task space control using time delay estimation based sliding mode of position Controlled NAO biped robot ». International Journal of Dynamics and Control vol. 9. p. 679-688
- Simon R. Girard, Vincent Legault, Guy Bois, Jean-François Boland. 2019 « Avionics graphics hardware performance prediction with machine learning ». Scientific Programming vol. 2019
- A. Ghodbane, M. Saad, C. Hobeika, J. F. Boland, C. Thibeault. 2016 « Design of a tolerant flight control system in response to multiple actuator control signal faults induced by cosmic rays ». IEEE Transactions on Aerospace and Electronic Systems vol. 52 , nº 2. p. 681-697
- Lin Bao, Guy Bois, Jean-François Boland, Julien Savard. 2015 « Model-based method to automate the design of IMA avionics system based on cosimulation ». SAE International Journal of Aerospace vol. 8 , nº 2
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2015 « Functional constraint extraction from register transfer level for ATPG ». IEEE Transactions on Very Large Scale Integration (VLSI) Systems vol. 23 , nº 2. p. 407-412
- Christelle Hobeika, Simon Pichette, Azeddine Ghodbane, Claude Thibeault, Yves Audet, Jean-François Boland, Maarouf Saad. 2013 « Flight Control Fault Models Based on SEU Emulation ». SAE International Journal of Aerospace vol. 6 , nº 2. p. 643-649
- J.-F. Boland, M. Benyoussef, G. Nicolescu, G. Bois. 2015 « Méthodologies de conception des systèmes embarqués basées sur la transformation du modèle fonctionnel de haut niveau vers le prototype virtuel ». Communication lors de la conférence : École d'hiver francophone sur les technologies de conception des systèmes embarqués hétérogènes (Fetch) (Louvain-la-Neuve, Belgique, 7-9 janv. 2015)
- Jean-François Boland. 2014 « L'utilisation d'une tablette électronique pour effectuer la correction des travaux d'étudiants ». Communication lors de la conférence : 28e Congrès de l'Association Internationale de Pédagogie Universitaire (AIPU) (Mons, Belgique, 18-22 mai 2014)
- Jean-François Boland, G. Bois, J.-P. Oudet. 2012 « Novel methodologies to support the architectural exploration of safety-critical systems ». Communication lors de la conférence : Recherche et Innovation pour les Transports du Futur (RITF) (Paris, France, 12-15 nov. 2012)
- Pascal Giard, Jean-François Boland, Jean Belzile. 2008 « CORBA based co-verification methodology for systemC ». Communication lors de la conférence : 8th North American SystemC User Group Meeting (NASCUG) (San Jose, CA, USA, Feb. 19-22, 2008)
- P. Giard, J. F. Boland, J. Belzile. 2007 « CORBA based communication for verification ». Communication lors de la conférence : CMC Microsystems 2007 Annual Symposium (Ottawa, ON, Canada, Oct. 18, 2007)
- Pascal Giard, Jean-François Boland, Jean Belzile. 2007 « Hardware-in-the-loop functional verification methodology ». Communication lors de la conférence : OMG’s Third Software-Based Communication Workshop : Realizing the Vision (Fairfax, VA, USA, Mar. 5-8, 2007)
- Kevin Landry, Jean-François Boland, Guy Bois. 2015 « Integration and Performances analysis of a data distribution service middleware in avionics ».
- Marc-André Léonard, Jean-François Boland, Christophe Jégo, Claude Thibeault. 2015 « Towards analysis of the radiation sensitivity of digital designs at high level of abstraction ».
- Zeynab Mirzadeh, Jean-François Boland, Yvon Savaria. 2015 « Modeling the faulty behaviour of digital designs using a feed forward neural network approach ».
- M. Benyoussef, J.-F. Boland, G. Nicolescu, G. Bois. 2014 « Design space exploration: bridging the gap between high-level models and virtual execution platforms ».
- A. Ghodbane, M. Saad, J.-F. Boland, C. Thibeault. 2014 « Applied cosmic rays fault accomodation in flight control systems using fault reconstruction based FDD and SMC reconfiguration ».
- Azeddine Ghodbane, Maarouf Saad, Jean-François Boland, Claude Thibeault. 2014 « Sliding mode reconfigurable control for cosmic rays faults in flight systems ».
- C. Hobeika, S. Pichette, M. A. Leonard, Claude Thibeault, Jean-François Boland, Y. Audet. 2014 « Multi-abstraction level signature generation and comparison based on radiation single event upset ».
- Azeddine Ghodbane, Maarouf Saad, Jean-François Boland, Claude Thibeault. 2013 « Design of an actuator fault tolerant flight control system using fault detection and diagnosis ».
- R. Robache, Jean-François Boland, Claude Thibeault, Y. Savaria. 2013 « A methodology for system-level fault injection based on gate-level faulty behavior ».
- Julien Savard, Lin Bao, Guy Bois, Jean-François Boland. 2013 « Model-based design flow driven by integrated modular avionic simulations ».
- A. Ghodbane, Maarouf Saad, Jean-François Boland, Claude Thibeault. 2012 « Fault tolerant flight control system using emmae method and reconfiguration with sliding mode technique ».
- Tennessee Carmel-Veilleux, Jean-François Boland, Guy Bois. 2011 « A novel low-overhead flexible instrumentation framework for virtual platforms ».
- Daniel Forgues, Sylvie Doré, Éric Francoeur, Jean-François Boland, Vincent Laberge. 2011 « A community of practice for accelerating the adoption of information technology in engineering education ».
- Jean-François Boland. 2010 « Utilisation des télévoteurs et de Google Documents pour automatiser l'évaluation par les pairs, la formation des équipes et l'évaluation de présentations orales ».
- Daniel Forgues, Jean-François Boland, Éric Francoeur. 2010 « A community of practices for accelerating the adoption of information technology in engineering education ».
- Daniel Forgues, Jean-François Boland, Éric Francoeur, Vincent Laberge. 2010 « Formalisation et partage des connaissances dans l'utilisation des technologies de l'information pour l'enseignement ».
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2010 « Illegal state extraction from Register Transfer Level ».
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2009 « Automatic verification methodology based on structural test patterns ».
- Pascal Giard, Jean-François Boland, Jean Belzile. 2008 « CORBA communication backplane for design and verification ».
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2008 « Use of structural tests in RTL verification ».
- A. Chureau, Y. Savaria, Jean-François Boland, Z. Zilic, Claude Thibeault, François Gagnon. 2006 « Building heterogeneous functional prototypes using articulated interfaces ».
- Jean-François Boland, Claude Thibeault, Z. Zilic. 2005 « Efficient multi-abstraction level functional verification methodology for DSP applications ».
- Jean-François Boland, Claude Thibeault, Zeljko Zilic. 2005 « Using Matlab and Simulink in a SystemC Verification Environment ».
- Jean-François Boland, A. Chureau, Claude Thibeault, Yvon Savaria, François Gagnon, Z. Zilic. 2004 « An efficient methodology for design and verification of an equalizer for a software defined radio ».