Skip to main content
SpringerLink
Log in

MADES EU FP7 Project: Model-Driven Methodology for Real Time Embedded Systems

  • Chapter
  • First Online:
Embedded and Real Time System Development: A Software Engineering Perspective

Part of the book series: Studies in Computational Intelligence ((SCI,volume 520))

Abstract

The chapter presents the EU funded FP7 MADES project that focus on real-time embedded systems development. The project proposes a high abstraction level based model-driven methodology to evolve current practices for real-time embedded systems development in avionics and surveillance industries. In MADES, an effective SysML/MARTE language subset along with a set of new tools and technologies have been developed that support high-level design specifications, verification and automatic code generation, while integrating aspects such as component based Intellectual Property (IP) re-use. In this book chapter, we first present the MADES methodology and related diagrams developed to fulfill our goals; followed by a description of the underlying tool set developed in the scope of the MADES project. Afterwards, we illustrate the MADES methodology in the context of a car collision avoidance system case study to validate our design flow.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Society of Automotive Engineers: http://www.sae.org/servlets/index.

  2. 2.

    http://www-01.ibm.com/software/rational/services/harmony/

  3. 3.

    http://www-01.ibm.com/software/awdtools/rhapsody/

  4. 4.

    http://en.wikipedia.org/wiki/Discrete_cosine_transform

  5. 5.

    Domain-Specific Language: http://en.wikipedia.org/wiki/Domain-specific_language.

References

  1. OMG: Portal of the Model Driven Engineering Community (2007), http://www.planetmde.org

  2. Object Management Group Inc.: Omg unified modeling language (OMG UML), superstructure, v2.4.1 (2011), http://www.omg.org/spec/UML/2.4.1

  3. S. Sendall, W. Kozaczynski, Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003)

    Article  Google Scholar 

  4. A. Bagnato et al., MADES: Embedded systems engineering approach in the avionics domain. First workshop on hands-on platforms and tools for model-based engineering of embedded systems (HoPES) (2010)

    Google Scholar 

  5. MADES: EU FP7 Project (2011), http://www.mades-project.org/

  6. Object Management Group Inc.: Final Adopted OMG SysML Specification (2012), http://www.omg.org/spec/SysML/1.3/

  7. OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE) (2011), http://www.omg.org/spec/MARTE/1.1/PDF

  8. OMG: Object Management Group (2012), http://www.omg.org/

  9. M. Faugere, T. Madeleine, R. Simone, S. Gerard, in MARTE: Also an UML Profile for Modeling AADL Applications. ICECCS ’07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, IEEE Computer Society (2007), pp. 359–364

    Google Scholar 

  10. H. Espinoza, An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems, PhD thesis, University of Evry, FRANCE, 2007

    Google Scholar 

  11. C. André, A. Mehmood, F. Mallet, R. Simone, Modeling SPIRIT IP-XACT in UML-MARTE. MARTE workshop on design automation and test in Europe (DATE) (2008)

    Google Scholar 

  12. A. Koudri et al., Using MARTE in the MOPCOM SoC/SoPC Co-Methodology. MARTE workshop at DATE’08 (2008)

    Google Scholar 

  13. EDIANA: ARTEMIS project (2011), http://www.artemis-ediana.eu/

  14. TOPCASED: The Open Source Toolkit for Critical Systems (2010), http://www.topcased.org/

  15. W. Mueller et al., The SATURN Approach to SysML-based HW/SW Codesign, in IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (2010)

    Google Scholar 

  16. D.D. Gajski, R. Khun, New VLSI tools. IEEE Comput. 16, 11–14 (1983)

    Article  Google Scholar 

  17. M. Mura et al., Model-based design space exploration for RTES with SysML and MARTE, in Forum on specification, verification and design languages (FDL 2008) (2008), pp. 203–208

    Google Scholar 

  18. Information Society Technologies, OMEGA: Correct Development of Real-Time Embedded Systems (2009), http://www-omega.imag.fr/

  19. L. Ober et al., Projet Omega: Un profil UML et un outil pour la modelisation et la validation de systemes temps reel. 73, 33–38 (2005)

    Google Scholar 

  20. OMG: UML Profile For Schedulability, Performance, and Time (2012), http://www.omg.org/spec/SPTP/

  21. INTERESTED: EU FP7 Project (2011), http://www.interested-ip.eu/index.html

  22. H. Espinoza et al., Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems, in ECMDA-FA’09 (Springer, 2009), pp. 98–113

    Google Scholar 

  23. D.S. Kolovos et al., Eclipse development tools for Epsilon. Eclipse Modeling Symposium on Eclipse Summit Europe (2006)

    Google Scholar 

  24. N. Matragkas et al., D4.1: Model transformation and code generation tools specification. Technical report (2010), http://www.mades-project.org/

  25. L. Baresi et al., D3.1: Domain-specific and User-centred Verification. Technical report (2010), http://www.mades-project.org/

  26. L. Baresi et al., D3.3: Formal Dynamic Semantics of the Modelling Notation. Technical report (2010), http://www.mades-project.org/

  27. Zot: The Zot bounded model/satisfiability checker (2012), http://zot.googlecode.com

  28. I. Gray, N. Audsley, Exposing non-standard architectures to embedded software using compile-time virtualisation. International conference on compilers, architecture, and synthesis for embedded systems (CASES’09) (2009)

    Google Scholar 

  29. A. Bagnato et al., D1.7: MADES Final Approach Guide. Technical report (2012), http://www.mades-project.org/

  30. I. Gray et al., Model-based Hardware Generation and Programming—The MADES Approach. 14th International Symposium on Object and Component-Oriented Real-Time Distributed Computing Workshops (2011)

    Google Scholar 

  31. Modelio: Open source UML Editor and MDE Workbench (2012), www.modelio.org

  32. Xilinx: MicroBlaze Soft Processor Core (2011), http://www.xilinx.com/tools/microblaze.htm

  33. I.R. Quadri et al., D1.6: MADES Tool Set—Final Version. Technical report (2012), http://www.mades-project.org/

  34. Softeam: Modeliosoft: Modelio Community Portal (2012), http://www.modeliosoft.com/en.html

  35. L. Baresi et al., Newblock D3.2: Models and Methods for Systems Environment. Technical report (2012), http://www.mades-project.org/

  36. OpenModelica: Open-source Modelica-based modeling and simulation environment (2012), http://www.openmodelica.org/

  37. NoMagic: Magic Draw: Architecture made simple (2012), http://www.magicdraw.com/

  38. Papyrus: Eclipse Project on an Open source UML editor (2012), http://www.eclipse.org/modeling/mdt/papyrus/

Download references

Acknowledgments

This research presented in this paper is funded by the European Community’s Seventh Framework Program (FP7/2007-2013) under grant agreement No. 248864 (MADES). The authors would like to thank all of the MADES partners for their valuable inputs and comments.

Author information

Authors and Affiliations

  1. Softeam, 21 Avenue Victor Hugo, Paris, 75016, France

    Imran R. Quadri & Andrey Sadovykh

  2. TXT e-solutions, Via Frigia 27, 20126, Milan, Italy

    Alessandra Bagnato

Authors
  1. Imran R. Quadri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandra Bagnato
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrey Sadovykh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessandra Bagnato .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, School of Engineering and Technology, Sharda University, Greater Noida, India

    Mohammad Ayoub Khan

  2. Department of Computer Sciences, Bahria University, Islamabad, Pakistan

    Saqib Saeed

  3. Faculty of Science, Helwan University, Cairo, Egypt

    Ashraf Darwish

  4. Scientific Network for Innovation and Research Excellence, Machine Intelligence Research Labs, Auburn, NY, USA

    Ajith Abraham

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Quadri, I.R., Bagnato, A., Sadovykh, A. (2014). MADES EU FP7 Project: Model-Driven Methodology for Real Time Embedded Systems. In: Khan, M., Saeed, S., Darwish, A., Abraham, A. (eds) Embedded and Real Time System Development: A Software Engineering Perspective. Studies in Computational Intelligence, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40888-5_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40888-5_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40887-8

  • Online ISBN: 978-3-642-40888-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation