Publications

Article

Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed. A formal approach to AADL model-based software engineering. (2020) International Journal on Software Tools for Technology Transfer, 22 (2). 219-247. ISSN 1433-2779

Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed. Towards a formal specification for an AADL behavioural subset using the LNT language. (2020) International Journal of Business and Systems Research, 14 (2). 162-190. ISSN 1751-200X

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Trade-off Analysis for SysML Models Using Decision Points and CSPs. (2019) Software and Systems Modeling. 1-17. ISSN 1619-1366

Creuse, Léo and Huguet, Joffrey and Garion, Christophe and Hugues, Jérôme. SPARK by Example: an introduction to formal verification through the standard C++ library. (2018) Ada Letters, 38 (2). 89-96. ISSN 1094-3641

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas. Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. (2018) Science of Computer Programming, 156. 1-20. ISSN 01676423

Gabsi, Wafa and Zalila, Bechir and Hugues, Jérôme. A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems. (2016) International Journal of Autonomous and Adaptive Communications Systems, 9 (3-4). 269-287. ISSN 1754-8640

Hugues, Jérôme and Sokolsky, Oleg. Preface to the special issue: architecture-driven semantic analysis of embedded systems. (2015) Science of Computer Programming, 106. 1-2. ISSN 0167-6423

Hugues, Jérôme and Siron, Pierre. Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE. (2014) Génie Logiciel (109). 38-42. ISSN 1265-1397

Cardoso, Janette and Chaudemar, Jean-Charles and Hamez, Alexandre and Hugues, Jérôme and Siron, Pierre. PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués. (2014) Génie Logiciel (108). 29-34. ISSN 1265-1397

Feiler, Peter and Hugues, Jérôme and Sokolsky, Oleg. Architecture-Driven Semantic Analysis of Embedded Systems (Eds) Dagstuhl Seminar 12272. (2012) Dagstuhl Report, 2 (7). 30-55. ISSN 2192-5283

Kent, Kenneth and Hugues, Jérôme. Editorial to the Special Issue of Rapid System Prototyping'10. (2012) Software: Practice and Experience, 42 (7). 779. ISSN 0038-0644

Rivier, Guillaume and Lizy-Destrez, Stéphanie and Hugues, Jérôme. Enseignement de l’ingénierie système : retour sur la conception d’un senseur stellaire pour ESEO et ESMO. (2012) Génie logiciel (100). 50-54. ISSN 1265-1397

Gilles, Olivier and Hugues, Jérôme. 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. (2011) International Journal of Computer Systems Science & Engineering, 26 (6). 3-17. ISSN 0267-6192

Renault, Xavier and Hugues, Jérôme. Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL. (2010) Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes (93). ISSN 1265-1397

Conference or Workshop Item

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Trade-off Analysis for SysML Models Using Decision Points and CSPs. (2019) In: MODELS 2019, 15 September 2019 - 20 September 2019 (Munich, Germany).

Creuse, Léo and Dross, Claire and Garion, Christophe and Hugues, Jérôme and Huguet, Joffrey. Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. (2019) In: 3rd World Congress on Formal Methods, 7 November 2019 - 11 November 2019 (Porto, Portugal).

Zhe, Wang and Hugues, Jérôme and Chaudemar, Jean-Charles and LeSergent, Thierry. An Integrated Approach to Model Based Engineering with SysML, AADL and FACE. (2018) In: Aerospace Systems and Technology Conference, 6 November 2018 - 8 November 2018 (London, United Kingdom).

Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed. An ocarina extension for AADL formal semantics generation. (2018) In: ACM Symposium on Applied Computing (SAC'18), 9 April 2018 - 13 April 2018 (Pau, France).

Gauthier, Jean-Marie and Hugues, Jérôme and Faudou, Raphaël. Integrating AADL and FMI to Extend Virtual Integration Capability. (2018) In: 9th European Congress Embedded Real Time Software and Systems (ERTSS), 31 January 2018 - 2 February 2018 (Toulouse, France).

Hugues, Jérôme and Honvault, Christophe and Pagetti, Claire. Model-based design, analysis and synthesis for multi-core and TSP avionics targets. (2018) In: 9th European Congress Embedded Real Time Software and Systems (ERTSS), 31 January 2018 - 2 February 2018 (Toulouse, France).

Muñoz Arancón, M. and Montano, G. and Wirkus, M. and Hoeflinger, K. and Silveira, D. and Tsiogkas, N. and Hugues, Jérôme and Bruyninckx, H. and Dragomir, Iulia and Muhammad, A.. ESROCOS: a robotic operating system for space and terrestrial applications. (2017) In: 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), 20 June 2017 - 21 June 2017 (Scheltema, Netherlands).

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme. Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. (2017) In: 25th International Conference on Real-Time Networks and Systems (RTNS ’17), 4 October 2017 - 6 October 2017 (Grenoble, France).

Brunel, Julien and Feiler, Peter and Hugues, Jérôme and Lewis, Bruce and Prosvirnova, Tatiana and Seguin, Christel and Wrage, Lutz. Performing Safety Analyses with AADL and AltaRica. (2017) In: The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 11 September 2017 - 13 September 2017 (Trento, Italy).

Chen, Chao and Santinelli, Luca and Hugues, Jérôme and Beltrame, Giovanni. Static Probabilistic Timing Analysis in Presence of Faults. (2016) In: 11th IEEE International Symposium on Industrial Embedded Systems, 23 May 2016 - 25 May 2016 (Krakow, Poland).

Gaudron, Matthieu and Bois, Guy and Hugues, Jérôme and Monteiro, Fellipe. Performance Verification for ESL Design Methodology from AADL Models. (2016) In: International Symposium on Rapid System Prototyping (RSP), 8 October 2015 - 9 October 2015 (Amsterdam, Netherlands).

Ouni, Bassem and Gaufillet, Pierre and Jenn, Eric and Hugues, Jérôme. Model Driven Engineering with Capella and AADL. (2016) In: the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 27 January 2016 - 29 January 2016 (Toulouse, France).

Damman, Corentin and Edison, Gregory and Guet, Fabrice and Noulard, Eric and Santinelli, Luca and Hugues, Jérôme. Architectural performance analysis of FPGA synthesized LEON processors. (2016) In: 27th International Symposium on Rapid System Prototyping, 1 October 2016 - 7 October 2016 (Pittsburgh, United States).

Hugues, Jérôme and Delange, Julien. Model-Based Design and Automated Validation of ARINC653 Architectures. (2015) In: Proceedings of IEEE International Symposium on Rapid System Prototyping (RSP), 8 October 2015 - 9 October 2015 (Amsterdam, Netherlands).

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Multi Domain optimization with SysML modeling. (2015) In: 20th IEEE International Conference on Emerging Technologies and Factory Automation, 8 September 2015 - 11 September 2015 (Luxembourg, Luxembourg).

Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed. From AADL Model to LNT Specification. (2015) In: Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, 22 June 2015 - 26 June 2015 (Madrid, Spain).

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas. A contract-based approach to support goal-driven analysis. (2015) In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 13 April 2015 - 17 April 2015 (Auckland, New Zealand).

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme and Chaaban, Khaled. SysML Modeling For Embedded Systems Design Optimization: A Case Study. (2015) In: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 9 February 2015 - 11 February 2015 (Angers, France).

Hugues, Jérôme and Brau, Guillaume. Analysis as first-class citizens – an application to Architecture Description Languages. (2014) In: 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), 8 June 2014 - 12 June 2014 (Reno, United States).

Ben Youssef, Maryem and Boland, Jean-François and Nicolescu, Gabriela and Bois, Guy and Hugues, Jérôme. Bridging the high-level model to execution platform for design space exploration and implementation. (2014) In: Embedded Real-Time Software and Systems - ERTS² 2014, 5 February 2014 - 7 February 2014 (Toulouse, France).

Hugues, Jérôme and Garion, Christophe. Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. (2014) In: High Integrity Language Technology, HILT 2014, 18 October 2014 - 21 October 2014 (Portland, United States).

Bordin, Matteo and Comar, Cyrille and Falis, Ed and Gasperoni, Franco and Moy, Yannick and Richa, Elie and Hugues, Jérôme. System to Software Integrity: A Case Study. (2014) In: Embedded Real-Time Software and Systems 2014, 5 February 2014 - 7 February 2014 (France).

Hugues, Jérôme. Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process. (2014) In: 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), 2 December 2014 - 2 December 2014 (Roma, Italy).

Hugues, Jérôme and Gheoghe, Serban. The AADL Constraint Annex. (2013) In: SAE 2013 AeroTech Congress & Exhibition, 24 September 2013 - 26 September 2013 (Montreal, Canada). (Unpublished)

Hugues, Jérôme. AADLib, A Library of Reusable AADL Models. (2013) In: SAE Aerotech 2013 Congress & Exhibition, 24 September 2013 - 26 September 2013 (Montreal, Canada).

Hugues, Jérôme and Cardoso, Janette. CESEC Chair – Training Embedded System Architects for the Critical Systems Domain. (2013) In: 2013 Workshop on Embedded and Cyber-Physical Systems Education, 3 October 2013 (Montreal, Canada).

Gaudel, Vincent and Plantec, Alain and Singhoff, Frank and Hugues, Jérôme and Dissaux, Pierre and Legrand, Jérôme. Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets. (2013) In: IEEE International Symposium on Rapid System Prototyping, 3 October 2013 - 4 October 2013 (Montreal, Canada).

Ouhamou, Yassine and Grolleau, Emmanuel and Hugues, Jérôme. Mapping AADL models to a repository of multiple schedulability analysis techniques. (2013) In: 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2013), 13-21 Jun 2013, Paderborn, Germany .

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme. Refinement of AADL models using early-stage analysis methods. (2013) In: The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop , 3 December 2013 - 3 December 2013 (Vancouver, Canada).

Saqui-Sannes, Pierre de and Hugues, Jérôme. Combining SysML and AADL for the design, validation and implementation of critical systems. (2012) In: ERTSS 2012 (Embedded Real Time Software and Systems), 1 February 2012 - 3 February 2012 (Toulouse, France).

Hugues, Jérôme and Siron, Pierre and Hamez, Alexandre. PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems. (2012) In: Recherche et Innovation pour les Transports du Futur (RITF'12), 12-15 Nov 2012, Paris, France .

Delange, Julien and Hugues, Jérôme and Dissaux, Pierre. Validate implementation correctness using simulation: the TASTE approach. (2012) In: ERTS2 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse .

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme. A Model-based transformation process to validate and implement high-integrity systems. (2011) In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28 March 2011 - 31 March 2011 (Newport Beach, United States).

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz. An implementation of the behavior annex in the AADL-toolset Osate2. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27 April 2011 - 29 April 2011 (Las Vegas, United States).

Hugues, Jérôme. Analytic virtual integration of cyber-physical systems & AADL: challenges, threats and opportunities. (2011) In: The Second Analytic Virtual Integration of Cyber-Physical Systems Workshop. , 29 November 2011 (Vienna, Austria).

Delange, Julien and Hugues, Jérôme. Incremental modeling and validation of space mission using AADLv2. (2011) In: SAE 2011 AeroTech Congress & Exhibition, 18 October 2011 - 21 October 2011 (Toulouse, France).

Rubini, Stéphane and Singhoff, Frank and Hugues, Jérôme. Modeling and verification of memory architectures with AADL and REAL. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27 April 2011 - 29 April 2011 (Las Vegas, United States).

Raghav, Gopal and Gopalswamy, Swaminathan and Radhakrishnan, Karthikeyan and Hugues, Jérôme and Delange, Julien. Model based code generation for distributed embedded systems. (2010) In: European Congress on Embedded Real-Time Software (ERTS 2010), 19-21 May 2010, Toulouse, France .

Conquet, Eric and Perrotin, Maxime and Dissaux, Pierre and Tsiodras, Thanassis and Hugues, Jérôme. The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. (2010) In: European Congress on Embedded Real-Time Software (ERTS 2010), 19-21 May 2010, Toulouse, France .

Delange, Julien and Hugues, Jérôme and Pautet, Laurent and De Niz, Diosisio. A MDE-based process for the design, implementation and validation of safety critical systems. (2010) In: Proceedings of the 5th UML AADL Workshop - UML AADL 2010, 24 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme. Expressing and enforcing user-defined constraints of AADL models. (2010) In: Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010), 22-26 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme. A MDE-based optimisation process for Real-Time systems. (2010) In: 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 05-06 May 2010, Valencia, Spain .

Invited Conference

Hugues, Jérôme. European space robotics control and operating system (ESROCOS). (2017) In: 12th National Conference on Software and Hardware Architectures for Robots Control, 29 June 2017 - 30 June 2017 (Toulouse, France). (Unpublished)

Other Conference

Garion, Christophe and Hugues, Jérôme. Teaching formal methods through Frama-C & SPARK. (2019) In: Frama-C & SPARK Day 2019, 3 June 2019 - 3 June 2019 (Paris, France). (Unpublished)

Brau, Guillaume and Garion, Christophe and Hugues, Jérôme. Towards the qualification of an AADL model transformation tool with contracts. (2019) In: Formalisation des Activités Concurrentes 2019 (FAC 2019), 27 March 2019 - 28 March 2019 (Toulouse, France). (Unpublished)

Garion, Christophe and Hugues, Jérôme. From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. (2017) In: Frama-C & SPARK Day 2017, 30 May 2017 (Paris, France). (Unpublished)

Hugues, Jérôme and Delange, Julien. Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL. (2016) In: Forum Méthodes Formelles - FMF6 : Méthodes formelles et Sûreté de fonctionnement, 26 January 2016 (Toulouse, France). (Unpublished)

Hugues, Jérôme and Delange, Julien. AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. (2015) In: 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 27 September 2015 - 2 October 2015 (Ottawa, Canada). (Unpublished)

Hugues, Jérôme and Delange, Julien. Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study. (2015) In: Proceedings of SAE Aerotech 2015, 22 September 2015 - 24 September 2015 (Seattle, United States).

Hugues, Jérôme and Singhoff, Frank. AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. (2014) In: 17th International Conference on Model Driven Engineering Languages and Systems (MODELS), 28 September 2014 - 30 September 2014 (Valencia, Spain). (Unpublished)

Hugues, Jérôme and Singhoff, Frank. AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. (2014) In: High-Integrity Language and Tools Conference 2014, 18 October 2014 - 21 October 2014 (Portland, United States). (Unpublished)

Hugues, Jérôme. A programming language view to model-driven engineering. (2013) In: Séminaire DTIM - ONERA, 3 June 2013 - 3 June 2013 (Toulouse, France). (Unpublished)

Hugues, Jérôme and Singhoff, Frank. AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. (2013) In: ESWeek'2013 - Embedded Systems Week, 29 September 2013 (Montréal, Canada). (Unpublished)

Hugues, Jérôme. Ingénierie Dirigée par les Modèles - Une approche pragmatique pour la génération de code. (2013) In: Séminaire ISCLP : « Méthodologies et Technologies innovantes pour les systèmes embarqués » , 5 November 2013 - 6 November 2013 (Toulouse, France). (Unpublished)

Hugues, Jérôme. Analytic virtual integration of cyber-physical systems & AADL : challenges, threats and opportunities. (2012) In: Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441), 1 November 2011 - 4 November 2011 (Dagstuhl, Germany).

Hugues, Jérôme. AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next. (2011) In: The Robotics and Embedded Systems Seminar (RESS), 19 April 2011 - 2011 (Berkeley, United States).

Hugues, Jérôme. Intergiciels pour le temps réel. (2011) In: Ecole d'été Temps Réel (ETR'11), 29 August 2011 - 2 September 2011 (Brest, France).

Hugues, Jérôme. AADL, de l'analyse à la génération de code. (2010) In: Séminaire DTIM - ONERA, 1 March 2010 (Toulouse, France).

Book Section

Hugues, Jérôme and Delange, Julien. Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL. (2017) In: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. Springer, 33-52. ISBN 978-981-10-4436-6

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme and Chaaban, Khaled. Architecture Optimization with SysML Modeling: A Case Study Using Variability. (2015) In: Model-Driven Engineering and Software Development. (Communications in Computer and information Science). Springer, 311-327. ISBN 978-3-319-27869-8

Perrotin, Maxime and Delange, Julien and Hugues, Jérôme. Concrete aerospace systems. (2011) In: Distributed Systems: Design and Algorithms. Wiley-ISTE, 191-227. ISBN 978-1-84821-250-3

Book

Grolleau, Emmanuel and Hugues, Jérôme and Yassine, Ouhammou and Henri, Bauer. Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre. (2018) (Sciences Sup). DUNOD, Paris. ISBN 9782100778423

Cottet, Francis and Grolleau, Emmanuel and Gérard, Sébastien and Hugues, Jérôme and Ouhamou, Yassine and Tucci, Sarah. Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle. (2014) (Technique et Ingénierie, Dunod/L'Usine Nouvelle). Dunod, Paris. ISBN 9782100713318

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain. Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (2013) (Electronic Engineering Series). Wiley-ISTE. ISBN 978 1 84821 500 9

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain. Modélisation et analyse de systèmes embarqués. (2013) (Collection SEE). Hermes Sciences, Paris, France. ISBN 978-2746239005

McCornick, John W. and Singhoff, Frank and Hugues, Jérôme. Building parallel, embedded, and real-time applications with Ada. (2011) Cambridge University Press, Cambridge, UK. ISBN 9780521197168