wiki:Papers
close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

Conference and journal papers

[RBP15] S. Rahmoun, E. Borde and L. Pautet. Automatic selection and composition of model transformations alternatives using evolutionary algorithms. In 1st Workshop on Variability for Qualities in Software Architecture (VAQUITA'15), associated with the European Conference on Software Architecture (ECSA'15), Dubrovnik (Croatia), 2015.

[BRCPS14] E. Borde, S. Rahmoun, F. Cadoret, L. Pautet, F. Singhoff, P. Dissaux. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. In International Symposium on Rapid System Prototyping (RSP), New Delhi (India), 2014.

[JBPR14] A. Jaouen, E. Borde, L. Pautet and T. Robert. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.. In 19th International Conference on Reliable Software Technologies (Ada-Europe 2014). 23-27 June 2014, Paris, France.

[CRBPS13] F. Cadoret, T. Robert, E. Borde, L. Pautet and F. Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL. In 16th IEEE Symposium on Object/Component/Service-Oriented Real-time distributed Computing (ISORC'13), Paderborn (Germany), 2013.

[CBGP12] F. Cadoret, E. Borde, S. Gardoll, L. Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. In 17th IEEE International Conference on Engineering of Complex Computer Systems, Paris, FRANCE, july 2012.

[LWPH11] G. Lasnier, L. Wrage, L. Pautet, and J. Hugues. An Implementaton of the Behavior Annex in the AADL-toolset Osate2. In UML&AADL - 6th IEEE International Workshop UML and AADL, Las Vegas, USA, april 2011.

[LPH11] G. Lasnier, L. Pautet, and J. Hugues. A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. In ISORC - 14th IEEE International Symposium on Object/Component/Service-oriented Real-Time Distributed Computing, Newport Beach, CA, USA, march 2011.

[LRPK10b] G. Lasnier, T. Robert, L. Pautet, and F. Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. In 10th International Conference on New Technologies of Distributed Systems - NOTERE'2010, Tozeur, Tunisie, june 2010.

[LRPK10a] G. Lasnier, T. Robert, L. Pautet, and F. Kordon. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. In ISORC - IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Carmona, Spain, may 2010.

[LZPH09b] G. Lasnier, B. Zalila, L. Pautet, and J. Hugues. OCARINA: Un Environnement pour l'Analyse de Modèle AADL et la Génération Automatique d'Applications Temps Réel Réparties Embarquée. In ETR'09 - Ecole d'Eté Temps Réel - Telecom ParisTech, Paris, France, september 2009. short french version of Ada Europe 2009 paper

[LZPH09a] G. Lasnier, B. Zalila, L. Pautet, and J. Hugues. OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In Reliable Software Technologies'09 - Ada Europe, Brest, France, june 2009.

[DPK08] J. Delange, L. Pautet, and F. Kordon. Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08), pages 53-56, Barcelona, Spain, December 2008. IEEE Computer Society.

[HZPK08] J. Hugues, B. Zalila, L. Pautet, and F. Kordon. From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Transactions in Embedded Computing Systems (TECS), oct 2008.

[GH08a] O. Gilles and J. Hugues. Validating requirements at model-level. Proceedings of the 4th workshop on Model-Oriented Engineering (IDM'08), june 2008.

[GH08b] O. Gilles and J. Hugues. Applying WCET analysis at architectural level. Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), july 2008.

[ZPH08] B. Zalila, L. Pautet, and J. Hugues. Towards Automatic Middleware Generation. In 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'08), Orlando, Florida, USA, may 2008.

[HZNH08] I. Hamid, B. Zalila, E. Najm, and J. Hugues. Automatic framework generation for hard real-time applications. Innovations in Systems and Software Engineering: A NASA Journal, mar 2008.

[HPZ08] J. Hugues, L. Pautet, and B. Zalila. From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.. In Monterey Workshop 2006, volume LNCS, pages 35-52, Paris, France, jan 2008.

[DHPZ08] J. Delange, J. Hugues, L. Pautet, and B. Zalila. Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008.

[HPZ+08] J. Hugues, L. Pautet, B. Zalila, P. Dissaux, and M. Perrotin. Using AADL to build critical real-time systems:Experiments in the IST-ASSERT project. In 4th European Congress ERTS, Toulouse, Paris, jan 2008.

[HZP07] J. Hugues, B. Zalila, and L. Pautet. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP'07), Porto Allegre Brésil, jun 2007.

[ZHHP07] B. Zalila, I. Hamid, J. Hugues, and L. Pautet. Generating Distributed High Integrity Applications from their Architectural Description. In Ada-Europe 2007, Geneva, Switzerland, jun 2007.

[HZP07] J. Hugues, B. Zalila, and L. Pautet. Combining Model processing and Middleware Configuration for Building Distributed High-Integrity Systems. In 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07), Santorini Island, Greece, may 2007.

[HZNH07] I. Hamid, B. Zalila, E. Najm, and J. Hugues. A generative approach to building a framework for hard real-time applications. In 31st Annual NASA Goddard Software Engineering Workshop, pages 269-278, Baltimore, USA, mar 2007.

[Ver06] Thomas Vergnaud. Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées. PhD thesis, École nationale supérieure des télécommunications, December 2006.

[HZP06] Jerome Hugues, Bechir Zalila, and Laurent Pautet. Middleware and Tool suite for High Integrity Systems. In Proceedings of RTSS-WiP'06, pages 1 - 4, Rio de Janeiro, Brazil, Dec 2006. IEEE.

[VBH+06] Thomas Vergnaud, Khaled Barbaria, Irfan Hamid, Laurent Pautet, Sylvie Vignes, and Elie Najm. Modeling and generating tailored distribution middleware for embedded real-time systems. In Proceedings of ERTS'06, Toulouse, France, Jan 2006. SIA.

[HKPV05] Jerome Hugues, Fabrice Kordon, Laurent Pautet, and Thomas Vergnaud. A Factory To Design and Build Tailorable and Verifiable Middleware. In Proceedings of the Monterey Workshop 2005 on Networked Systems: realization of reliable systems on top of unreliable networked platforms, volume LNCS, Monterey Bay, USA, Sep 2005. Springer Verlag.

[VHPK05] Thomas Vergnaud, Jerome Hugues, Laurent Pautet, and Fabrice Kordon. Rapid Development Methodology for Customized Middleware. In Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pages 111-117, Montreal, Canada, June 2005. IEEE.

[VPK05] Thomas Vergnaud, Laurent Pautet, and Fabrice Kordon. Using the AADL to describe distributed applications from middleware to software components. In Proceedings of the 10th International Conference on Reliable Software Techologies Ada-Europe 2005 (RST'05), volume LNCS 3555, pages 67 - 78, York, UK, June 2005. Springer Verlag.

[VHPK04] Thomas Vergnaud, Jerome Hugues, Laurent Pautet, and Fabrice Kordon. PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04), volume LNCS 3063, pages 106 - 119, Palma de Mallorca, Spain, June 2004. Springer Verlag.

Technical reports

  • J. Delange, P. Feiler. Learn AADL in a pleasant way, fev 2009.

Posters

Code Generation Strategies for Partitioned Systems

J. Delange, L. Pautet, F. Kordon Code Generation Strategies for Partitioned Systems.

See larger version online

Ocarina AADL toolsuite

  1. Zalila, J. Hugues, L. Pautet Ocarina AADL toolsuite.

See larger version online

Last modified 2 years ago Last modified on 09/24/15 19:14:50

Attachments (4)

Download all attachments as: .zip