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.

Version 4 (modified by delange, 9 years ago) (diff)

--

Technical reports

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

Posters

Code Generation Strategies for Partitioned Systems

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

Ocarina AADL toolsuite

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

Conference and journal papers

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

Attachments (4)

Download all attachments as: .zip