L’excellence passionnément
- Accueil
- Jérôme Hugues
- Publications
Publications
Mis à jour le
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
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
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, AADLib, A Library of Reusable AADL Models. 2013, SAE Aerotech 2013 Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)
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
Delange Julien, Hugues Jérôme, Incremental modeling and validation of space mission using AADLv2. 2011, SAE 2011 AeroTech Congress & Exhibition, 2011-10-18 - 2011-10-21 (2011-10-21, Toulouse)
Incremental modeling and validation of space mission using AADLv2
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, Analytic virtual integration of cyber-physical systems & AADL : challenges, threats and opportunities. 2012
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, 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
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
Lasnier Gilles, Pautet Laurent, Hugues Jérôme, A Model-based transformation process to validate and implement high-integrity systems. 2011, 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 2011-03-28 - 2011-03-31 (2011-03-31, Newport Beach)
A Model-based transformation process to validate and implement high-integrity 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)
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)
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, From AADL Model to LNT Specification : Reliable Software Technologies – Ada-Europe 2015. 2015, Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, 2015-06-22 - 2015-06-26 (2015-06-26, Madrid)
From AADL Model to LNT Specification : Reliable Software Technologies – Ada-Europe 2015
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
Gilles Olivier, Hugues Jérôme, Expressing and enforcing user-defined constraints of AADL models. 2010, Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010)
Expressing and enforcing user-defined constraints of AADL models
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
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, An ocarina extension for AADL formal semantics generation : Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC ’18. 2018, ACM Symposium on Applied Computing (SAC’18), 2018-04-09 - 2018-04-13 (2018-04-13, Pau)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Multi Domain optimization with SysML modeling. 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation, 2015-09-08 - 2015-09-11 (2015-09-11, Luxembourg)
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
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
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
Kordon Fabrice, Hugues Jérôme, Canals Agusti, Dohet Alain, Modélisation et analyse de systèmes embarqués. 2013, Collection SEE. 978-2746239005
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
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
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
Brau Guillaume, Hugues Jérôme, Navet Nicolas, A contract-based approach to support goal-driven analysis. 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015-04-13 - 2015-04-17 (2015-04-17, Auckland)
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
Lasnier Gilles, Pautet Laurent, Hugues Jérôme, Wrage Lutz, An implementation of the behavior annex in the AADL-toolset Osate2. 2011, Sixth IEEE International workshop UML and AADL - UML&AADL’2011, 2011-04-27 - 2011-04-29 (2011-04-29, Las Vegas)
An implementation of the behavior annex in the AADL-toolset Osate2
Gilles Olivier, Hugues Jérôme, A MDE-based optimisation process for Real-Time systems. 2010, 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing
Hugues Jérôme, Siron Pierre, Hamez Alexandre, PRISE : An Integrated Platform for Research and Teaching of Critical Embedded Systems. 2012, Recherche et Innovation pour les Transports du Futur (RITF’12)
PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems
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
Garion Christophe, Hugues Jérôme, From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. 2017
From learning examples to High-Integrity Middleware, comparing ACSL and SPARK
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
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
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
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
Muñoz Arancón M., Montano G., Wirkus M., Hoeflinger K., Silveira D., Tsiogkas N., Hugues Jérôme, Bruyninckx H., Dragomir Iulia Dragomir, Muhammad A., ESROCOS : a robotic operating system for space and terrestrial applications. 2017, 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), 2017-06-20 - 2017-06-21 (2017-06-21, Scheltema)
ESROCOS: a robotic operating system for space and terrestrial applications
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, AADL, de l’analyse à la génération de code. 2010
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
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
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
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
Garion Christophe, Hugues Jérôme, Teaching formal methods through Frama-C & SPARK. 2019
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
Delange Julien, Hugues Jérôme, Pautet Laurent, De Niz Diosisio, A MDE-based process for the design, implementation and validation of safety critical systems. 2010, Proceedings of the 5th UML AADL Workshop - UML AADL 2010
A MDE-based process for the design, implementation and validation of safety critical systems
Raghav Gopal, Gopalswamy Swaminathan, Radhakrishnan Karthikeyan, Hugues Jérôme, Delange Julien, Model based code generation for distributed embedded systems. 2010, European Congress on Embedded Real-Time Software (ERTS 2010)
Model based code generation for distributed embedded systems
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