Skip to main content
SpringerLink
Log in

Towards a traceability model in a MARTE-based methodology for real-time embedded systems

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

This paper addresses the traceability management in the context of Accord|UML, a MARTE-based methodology for designing distributed real-time embedded systems. Our contribution is two fold: on the one hand, we propose to include directly requirements in the modeling process; on the other hand, we identify potential traceability links that we model by using the SysML requirement profile. We also present the toolbox that supports our contribution.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. OMG. MDA guide version 1.0.1. 2003. OMG

  2. Gérard S, Terrier F, Tanguy Y (2002) Using the model paradigm for real-time systems development: ACCORD/UML. In: Proceeding of OOIS’02-MSD. 2002, Montpellier, France

  3. Lanusse A, Gérard S, Terrier F (1998) Real-time modeling with UML: the ACCORD Approach. In: Bezivin J, Muller PA (eds) Proceeding of UML98: beyond the notation, 1998, Mulhouse, France. Springer, Heidelberg, LNCS 1618

  4. Gérard S, Hieu PT (2003) Schedulability analysis of UML-based model. In: Proceeding of the SIVOES-MDA workshop. Model driven architecture in the specification. Implementation and validation of object-oriented embedded systems. UML 2003, October

  5. Lugato D et al (2004) Automated functional test case synthesis from THALES industrial requirements. RTAS 2004, May 2004, Toronto, Canada

  6. Lugato D, Bigot C, Valot Y (2002) Validation and automatic test generation on UML models: the AGATHA approach. In: Proceedings of the workshop FMICS, ENTCS 66 no. 2

  7. Mraidha C, Gérard S, Terrier F, Benzakki J (2003) A two-aspect approach for a clearer behaviour model. In: The 6th IEEE international symposium on object-oriented real-time distributed computing (ISORC’2003). May 2003. Hakodate, Hokkaido, Japan

  8. Espinoza H, Medina J, Dubois H, Gérard S, Terrier F (2006) Towards a UML-based modeling standard for schedulability analysis of real-time systems. MARTES workshop at MODELS conference, Genova, Italy

  9. OMG specification. OMG system modeling language (OMG SySMLTM) Specification. Final adopted specification ptc/06-05-04. May 2006

  10. OMG specification. A UML profile for MARTE, Beta 1. OMG adopted specification ptc/07-08-04. August 2007

  11. Albinet A, Begoc S, Boulanger J-L, Casse O, Dal I, Dubois H, Lakhal F, Louar D, Peraldi-Frati M-A, Sorel Y, Van Q-D (2008) The MeMVaTEx methodology: from requirements to models in automotive application design. 4th European Congress ERTS Embedded Real Time Software. Toulouse, France, January

  12. Mraidha C, Espinoza H, Gérard S (2008) A schedulability-aware execution framework for MARTE-based models. MARTE information day, OMG meeting, Ottawa, June

  13. Amar B, Leblanc H, Coulette B (2008) A traceability engine dedicated to model transformation for software engineering. In: Proceedings of ECMDA traceability workshop (ECMDA-TW) 2008, June 12, 2008. Berlin, Germany

  14. http://www.geensys.com

  15. http://www.telelogic.com/products/doors/

  16. SYMTA VISION home page: http://www.symtavision.com/symtas.html

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’ingénierie dirigée par les modèles pour les systèmes embarqués (LISE), CEA LIST, Boîte courrier 65, 91191, Gif Sur Yvette Cedex, France

    Hung Le Dang, Hubert Dubois & Sébastien Gérard

Authors
  1. Hung Le Dang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hubert Dubois
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sébastien Gérard
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hung Le Dang.

Additional information

This work is partly funded by the French Research Agency (ANR) in the context of the “Réseau National des Technologies Logicielles” support within both MeMVaTEx and Domino Projects.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Le Dang, H., Dubois, H. & Gérard, S. Towards a traceability model in a MARTE-based methodology for real-time embedded systems. Innovations Syst Softw Eng 4, 189–193 (2008). https://doi.org/10.1007/s11334-008-0053-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0053-4

Keywords

Search

Navigation