Jérôme Hugues


Full Professor of Embedded Systems, Real-Time Systems, Model-Based Design

ISAE Supaero


  (+33) 5 61 33 89 84

 

ORCID iD iconorcid.org/0000-0003-0148-7175

About

Jérôme Hugues is associate professor at the Complex Systems Engineering Department (DISC) of the Institute for Space and Aeronautics Engineering (ISAE) in Toulouse. He holds an "Habilitation à Diriger les Recherches" (2017), a PhD (2005) and engineering degree (2002) from Telecom ParisTech.

At ISAE, he is responsible of several real-time systems course. He is co-head of the Computer Science Major at ISAE, and of the Embedded Systems Master (SM EMS) program at ENSEEIHT and ISAE.

His research interests are focused on software architecture to support the design of complex software-based real-time and embedded systems ; and programming languages and artifacts to support them.

He is a member of the SAE AS-2C committee working on the definition of the AADL architecture description language to assist the designer in various stages of its design : formal verification, dimensioning down to code generation. He is the main author of two annexes document for AADLv2, and a reviewer of the AADLv2 core document, and associated annexes. He leads the development of the Ocarina toolchain, a compiler for AADL.

FLOSS Software

He is currently involved in the following FLOSS software:

  • Ocarina toolchain, a compiler for the AADL language and associated model processors (code generation, gateway to model checkers, scheduling analysis tools, etc).

  • TASTE project to transfer Ocarina technologies to the space domain, with support and core contributions from the European Space Agency, and Ellidiss Technologies.

In the past, he was also involved in the following project

  • PolyORB, an adaptable, verifiable and schizophrenic (encompassing CORBA, DSA, SOAP and MOM personalities) platform for real time systems, written in Ada, now supported by AdaCore.

See (Github) and (OpenHub) for more details on software contributions to FLOSS.

Publications

Here is the full list of my publications.

Other partial sources include: OATAO, DBLP, Google Scholar, ResearchGate, ACM DL

Contributions to standards [Bibtex]

  1. S. A. E. AS2-C, “SAE Architecture Analysis and Design Language (AADL) Annex Volume 1, Revision A,” SAE International, Standard AS5506/1A, 2015.
  2. S. A. E. AS2-C, “SAE Architecture Analysis and Design Language (AADL) Annex Volume 2,” SAE International, Standard AS5506/2, 2011.
  3. S. A. E. AS2-C, “Architecture Analysis & Design Language v2.0 ,” SAE International, Standard AS5506A, Jan. 2009.

Books [Bibtex]

  1. F. Cottet, E. Grolleau, S. Gérard, J. Hugues, Y. Ouhamou, and S. Tucci, Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle. Paris: Dunod, 2014. [URL]
  2. J. W. McCornick, F. Singhoff, and J. Hugues, Building Parallel, Embedded, and Real-Time Applications with Ada, no. 9780521197168. Cambridge University Press, 2011. [URL]

Books edited [Bibtex]

  1. F. Kordon, J. Hugues, A. Canals, and A. Dohet, Embedded Systems: Analysis and Modeling with SysML, UML and AADL. Wiley-ISTE, 2013. [URL]
  2. F. Kordon, J. Hugues, A. Canals, and A. Dohet, Modélisation et analyse de systèmes embarqués. Paris, France: Hermes Sciences, 2013. [URL]

Book Chapters [Bibtex]

  1. J. Hugues and J. Delange, “Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL,” in Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings, S. Nakajima, J.-P. Talpin, M. Toyoshima, and H. Yu, Eds. Springer, 2017, pp. pp. 33–52. [URL]
  2. P. Leserf, P. Saqui-Sannes, J. Hugues, and K. Chaaban, “Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers,” P. Desfray, J. Filipe, S. Hammoudi, and F. L. Pires, Eds. Cham: Springer International Publishing, 2015, pp. 311–327. [DOI] [URL]
  3. M. Perrotin, J. Delange, and J. Hugues, “Distributed Systems: Design and Algorithms,” no. 978-1-84821-250-3, F. Kordon, Ed. Wiley-ISTE, 2011.
  4. J. Hugues, L. Pautet, and F. Kordon, “Méthodes Formelles pour les Systèmes Répartis et Coopératifs,” no. 2-7462-1447-4, S. Haddad, F. Kordon, and L. Petrucci, Eds. 2006. [URL]

Journals [Bibtex]

  1. G. Brau, J. Hugues, and N. Navet, “ Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems ,” Elsevier Science of Computer Programming, vol. 156, pp. 1–20, 2018. [DOI]
  2. W. Gabsi, B. Zalila, and J. Hugues, “A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems,” International Journal of Autonomous and Adaptive Communications Systems (IJAACS), vol. 9, no. 3/4, pp. 269–287, 2016. [DOI] [URL]
  3. P. Feiler, J. Hugues, and O. Sokolsky, “Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272),” Dagstuhl Reports, vol. 2, no. 7, pp. 30–55, 2012. [DOI] [URL]
  4. O. Gilles and J. Hugues, “A MDE-based optimisation process for Real-Time systems: Optimizing systems at the architecture-level using the real DSL and library of transformation and heuristics,” International Journal of Computer Systems Science & Engineering, vol. 26, no. 6, Nov. 2011.
  5. J. Delange, O. Gilles, J. Hugues, and L. Pautet, “ Model-Based Engineering for the Development of Partitioned Architectures,” SAE International Journal of Aerospace, vol. 3, no. 1, pp. 79–86, Dec. 2010. [URL]
  6. J. Hansson, B. Lewis, J. Hugues, L. Wrage, P. Feiler, and J. Morley, “Model-Based Verification of Security and Non-Functional Behavior using AADL,” IEEE Security & Privacy, vol. 8, no. 1, pp. 43–49, Jan. 2010. [DOI]
  7. M. Bordin, C. Comar, T. Gingold, J. Guitton, O. Hainque, T. Quinot, J. Delange, J. Hugues, and L. Pautet, “Couverture: an Innovative Open Framework for Coverage Analysis of Safety Critical Applications,” Ada User Journal, vol. 30, no. 4, pp. 248–255, Dec. 2009.
  8. J. Hugues, B. Zalila, L. Pautet, and F. Kordon, “From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite,” ACM TECS, vol. 7, no. 4, pp. 1–25, Jul. 2008. [DOI]
  9. I. Hamid, B. Zalila, E. Najm, and J. Hugues, “Automatic Framework Generation for Hard Real-time Applications,” Innovations in Systems and Software Engineering: A NASA Journal, vol. 4, no. 1, pp. 107–122, Jan. 2008. [DOI]
  10. J. A. Pulido, J. A. de la Puente, J. Hugues, M. Bordin, and T. Vardanega, “Ada 2005 code patterns for metamodel-based code generation,” ACM SIGAda Ada Letters, vol. XXVII, no. 2, pp. 53–58, Aug. 2007. [DOI]
  11. B. Zalila, J. Hugues, and L. Pautet, “An Improved IDL Compiler for Optimizing CORBA Applications,” ACM SIGAda Ada Letters, vol. XXVI, no. 3, pp. 21–27, Dec. 2006. [DOI]

Journals (French) [Bibtex]

  1. J. Hugues and P. Siron, “Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE,” Génie Logiciel, no. 109, pp. pp. 38–42, Jun. 2014. [URL]
  2. J. Cardoso, J.-C. Chaudemar, A. Hamez, J. Hugues, and P. Siron, “PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués,” Génie Logiciel, no. 108, pp. pp. 29–34, Mar. 2014. [URL]
  3. G. Rivier, S. Lizy-Destrez, and J. Hugues, “Enseignement de l’ingénierie système : retour sur la conception d’un senseur stellaire pour ESEO et ESMO,” Génie Logiciel – Magazine de l’ingénierie du logiciel et des systèmes, vol. 100, pp. 50–54, Jun. 2012.
  4. X. Renault and J. Hugues, “Définition d’une famille de patrons de transformation de modèle pour l’analyse de modèles AADL,” Génie Logiciel – Magazine de l’ingénierie du logiciel et des systèmes, vol. 93, pp. 11–15, Jun. 2010.
  5. E. Borde, F. Gilliers, G. Haik, J. Hugues, and L. Pautet, “ MyCCMHI : un framework à composants mettant en oeuvre une approche d’ingénierie dirigée par les modèles,” Génie Logiciel – Magazine de l’ingénierie du logiciel et des systèmes, vol. 90, pp. 6–12, Sep. 2009.

Special Issue (editor) [Bibtex]

  1. J. Hugues and O. Sokolsky, “Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems,” Sci. Comput. Program., vol. 106, pp. 1–2, 2015. [DOI] [URL]
  2. K. B. Kent and J. Hugues, “Editorial to the Special Issue of Rapid System Prototyping’10,” Software: Practice and Experience, vol. 42, no. 7, pp. 779–779, 2012. [DOI] [URL]

Conference papers [Bibtex]

  1. H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, “An ocarina extension for AADL formal semantics generation,” in Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 2018, pp. 1402–1409. [DOI] [URL]
  2. C. Honvault, J. Hugues, and C. Pagetti, “Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems,” in Proceedings of 9th European Congress Embedded Real Time Software and Systems ERTSS 2018, Toulouse, France, Jan 31-Feb 2 2018, 2018.
  3. J. Hugues, J.-M. Gauthier, and R. Faudou, “Integrating AADL and FMI to Extend Virtual Integration Capability,” in Proceedings of 9th European Congress Embedded Real Time Software and Systems ERTSS 2018, Toulouse, France, Jan 31-Feb 2 2018, 2018.
  4. G. Brau, N. Navet, and J. Hugues, “Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study,” in Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017, 2017, pp. 168–177. [DOI] [URL]
  5. J. Brunel, P. H. Feiler, J. Hugues, B. A. Lewis, T. Prosvirnova, C. Seguin, and L. Wrage, “Performing Safety Analyses with AADL and AltaRica,” in Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, 2017, pp. 67–81. [DOI] [URL]
  6. M. M. Arancón, G. Montano, M. Wirkus, K. Hoeflinger, D. Silveira, N. Tsiogkas, J. Hugues, H. Bruyninckx, I. Dragomir, and A. Muhammad, “ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS,” in ASTRA 2017, 2017. [URL]
  7. C. Damman, G. Edison, F. Guet, E. Noulard, L. Santinelli, and J. Hugues, “Architectural performance analysis of FPGA synthesized LEON processors,” in 2016 International Symposium on Rapid System Prototyping, RSP 2016, Pittsburg, PA, USA, October 6-7, 2016, 2016, pp. 33–40. [DOI] [URL]
  8. Chao Chen and Luca Santinelli and Jérôme Hugues and Giovanni Beltrame, “Static Probabilistic Timing Analysis in Presence of Faults ,” in SIES 2016 Conference, Karkow, Poland, 2016.
  9. B. Ouni, P. Gaufillet, E. Jenn, and J. Hugues, “Model Driven Engineering with Capella and AADL,” in ERTSS 2016 Conférence, Toulouse, FR, 2016. [URL]
  10. J. Hugues and J. Delange, “Model-Based Design and Automated Validation of ARINC653 Architectures,” in IEEE International Symposium on Rapid System Prototyping (RSP), Amsterdam, NL, 2015. [URL]
  11. M. Gaudron, G. Bois, J. Hugues, and F. Monteiro, “Performance Verification for ESL Design Methodology from AADL Models,” in IEEE International Symposium on Rapid System Prototyping (RSP), Amsterdam, NL, 2015. [URL]
  12. P. Leserf, P. de Saqui-Sannes, and J. Hugues, “Multi Domain optimization with SysML modeling,” in 20th IEEE International Conference on Emerging Technologies and Factory Automation, Luxembourg, 2015.
  13. F. Singhoff, A. Plantec, S. Rubini, H.-N. Tran, V. Gaudel, J. Boukhobza, L. Lemarchand, S. Li, E. Borde, L. Pautet, J. Hugues, P. Dissaux, J. Legrand, C. Fotsing, and D. Blandine, “Teaching Real-Time Scheduling Analysis with Cheddar,” in Ecole d’été temps réel, ETR 2015, Rennes, France, 2015.
  14. H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, “From AADL Model to LNT Specification,” in Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings, 2015, pp. 146–161. [DOI] [URL]
  15. G. Brau, J. Hugues, and N. Navet, “A contract-based approach to support goal-driven analysis,” in 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, Auckland, NZ, 2015. [URL]
  16. P. Leserf, P. de Saqui-Sannes, J. Hugues, and K. Chaaban, “SysML Modeling For Embedded Systems Design Optimization: A Case Study,” in MODELSWARD 2015, Angers, FR, 2015. [URL]
  17. J. Hugues, “Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process,” in 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), Roma, IT, 2014. [URL]
  18. J. Hugues and C. Garion, “Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models,” in High Integrity Language Technology, HILT 2014, Portland, US, 2014, pp. 39–45. [URL]
  19. J. Hugues, G. Brau, and N. Navet, “Analysis as first-class citizens – an application to Architecture Description Languages,” in 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), Reno, USA, 2014. [URL]
  20. M. B. Youssef, J.-F. Boland, G. Nicolescu, G. Bois, and J. Hugues, “Design Space Exploration: Bridging the Gap Between High-Level Models and Virtual Execution Platforms,” in Embedded Real-Time Software and Systems 2014, Toulouse, France, 2014. [URL]
  21. M. Bordin, C. Comar, E. Falis, F. Gasperoni, Y. Moy, E. Richa, and J. Hugues, “System to Software Integrity: A Case Study,” in Embedded Real-Time Software and Systems 2014, Toulouse, France, 2014. [URL]
  22. G. Brau, N. Navet, and J. Hugues, “Refinement of AADL models using early-stage analysis methods,” in The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop. , Vancouver, Canada, 2013. [URL]
  23. J. Hugues and S. Gheorghe, “The AADL Constraint Annex,” in SAE 2013 AeroTech Congress & Exhibition, Montreal, Canada, 2013. [URL]
  24. J. Hugues, “AADLib, A Library of Reusable AADL Models,” in SAE Aerotech 2013 Congress & Exhibition, Montreal, Canada, 2013. [URL]
  25. J. Hugues and J. Cardoso, “CESEC Chair – Training Embedded System Architects for the Critical Systems Domain,” in 2013 Workshop on Embedded and Cyber-Physical Systems Education, Montreal, Canada, 2013. [URL]
  26. V. Gaudel, A. Plantec, F. Singhoff, J. Hugues, P. Dissaux, and J. Legrand, “Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets,” in IEEE International Symposium on Rapid System Prototyping, Montreal, Canada, 2013. [URL]
  27. Y. Ouhamou, E. Grolleau, and J. Hugues, “Mapping AADL models to a repository of multiple schedulability analysis techniques,” in 16th IEEE International Symposium on Object/Component/Service-oriented Real-time distributed computing (ISORC 2013), Berlin, Germany, 2013. [URL]
  28. J. Hugues, P. Siron, and A. Hamez, “PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems ,” in Recherche et Innovation pour les Transports du Futur (RITF’12), 2012. [URL]
  29. P. de Saqui-Sannes and J. Hugues, “Combining SysML and AADL for the design, validation and implementation of critical systems,” in Proceedings of Embedded Real Time Software and Systems 2012, Toulouse, France, 2012.
  30. J. Delange, J. Hugues, and P. Dissaux, “Validate implementation correctness using simulation: the TASTE approach,” in Proceedings of Embedded Real Time Software and Systems 2012, Toulouse, France, 2012.
  31. J. Delange and J. Hugues, “Incremental modeling and validation of space mission using AADLv2,” in SAE 2011 AeroTech Congress & Exhibition, 2011. [URL]
  32. J. Hugues, “Analytic virtual integration of cyber-physical systems & AADL: challenges, threats and opportunities,” in Proceedings of the second Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vienna, Austria, 2011.
  33. G. Lasnier, L. Pautet, J. Hugues, and L. Wrage, “An Implementation of the Behavior Annex in the AADL-Toolset OSATE2,” in 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, USA, 2011, pp. 332–337. [DOI]
  34. S. Rubini, F. Singhoff, and J. Hugues, “Modeling and Verification of Memory Architectures with AADL and REAL,” in 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, USA, 2011, pp. 338–343. [DOI]
  35. G. Lasnier, L. Pautet, and J. Hugues, “A Model-Based Transformation Process to Validate and Implement High-Integrity Systems,” in Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, 2011, pp. 67–74. [DOI]
  36. G. Raghav, S. Gopalswamy, K. Radhakrishnan, J. Delange, and J. Hugues, “Model Based Code Generation for Distributed Embedded Systems,” in Proceedings of Embedded Real Time Software and Systems 2010, Toulouse, France, 2010.
  37. E. Conquet, M. Perrotin, P. Dissaux, T. Tsiodras, and J. Hugues, “ The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software ,” in Proceedings of Embedded Real Time Software and Systems 2010, Toulouse, France, 2010.
  38. O. Gilles and J. Hugues, “A MDE-Based Optimisation Process for Real-Time Systems,” in Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, Los Alamitos, CA, USA, 2010, pp. 50–57. [DOI]
  39. J. Delange, J. Hugues, L. Pautet, and D. de Niz, “ A MDE-based Process for the Design, Implementation and Validation of Safety Critical Systems,” in Proceedings of the 5th UML& AADL Workshop (UML&AADL 2010), University of Oxford, UK, 2010, pp. 319–324. [DOI]
  40. O. Gilles and J. Hugues, “Expressing and enforcing user-defined constraints of AADL models,” in Proceedings of the 5th UML& AADL Workshop (UML&AADL 2010), University of Oxford, UK, 2010, pp. 337–342. [DOI]
  41. O. Gilles and J. Hugues, “Towards Model-based optimisations of Real-Time systems, an application with the AADL,” in 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009), Pekin, Chine, 2009. [DOI]
  42. G. Raghav, S. Gopalswamy, K. Radhakrishnan, J. Delange, and J. Hugues, “Architecture Driven Generation of Distributed Embedded Software from Functional Models,” in In Proceedings of the 2009 Ground Vehicle Systems Engineering and Technology Symposium (GVSETS), 2009.
  43. G. Lasnier, B. Zalila, L. Pautet, and J. Hugues, “OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications,” in Reliable Software Technologies’09 - Ada Europe, Brest, France, 2009, vol. LNCS, no. 5570, pp. 237–250. [DOI]
  44. X. Renault, F. Kordon, and J. Hugues, “Adapting models to model checkers, a case study : Analysing AADL using Time or Colored Petri Nets,” in IEEE/IFIP 20th International Sypmosium on Rapid System Prototyping , Paris, France, 2009. [DOI]
  45. X. Renault, F. Kordon, and J. Hugues, “From AADL architectural models to Petri Nets : Checking model viability,” in 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’09), Tokyo, Japon, 2009, pp. 313–320. [DOI]
  46. P. Dissaux, J. Hugues, and F. Singhoff, “The AADL for Real-Time modelling.,” in ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). ESA/ESTEC, The Netherlands, 2008.
  47. F. Kordon, J. Hugues, and X. Renault, “From Model Driven Engineering to Verification Driven Engineering,” in 6th IFIP Workshop on Software Technologies for Future Embedded & Uiquitous Systems (SEUS 2008), Capri, Italy, 2008, vol. 5287, pp. 381–393. [DOI]
  48. O. Gilles and J. Hugues, “Applying WCET analysis at architectural level,” in Worst-Case Execution Time (WCET’08), Prague, Czech Republic, 2008, pp. 113–122. [DOI]
  49. O. Gilles and J. Hugues, “Validating requirements at model-level,” in Ingénierie Dirigée par les modèles (IDM’08), Mulhouse, France, 2008, pp. 35–49. [DOI]
  50. J. Hugues, M. Perrotin, and T. Tsiodras, “Using MDE for the Rapid Prototyping of Space Critical Systems,” in The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 2008 (RSP’08), Monterey, California, USA, 2008, pp. 10–16. [DOI]
  51. X. Renault, J. Hugues, and F. Kordon, “Formal Modeling of a Generic Middleware to Ensure Invariant Properties,” in 10th Formal Methods for Open Object-based Distributed Systems (FMOODS’08), Oslo, Norway, 2008, vol. LNCS 5051, pp. 185–200. [DOI]
  52. B. Zalila, L. Pautet, and J. Hugues, “Towards Automatic Middleware Generation,” in 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’08), Orlando, Florida, USA, 2008, pp. 221–228. [DOI]
  53. J. Hugues, L. Pautet, and B. Zalila, “From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.,” in Monterey Workshop 2006, Paris, France, 2008, vol. LNCS 4888, no. 4888, pp. 35–52. [DOI]
  54. J. Delange, J. Hugues, L. Pautet, and B. Zalila, “Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain,” in 4th European Congress ERTS, Toulouse, Paris, 2008.
  55. J. Hugues, L. Pautet, B. Zalila, P. Dissaux, and M. Perrotin, “Using AADL to build critical real-time systems:Experiments in the IST-ASSERT project,” in 4th European Congress ERTS, Toulouse, Paris, 2008.
  56. J. Zamorano, J. A. de la Puente, J. Hugues, and T. Vardanega, “Run-time mechanisms for property preservation in high-integrity real-time systems,” in Proceedings of OSPERT 2007 — Workshop on Operating Systems Platforms for Embedded Real-Time applications, Pisa, Italy, 2007, pp. 65–68.
  57. B. Zalila, I. Hamid, J. Hugues, and L. Pautet, “Generating Distributed High Integrity Applications from their Architectural Description,” in AdaEurope’07, Geneva, Switzerland, 2007, vol. LNCS 4498, pp. 155–167. [DOI]
  58. K. Barbaria, J. Hugues, and L. Pautet, “Design and Performance of a Generic Consensus Component for Critical Distributed Applications,” in AdaEurope’07, Geneva, Switzerland, 2007, vol. LNCS 4498, pp. 208–220. [DOI]
  59. J. Hugues, B. Zalila, L. Pautet, and F. Kordon, “Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina,” in Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP’07), Porto Alegre, Brazil, 2007, pp. 106–112. [DOI]
  60. J. Hugues, B. Zalila, and L. Pautet, “Combining Model processing and Middleware Configuration for Building Distributed High-Integrity Systems,” in Proceedings of the 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’07), Santorini Island, Greece, 2007, pp. 307–312. [DOI]
  61. I. Hamid, B. Zalila, E. Najm, and J. Hugues, “A Generative Approach to Building a Framework for Hard Real-Time Applications,” in 31st Annual NASA Goddard Software Engineering Workshop, Baltimore, USA, 2007. [DOI]
  62. J. Hugues, F. Kordon, L. Pautet, and T. Vergnaud, “A Factory To Design and Build Tailorable and Verifiable Middleware,” in Proceedings of the Monterey Workshop 2005 on Networked Systems: realization of reliable systems on top of unreliable networked platforms, University of California Irvine, CA, USA, 2007, vol. LNCS 4322, pp. 121–142. [DOI]
  63. J. Hugues, B. Zalila, and L. Pautet, “Middleware and Tool suite for High Integrity Systems,” in Proceedings of RTSS-WiP’06, Rio de Janeiro, Brazil, 2006, pp. 1–4.
  64. B. Zalila, J. Hugues, and L. Pautet, “An Improved IDL Compiler for Optimizing CORBA Applications ,” in Proceedings of SIGAda’06, Albuquerque, NM, USA, 2006, pp. 21–27. [DOI]
  65. J. Hugues, F. Kordon, and L. Pautet, “A framework for DRE middleware, an application to DDS,” in Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’06), Gyeongju, Korea, 2006, pp. 224–231. [DOI]
  66. T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon, “Rapid Development Methodology for Customized Middleware,” in Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP’05), Montreal, Canada, 2005, pp. 111–117. [DOI]
  67. J. Hugues, F. Kordon, and L. Pautet, “Revisiting COTS middleware for DRE systems,” in Proceedings of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’05), Seattle, WA, USA, 2005, pp. 72–79. [DOI]
  68. J. Hugues, F. Kordon, and L. Pautet, “Towards Proof-Based Real-Time Distribution Middleware,” in Proceedings of the 13th International Conference On Real-Time Systems (RTS’05), Paris, France, 2005, pp. 51–70.
  69. J. Hugues, Y. Thierry-Mieg, F. Kordon, L. Pautet, S. Baarir, and T. Vergnaud, “On the Formal Verification of Middleware Behavioral Properties,” in Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’04), Linz, Austria, 2004, vol. ENTCS 133, pp. 139–157. [DOI]
  70. T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon, “PolyORB: a schizophrenic middleware to build versatile reliable distributed applications,” in Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST’04), Palma de Mallorca, Spain, 2004, vol. LNCS 3063, pp. 106–119. [DOI]
  71. J. Hugues, L. Pautet, and F. Kordon, “Refining middleware functions for verification purpose,” in Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (MONTEREY’03), Chicago, IL, USA, 2003, pp. 79–87.
  72. J. Hugues, L. Pautet, and F. Kordon, “Contributions to middleware architectures to prototype distribution infrastructures,” in Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP’03), San Diego, CA, USA, 2003, pp. 124–131. [DOI]
  73. J. Hugues, F. Kordon, L. Pautet, and T. Quinot, “A case study of Middleware to Middleware: MOM and ORB interoperability,” in Addendum to the proceedings of the 4th International Symposium on Distributed Objects and Applications (DOA’02), University of California Irvine, CA, USA, 2002, pp. 29–32.

Technical Reports [Bibtex]

  1. J. Hugues and B. Zalila, PolyORB High Integrity User’s Guide. École Nationale Supérieure des Télécommunications, 2007. [URL]
  2. T. Vergnaud, B. Zalila, and J. Hugues, Ocarina: a Compiler for the AADL. École Nationale Supérieure des Télécommunications, 2006. [URL]
  3. R. Duff, J. Hugues, L. Pautet, T. Quinot, and S. Tardieu, PolyORB User’s Guide. 2004-2010.

Tutorials [Bibtex]

  1. J. Hugues and J. Delange, “AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems,” in MODELS Conference Tutorial 2015, Ottawa, CA, 2015.
  2. J. Hugues and F. Singhoff, “AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems,” in High-Integrity Language and Tools Conference Tutorial 2014, Portland, US, 2014. [URL]
  3. J. Hugues and F. Singhoff, “AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems,” in MODELS Conference Tutorial 2014, Valencia, ES, 2014. [URL]
  4. J. Hugues and F. Singhoff, “AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems,’” in ESWeek’2013 Tutorial, Montreal, Canada, 2013. [URL]
  5. J. Hugues, “Intergiciels pour le temps réel,” in Tutoriel présenté à l’école d’été temps réel (ETR’11), Brest, France, 2011.
  6. J. Hugues and F. Singhoff, “Développement de systèmes à l’aide d’AADL - Ocarina/Cheddar,” in Tutoriel présenté à l’école d’été temps réel (ETR’09), Paris, France, 2009.
  7. T. Quinot and J. Hugues, “Building interoperable applications with PolyORB,” in Tutorials of Reliable Software Techologies’07, 2007.
  8. J. Hugues, “Distribution in Ada 95 with PolyORB, A Schizophrenic Middleware,” in Tutorials of Reliable Software Techologies’06, 2006.

Seminars, misc. talks [Bibtex]

  1. J. Hugues, “European space robotics control and operating system (ESROCOS), Invited Talk,” in 12th National Conference on Software and Hardware Architectures for Robots Control, Toulouse, FR, 2017.
  2. C. Garion and J. Hugues, “From learning examples to High-Integrity Middleware, comparing ACSL and SPARK,” in Frama-C & SPARK Day 2017, Paris, FR, 2017, pp. pp. 1–28. [URL]
  3. J. Hugues, “Model-Driven Engineering, Architecture Description Language, a field report,” in Seminar of the Decision And Control Laboratory (DCL) at GeorgiaTech, 2016. [URL]
  4. J. Hugues and J. Delange, “Modélisation et analyses d’architecture IMA à l’aide d’AADL : analyses de sûreté de fonctionnement et génération de code,” in Journées Méthodes Formelles, Toulouse, FR, 2016. [URL]
  5. J. Hugues and J. Delange, “Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study,” in SAE Aerotech 2015, Seattle, US, 2015. [URL]
  6. J. Hugues, “Ingénierie Dirigée par les Modèles – Une approche pragmatique pour la génération de code ,” in Séminaire DGA ISCLP : Méthodologies et Technologies innovantes pour les systèmes embarqués , 2013. [URL]
  7. J. Hugues, “Model-Based, Model checking: the missing bits,” in Séminaire Inria/CONVECS, Grenoble, France, 2013.
  8. J. Hugues, “Bridging the modeling/verification gap,” in Software Certification: Methods and Tools (Dagstuhl Seminar 13051), 2013, pp. 125–125.
  9. J. Hugues, “A programming language view to model-driven engineering ,” in Séminaire ONERA/DTIM, Toulouse, France, 2013. [URL]
  10. J. Hugues, “Analytic Virtual Integration of Cyber-Physical Systems & AADL,” in Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441), 2012, pp. 9–9. [URL]
  11. J. Hugues, “AADL for Cyber-Physical Systems: Semantics and beyond, validate what’s next,” in The Robotics and Embedded Systems Seminar (RESS), UC Berkeley, 2011.
  12. J. Hugues, “ AADL, de l’analyse à la génération de code,” in Séminaire ONERA/DTIM, 2010.
  13. J. Hugues, “PolyORB: Leveraging Ada to build Distributed Real Time and Embedded Systems,” in XV JORNADA TÉCNICA DE ADA-SPAIN, 2007.
  14. J. Hugues, “Modélisation d’un ORB CORBA en Réseaux de Petri,” in Journée Ada-France sur le thème Ada et Modélisation, 2004.
  15. J. Hugues, “Modélisation et vérification de composants d’intergiciels,” in Journée du GDR STRQdS, Intergiciels Temps Réel, 2004.

Diploma [Bibtex]

  1. J. Hugues, “Architecture in the Service of Real-Time Middleware – Contributions to Architecture Description Languages,” Habilitation à Diriger les Recherches, INP Toulouse, 2017.
  2. J. Hugues, “Architecture et Services des Intergiciels Temps Réel,” Thèse de doctorat, École nationale supérieure des télécommunications, 2005. [URL]
  3. J. Hugues, “MOMA : Message Oriented Middleware for Ada,” Mémoire de DEA, École nationale supérieure des télécommunications, 2002.