OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Hugues, Jérôme"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 62.

Article

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, vol. 9 (n ° 3-4). pp. 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, vol. 106. pp. 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 (n° 109). pp. 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 (n° 108). pp. 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, vol. 2 (n° 7). pp. 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, vol. 42 (n° 7). pp. 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). pp. 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, vol. 26 (n° 6). pp. 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 (n° 93). ISSN 1265-1397

Conference or Workshop Item

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. ( In Press: 2015) In: MODELSWARD 2015, 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. ( In Press: 2014) In: High Integrity Language Technology, HILT 2014, 18 October 2014 - 22 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 .

Other Conference

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).

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, pp. 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, pp. 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, pp. 191-227. ISBN 978-1-84821-250-3

Book

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 Wed Oct 18 00:24:33 2017 CEST.