Jérôme Hugues

Senior Researcher

Carnegie Mellon University / Software Engineering Institute

  (+1) 412-268-5800

 

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

  http://www.jerome-hugues.net

  Curriculum vitae (EN)

  Publications

About

Jérôme Hugues is a Senior Researcher at the Carnegie Mellon University/Software Engineering Institute in the Assuring Cyber-Physical Systems team. He holds a Habilitation à Diriger les Recherches (HDR, 2017), a PhD (2005) and an engineering degree (2002) from Telecom ParisTech.

His research interests focus on the design of software-based real-time and embedded systems and tools to support it. More specifically, he concentrates 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 AADL since 2005.

Prior to joining the CMU/SEI, he was a professor at the Department of Engineering of Complex Systems of the Institute for Space and Aeronautics Engineering (ISAE), in charge of teaching curriculum on systems engineering, safety-critical systems, and real-time systems.

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. He contributes to the OSATE, TASTE AADL-based toolchains.

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, Microsoft Academic Research, ResearchGate, ACM DL, Publons

Contributions to standards [Bibtex]

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

Books [Bibtex]

  1. E. Grolleau, J. Hugues, Y. Ouhammou, and H. Bauer, Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre. Paris: Dunod, 2018. [URL]
  2. 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]
  3. 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. 10.1007/978-981-10-4436-6_2
  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. 10.1007/978-3-319-27869-8_18
  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. [URL]
  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. H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, “Towards a formal specification for an AADL behavioural subset using the LNT language,” International Journal of Business and Systems Research, vol. 14, no. 2, 2020. 10.1504/IJBSR.2020.106278
  2. H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, “A formal approach to AADL model-based software engineering,” International Journal on Software Tools for Technology Transfer, vol. 22, no. 2, pp. 219–247, 2020. 10.1007/s10009-019-00513-7
  3. P. Leserf, P. de Saqui-Sannes, and J. Hugues, “Trade-off analysis for SysML models using decision points and CSPs,” Software & Systems Modeling, Jan. 2019. 10.1007/s10270-019-00717-0
  4. 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. 10.1016/j.scico.2017.12.007
  5. 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. 10.1504/IJAACS.2016.079625
  6. 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. 10.4230/DagRep.2.7.30
  7. 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. [URL]
  8. 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. 10.4271/2009-01-3234
  9. 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. 10.1109/MSP.2009.143
  10. 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. [URL]
  11. 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. 10.1145/1376804.1376810
  12. 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. 10.1007/s11334-008-0044-5
  13. 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. 10.1145/1316002.1316013
  14. 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. 10.1145/1185642.1185647

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.
  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.
  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. 10.1016/j.scico.2015.05.002
  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. 10.1002/spe.2131

Conference papers [Bibtex]

  1. L. Creuse, C. Dross, C. Garion, J. Hugues, and J. Huguet, “Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists,” in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, 2019, pp. 23–36. 10.1007/978-3-030-32441-4_2
  2. L. Gouveia, D. Silveira, T. Tsiodras, and J. Hugues, “Code Coverage On Space Embedded Systems With GCOV,” in ESA DASIA, 2019.
  3. 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. 10.1145/3167132.3167282
  4. 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. [URL]
  5. 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. [URL]
  6. W. Zhe, J. Hugues, J.-C. Chaudemar, and T. LeSergent, “An Integrated Approach to Model Based Engineering with SysML, AADL and FACE,” in Proceedings of Aerospace Systems and Technology Conference 2018 (ASTC’18), 2018. 10.4271/2018-01-1942
  7. 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. 10.1145/3139258.3139281
  8. 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. 10.1007/978-3-319-64119-5_5
  9. 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]
  10. 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. 10.1145/2990299.2990306
  11. 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. 10.1109/SIES.2016.7509422
  12. 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]
  13. 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. 10.1109/RSP.2015.7416539
  14. 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. 10.1109/RSP.2015.7416543
  15. 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. 10.1109/ETFA.2015.7301406
  16. 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.
  17. 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. 10.1007/978-3-319-19584-1_10
  18. 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. 10.1109/ISORC.2015.29
  19. 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. 10.5220/0005229204490457
  20. 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]
  21. 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. 10.1145/2663171.2663180
  22. 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. 10.1109/ISORC.2014.60
  23. 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]
  24. 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]
  25. J. Hugues and S. Gheorghe, “The AADL Constraint Annex,” in SAE 2013 AeroTech Congress & Exhibition, Montreal, Canada, 2013. [URL]
  26. 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]
  27. J. Hugues, “AADLib, A Library of Reusable AADL Models,” in SAE Aerotech 2013 Congress & Exhibition, Montreal, Canada, 2013. 10.4271/2013-01-2179
  28. 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]
  29. 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. 10.1109/RSP.2013.6683959
  30. 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. 10.1109/ISORC.2013.6913214
  31. 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. [URL]
  32. 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]
  33. 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. [URL]
  34. J. Delange and J. Hugues, “Incremental modeling and validation of space mission using AADLv2,” in SAE 2011 AeroTech Congress & Exhibition, 2011. [URL]
  35. 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.
  36. 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. 10.1109/ICECCS.2011.39
  37. 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. 10.1109/ICECCS.2011.40
  38. 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. 10.1109/ISORC.2011.18
  39. 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.
  40. 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.
  41. 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. 10.1109/ISORC.2010.38
  42. 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. 10.1109/ICECCS.2010.50
  43. 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. 10.1109/ICECCS.2010.26
  44. 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. 10.1007/978-3-642-01924-1_17
  45. 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. 10.1109/RSP.2009.30
  46. 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. 10.1109/ISORC.2009.11
  47. 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. 10.1109/RTCSA.2009.21
  48. 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.
  49. 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. 10.1109/RSP.2008.19
  50. 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. 10.1007/978-3-540-68863-1_12
  51. 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. 10.1109/ISORC.2008.27
  52. 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. 10.1007/978-3-540-77419-8_3
  53. 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.
  54. 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.
  55. 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.
  56. 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. 10.1007/978-3-540-87785-1_34
  57. 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. [URL]
  58. 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. [URL]
  59. 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. 10.1007/978-3-540-73230-3_12
  60. 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.
  61. 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. 10.1007/978-3-540-73230-3_16
  62. 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. 10.1109/RSP.2007.33
  63. 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. 10.1109/ISORC.2007.23
  64. 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. 10.1109/SEW.2007.83
  65. 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. 10.1007/978-3-540-71156-8_7
  66. 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. 10.1145/1185642.1185647
  67. 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. 10.1109/ISORC.2006.4
  68. 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.
  69. 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.
  70. 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. 10.1109/RSP.2005.42
  71. 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. 10.1109/ISORC.2005.46
  72. 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. 10.1016/j.entcs.2004.08.062
  73. 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. 10.1007/b97913
  74. 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.
  75. 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. 10.1109/IWRSP.2003.1207039
  76. 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.

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. G. Brau, C. Garion, and J. Hugues, “Towards the qualification of an AADL model transformation tool with contracts,” Formalisation des Activités Concurrentes 2019 (FAC 2019), Toulouse, FR, pp. 1–17, 2019. [URL]
  2. J. Hugues, “Model-Based Certification – A vision,” in High Confidence Software and Systems Conference, Annapolis, USA, 2018. [URL]
  3. 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. [URL]
  4. 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]
  5. J. Hugues, “Model-Driven Engineering, Architecture Description Language, a field report,” in Seminar of the Decision And Control Laboratory (DCL) at GeorgiaTech, 2016. [URL]
  6. 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]
  7. 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]
  8. J. Hugues, “Model-Based, Model checking: the missing bits,” in Séminaire Inria/CONVECS, Grenoble, France, 2013.
  9. 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]
  10. J. Hugues, “A programming language view to model-driven engineering,” in Séminaire ONERA/DTIM, Toulouse, France, 2013.
  11. J. Hugues, “Bridging the modeling/verification gap,” in Software Certification: Methods and Tools (Dagstuhl Seminar 13051), 2013, pp. 125–125. [URL]
  12. 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]
  13. 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. [URL]
  14. J. Hugues, “ AADL, de l’analyse à la génération de code,” in Séminaire ONERA/DTIM, 2010.
  15. J. Hugues, “PolyORB: Leveraging Ada to build Distributed Real Time and Embedded Systems,” in XV JORNADA TÉCNICA DE ADA-SPAIN, 2007. [URL]
  16. 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.
  17. 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.