FR |

Publications

mercredi 14 avril 2010.

Jump to: Article | Book | Book Section | Conference or Workshop Item | Other Conference

Number of items: 23.

Article

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, 26 (6). 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

Book

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

Book Section

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

Conference or Workshop Item

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), 01-03 Feb 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-31 March 2011, Newport Beach, USA.

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-29 April 2011, Las Vegas, USA.

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 Nov 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-21 Oct 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-29 April 2011, Las Vegas, USA.

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.