Jean-François Boland

Jean-François Boland
Directeur et professeur
Formation B.Ing., M.Ing. (ÉTS), Ph.D. (McGill)
Bureau A-2638
Téléphone 514 396-8867
Présentation

Département de génie électrique

Axes de recherche :

  • Aérospatial
  • 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)
Publications: article

Publications: conference_item
ERTS2 2014 Embedded Real Time System and Software Congress
Publications: conference_itemaff

Publications: conference_itemau

Publications: conference_itemau

Publications: conference_item
26ième Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU)
Publications: conference_itemau

Publications: conference_item
2nd Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS)
Publications: conference_itemaff

Publications: conference_item
Global Signal Processing Expo and Conference (GSPx)
Publications: conference_item
Proceedings of Design and Verification Conference (DVCon05)
Publications: conference_item
22nd IEEE International Symposium on Rapid System Prototyping (RSP)
Publications: conference_item
IEEE North-East Workshop on Circuits and Systems (NEWCAS)
Publications: conference_item
XI International Conference on Engineering and Technology Education (INTERTECH)
Publications: conference_item
26ième Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU)
Publications: conference_item
Proceedings of the Second Annual Conference of the Canadian Engineering Education Association (CEEA)
Publications: conference_item
ICMICE Prague 2014, International Conference on Modelling, Identification and Control Engineering
Publications: article

Publications: conference_item
25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)
Publications: article

Publications: conference_item
SAE 2013 AeroTech Congress and Exhibition (AEROTECH)
Publications: conference_item
ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE)
Publications: conference_itemau

Publications: conference_itemau

Publications: conference_item
1st Microsystems and Nanoelectronics Research Conference (MNRC)
Publications: conference_itemau

Publications: article

Publications: conference_item
2014 IEEE 20th International On-Line Testing Symposium (IOLTS)
Publications: article

Publications: conference_item
Joint IEEE North-East Workshop on Circuits and Systems and Taisa Conference (NEWCAS-TAISA)
Publications: conference_itemaff

Publications: article

Publications: conference_item
8th IEEE International NEWCAS Conference (NEWCAS)
Publications: conference_item
1st Microsystems and Nanoelectronics Research Conference (MNRC)
Publications: conference_item
SAE 2015 AeroTech Congress & Exhibition
Publications: conference_item
SAE 2015 AeroTech Congress & Exhibition
Publications: conference_item
2015 IEEE International Symposium on Circuits and Systems (ISCAS)
Publications: conference_item
2013 IEEE 11th International New Circuits and Systems Conference (NEWCAS)
Publications: conference_item
SAE 2013 AeroTech Congress and Exhibition (AEROTECH)
Cours et encadrements

Encadrements

Mémoire à 30 crédits

    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

Projet d'intervention en entreprise à 15 crédits

    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

Projet d'application à 9 crédits

    Conception d'un prototype d'architecture avionique modulaire et intégrée (IMA), par Malvasio,Jérôme.
    Hiver 2013

Projet d'application à 15 crédits

    Mise en place d'un banc de test de type HIL pour les systèmes avioniques, par Keddar,Mohammed.
    Été 2016

Publications
Article publié dans une revue, révisé par les pairs (6)

Simon R. Girard, Vincent Legault, Guy Bois, Jean-François Boland. 2019. « Avionics graphics hardware performance prediction with machine learning ». Scientific Programming. vol. 2019 15 p.

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.

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 Computer, Information, Systems and Control Engineering. vol. 8 , nº 7. p. 1044-1049.

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.

Communication (6)

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 )

Compte rendu de conférence (24)

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) p. 1518-1521. Piscataway, NJ, USA : 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) p. 212-215. Piscataway, N. J., USA : 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) Warrendale, PA, USA : 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) Piscataway, N. J., USA : 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) Warrendale, PA, USA : 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) Piscataway, NJ, USA : 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) p. 92-98. Piscataway, NJ, USA : 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) p. 245-248. Piscataway, NJ, USA : 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) p. 292-295. New York, NY, USA : 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) p. 121-124. Piscataway, NJ, USA : 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) p. 133-136. Piscataway, NJ, USA : 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) p. 137-140. Piscataway, NJ, USA : 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) p. 73-76. Piscataway, NJ, USA : Institute of Electrical and Electronics Engineers.

Affiche (3)

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 )

Prix et distinctions

Prix d'excellence du c.a. pour les services à la communauté 2013 |École de technologie supérieure
2013