Publications

Mis à jour le

Number of items: 80.

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

This list was generated on Thu Jun 13 19:34:16 2024 CEST.

Gabsi Wafa, Zalila Bechir, 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

A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems

Hugues Jérôme, 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

Preface to the special issue: architecture-driven semantic analysis of embedded systems

Gilles Olivier, 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

A MDE-based optimisation process for Real-Time systems: Optimizing systems at the architecture-level using the real DSL and library of transformation

Renault Xavier, 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

Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL

Mkaouar Hana, Zalila Bechir, Hugues Jérôme, 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

Towards a formal specification for an AADL behavioural subset using the LNT language

Mkaouar Hana, Zalila Bechir, Hugues Jérôme, 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

A formal approach to AADL model-based software engineering

Brau Guillaume, Hugues Jérôme, 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

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Leserf Patrick, Saqui-Sannes Pierre de, 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

Trade-off Analysis for SysML Models Using Decision Points and CSPs

Creuse Léo, Huguet Joffrey, Garion Christophe, 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

SPARK by Example: an introduction to formal verification through the standard C++ library

Hugues Jérôme, Delange Julien, AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. 2015

AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems

Hugues Jérôme, Delange Julien, Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation : A Case-Study. 2015

Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study

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

SysML Modeling For Embedded Systems Design Optimization: A Case Study

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

Bridging the high-level model to execution platform for design space exploration and implementation

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

System to Software Integrity: A Case Study

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

Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process

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

Analysis as first-class citizens – an application to Architecture Description Languages

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

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models

Hugues Jérôme, A programming language view to model-driven engineering. 2013

A programming language view to model-driven engineering

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

Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets

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

AADLib, A Library of Reusable AADL Models

Hugues Jérôme, Cardoso Janette, CESEC Chair – Training Embedded System Architects for the Critical Systems Domain. 2013, 2013 Workshop on Embedded and Cyber-Physical Systems Education, 2013-10-03

CESEC Chair – Training Embedded System Architects for the Critical Systems Domain

Hugues Jérôme, Ingénierie Dirigée par les Modèles - Une approche pragmatique pour la génération de code. 2013

Ingénierie Dirigée par les Modèles - Une approche pragmatique pour la génération de code

Hugues Jérôme, Singhoff Frank, AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. 2013

AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems

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

Mapping AADL models to a repository of multiple schedulability analysis techniques

Hugues Jérôme, Singhoff Frank, AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. 2014

AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems

Hugues Jérôme, Singhoff Frank, AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. 2014

AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems

Hugues Jérôme, Gheoghe Serban, The AADL Constraint Annex. 2013, SAE 2013 AeroTech Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)

The AADL Constraint Annex

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

Refinement of AADL models using early-stage analysis methods

Hugues Jérôme, Analytic virtual integration of cyber-physical systems & AADL : challenges, threats and opportunities. 2012

Analytic virtual integration of cyber-physical systems & AADL : challenges, threats and opportunities

Hugues Jérôme, 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

Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE

Cardoso Janette, Chaudemar Jean-Charles, Hamez Alexandre, Hugues Jérôme, 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

PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués

Kent Kenneth, 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

Editorial to the Special Issue of Rapid System Prototyping'10

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

Architecture-Driven Semantic Analysis of Embedded Systems (Eds) Dagstuhl Seminar 12272

Rivier Guillaume, Lizy-Destrez Stéphanie, 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

Enseignement de l’ingénierie système : retour sur la conception d’un senseur stellaire pour ESEO et ESMO

Grolleau Emmanuel, Hugues Jérôme, Yassine Ouhammou, Henri Bauer, Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre. 2018, Sciences Sup. 978-2-10-077842-3

Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre

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

Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL : Cyber-Physical System Design from an Architecture Analysis View

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

Architecture Optimization with SysML Modeling: A Case Study Using Variability : Model-Driven Engineering and Software Development

Cottet Francis, Grolleau Emmanuel, Gérard Sébastien, Hugues Jérôme, Ouhamou Yassine, 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. 978-2-10-071331-8

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle

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

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Perrotin Maxime, Delange Julien, Hugues Jérôme, Concrete aerospace systems : Distributed Systems : Design and Algorithms. 2011« In :» Distributed Systems : Design and Algorithms. 978-1-84821-250-3

Concrete aerospace systems : Distributed Systems: Design and Algorithms

Kordon Fabrice, Hugues Jérôme, Canals Agusti, Dohet Alain, Modélisation et analyse de systèmes embarqués. 2013, Collection SEE. 978-2746239005

Modélisation et analyse de systèmes embarqués

McCornick John W., Singhoff Frank, Hugues Jérôme, Building parallel, embedded, and real-time applications with Ada. 2011. 978-0-521-19716-8

Building parallel, embedded, and real-time applications with Ada

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

Trade-off Analysis for SysML Models Using Decision Points and CSPs

Garion Christophe, Hugues Jérôme, Teaching formal methods through Frama-C & SPARK. 2019

Teaching formal methods through Frama-C & SPARK

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

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists : Formal Methods Teaching

Brau Guillaume, Garion Christophe, Hugues Jérôme, Towards the qualification of an AADL model transformation tool with contracts.. 2019

Towards the qualification of an AADL model transformation tool with contracts.

Zhe Wang, Hugues Jérôme, Chaudemar Jean-Charles, LeSergent Thierry, An Integrated Approach to Model Based Engineering with SysML, AADL and FACE : SAE Technical Paper Series. 2018, Aerospace Systems and Technology Conference, 2018-11-06 - 2018-11-08 (2018-11-08, London)

An Integrated Approach to Model Based Engineering with SysML, AADL and FACE : SAE Technical Paper Series

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

Integrating AADL and FMI to Extend Virtual Integration Capability

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

Model-based design, analysis and synthesis for multi-core and TSP avionics targets

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

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study : Proceedings of the 25th International Conferen