Jean-François Boland
Professeur
Department
Département de génie électrique
Degrees
B.Ing., M.Ing. (ÉTS), Ph.D. (McGill)
Office
A-3324
Research unit
Research axes
- Aeronautics and Aerospace
- Intelligent and Autonomous Systems
Areas of expertise
- 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)
Awards and honors
2013 : Prix d'excellence du c.a. pour les services à la communauté 2013 | École de technologie supérieure
Supervision
- En codirection avec : Jean Belzile
Dorsale de communication CORBA pour la conception et la vérification fonctionnelle de circuits électroniques numériques complexes, par Pascal Giard
Été 2009 - En codirection avec : Guy Bois
Analyse du déterminisme et de la fiabilité du protocole PCI Express dans un contexte de certification avionique, par Steve Beaulieu
Automne 2011 - En codirection avec : Guy Bois
Adaptation multicoeur d'un noyau de partitionnement robuste vers l'architecture PowerPC, par Tennessee Carmel-Veilleux
Été 2011 - En codirection avec : Yvon Savaria
Modeling the Faulty Behaviour of Digital Designs Using a Feed Forward Neural Network Based Approach, par Zeynab Mirzadeh
Hiver 2014 - En codirection avec : Yvon Savaria
Mise en oeuvre et caractérisation d'une méthode d'injection de pannes à haut niveau d'abstraction, par Rémi Robache
Été 2013 - En codirection avec : Gabriela Nicolescu
É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 Maryem Benyoussef
Hiver 2014 - En codirection avec : Guy Bois
Évaluation de l'intergiciel de communication DDS pour son utilisation dans le domaine avionique, par Kevin Lévesque-Landry
Automne 2014 - En codirection avec : René Jr Landry
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 Arthur Olivier
Été 2015 - En codirection avec : Maarouf Saad
Contrôle de la marche du robot bipède NAO utilisant le mode glissant avec retard pour l'estimation de la position, par Jonathan Fortin
Automne 2019
- Mise en place d'un banc de test de type HIL pour les systèmes avioniques, par Mohammed Keddar
Été 2016 - Transition vers un réseau de distribution d’énergie souterrain : Défis et opportunités de gestion de projet pour Hydro-Québec, par Frantzso Louis
Hiver 2024
- Conception d'un prototype d'architecture avionique modulaire et intégrée (IMA), par Jérôme Malvasio
Hiver 2013
- En codirection avec : Olivier Daigle
Développement d'architecture logicielle pour caméra numérique ultra sensible, par Julien Laferrière
Automne 2012 - En codirection avec : Kamal Al-Haddad
Projet de remise aux normes du laboratoire 2760 du GREPCI, par Victor Adamczewski
Hiver 2018
- En codirection avec : Claude Thibeault
Méthodologie de vérification automatique basée sur l'utilisation des tests structurels de transition avec insertion de registres à balayage, par Christelle Hobeika
Automne 2011 - En codirection avec : Maarouf Saad
Design of a Fault-Tolerant Flight Control System Against Multiple Actuator Failures, par Azeddine Ghodbane
Été 2016
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 ». SAE 2015 AeroTech Congress & Exhibition (Seattle, WA, USA, Sept. 22-24, 2015) SAE International
- 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 ». SAE 2015 AeroTech Congress & Exhibition (Seattle, WA, USA, Sept. 22-24, 2015) SAE International
- Zeynab Mirzadeh, Jean-François Boland, Yvon Savaria. 2015 « Modeling the faulty behaviour of digital designs using a feed forward neural network approach ». 2015 IEEE International Symposium on Circuits and Systems (ISCAS) (Lisbon, Portugal, May 24-27, 2015) IEEE
- M. Benyoussef, J.-F. Boland, G. Nicolescu, G. Bois. 2014 « Design space exploration: bridging the gap between high-level models and virtual execution platforms ». ERTS2 2014 Embedded Real Time System and Software Congress (Toulousse, France, Feb. 5-7, 2014)
- 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 ». ICMICE Prague 2014, International Conference on Modelling, Identification and Control Engineering (Preague, Czech Republic, July 7-8, 2014)
- Azeddine Ghodbane, Maarouf Saad, Jean-François Boland, Claude Thibeault. 2014 « Sliding mode reconfigurable control for cosmic rays faults in flight systems ». ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE) (Montreal, QC, Canada, Nov. 14-20, 2014) American Society of Mechanical Engineers (ASME)
- 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 ». 2014 IEEE 20th International On-Line Testing Symposium (IOLTS) (Platja d'Aro, Girona, Spain, July 7-9, 2014) IEEE
- 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 ». SAE 2013 AeroTech Congress and Exhibition (AEROTECH) (Montreal, QC, Canada, Sept. 24-26, 2013) SAE International
- R. Robache, Jean-François Boland, Claude Thibeault, Y. Savaria. 2013 « A methodology for system-level fault injection based on gate-level faulty behavior ». 2013 IEEE 11th International New Circuits and Systems Conference (NEWCAS) (Paris, France, June 16-19, 2013) IEEE
- Julien Savard, Lin Bao, Guy Bois, Jean-François Boland. 2013 « Model-based design flow driven by integrated modular avionic simulations ». SAE 2013 AeroTech Congress and Exhibition (AEROTECH) (Montreal, QC, Canada, Sept. 24-26, 2013) SAE International
- 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 ». 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) (Montreal, QC, Canada, April 29-May 2, 2012) Institute of Electrical and Electronics Engineers
- Tennessee Carmel-Veilleux, Jean-François Boland, Guy Bois. 2011 « A novel low-overhead flexible instrumentation framework for virtual platforms ». 22nd IEEE International Symposium on Rapid System Prototyping (RSP) (Karlsruhe, Germany, May 24-27, 2011) Institute of Electrical and Electronics Engineers
- 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 ». Proceedings of the Second Annual Conference of the Canadian Engineering Education Association (CEEA) (St. John’s, Newfoundland, Canada, June 6-8, 2011)
- 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 ». 26ième Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU) (Rabat, Maroc, 17-21 mai, 2010)
- Daniel Forgues, Jean-François Boland, Éric Francoeur. 2010 « A community of practices for accelerating the adoption of information technology in engineering education ». XI International Conference on Engineering and Technology Education (INTERTECH) (Ilhéus, Bahia, Brazil, Mar. 7-10, 2010)
- 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 ». 26ième Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU) (Rabat, Maroc, 17-21 mai, 2010)
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2010 « Illegal state extraction from Register Transfer Level ». 8th IEEE International NEWCAS Conference (NEWCAS) (Montreal, Canada, June 20-23, 2010) Institute of Electrical and Electronics Engineers
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2009 « Automatic verification methodology based on structural test patterns ». Joint IEEE North-East Workshop on Circuits and Systems and Taisa Conference (NEWCAS-TAISA) (Toulouse, France, June 28-July 01, 2009) Institute of Electrical and Electronics Engineers
- Pascal Giard, Jean-François Boland, Jean Belzile. 2008 « CORBA communication backplane for design and verification ». 1st Microsystems and Nanoelectronics Research Conference (MNRC) (Ottawa, Canada, Oct. 15, 2008) Institute of Electrical and Electronics Engineers Computer Society
- Christelle Hobeika, Claude Thibeault, Jean-François Boland. 2008 « Use of structural tests in RTL verification ». 1st Microsystems and Nanoelectronics Research Conference (MNRC) (Ottawa, Canada, Oct. 15, 2008) Institute of Electrical and Electronics Engineers Computer Society
- A. Chureau, Y. Savaria, Jean-François Boland, Z. Zilic, Claude Thibeault, François Gagnon. 2006 « Building heterogeneous functional prototypes using articulated interfaces ». IEEE North-East Workshop on Circuits and Systems (NEWCAS) (Gatineau, Que., Canada, June 18-21, 2006) Institute of Electrical and Electronics Engineers
- Jean-François Boland, Claude Thibeault, Z. Zilic. 2005 « Efficient multi-abstraction level functional verification methodology for DSP applications ». Global Signal Processing Expo and Conference (GSPx) (Santa Clara, CA, USA, Sept., 2004)
- Jean-François Boland, Claude Thibeault, Zeljko Zilic. 2005 « Using Matlab and Simulink in a SystemC Verification Environment ». Proceedings of Design and Verification Conference (DVCon05) (San Jose, CA, USA, Feb. 14-16, 2005 )
- 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 ». 2nd Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS) (Montreal, QC, Canada, June 20-23, 2004) Institute of Electrical and Electronics Engineers