Skip to main content
Book cover

Cyber-Physical System Design from an Architecture Analysis Viewpoint pp 81–108Cite as

MARTE for CPS and CPSoS

Present and Future, Methodology and Tools

Abstract

Cyber-Physical Systems (CPS) combine discrete computing elements together with physical devices in uncertain environment conditions. There have been many models to capture different aspects of CPS. However, to deal with the increasing complexity of these ubiquitous systems, which invade all the part of our lives, we need an integrated framework able to capture all the different views of such complex systems in a consistent way. We also need to combine tools to analyze their expected properties and guarantee safety issues. Far from handing out a full-fledge solution, we merely explore a possible path that could bring part of the solution. We advocate for relying on uml models as a unifying framework to build a single-source modeling environment with design, exploration and analysis tools. We comment on some useful extensions of uml, including marte and sysml, and show how they can together capture different views of CPS. We also report on some recent results obtained and discuss possible evolutions in a near future.

Keywords

  • MARTE
  • Cyber-Physical Systems
  • Systems of systems
  • Model-driven methodology
  • System engineering

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-981-10-4436-6_4
  • Chapter length: 28 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-981-10-4436-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.99
Price excludes VAT (USA)
Hardcover Book
USD   109.99
Price excludes VAT (USA)
Learn about institutional subscriptions
Fig. 4.1
Fig. 4.2
Fig. 4.3
Fig. 4.4
Fig. 4.5
Fig. 4.6
Fig. 4.7
Fig. 4.8
Fig. 4.9
Fig. 4.10
Fig. 4.11
Fig. 4.12
Fig. 4.13

Notes

  1. 1.

    We use CPS or CPSoS interchangeably, while most considered systems are complex enough to be seen as an integration of systems with more or less explicit interactions.

  2. 2.

    Motes: embedded devices consisting of sensors, radios, and microprocessors.

References

  1. C. André, F. Mallet, R. de Simone, Modeling time(s), in MODELS’07: 10th International Conference on Model Driven Engineering Languages and Systems Nashville, TN, USA, September 2007, Lecture Notes in Computer Science, vol. 4735 (Springer, ACM-IEEE), pp. 559–573

    Google Scholar 

  2. C. André, J. DeAntoni, F. Mallet, R. de Simone, The Time Model of Logical Clocks Availablein the OMG MARTE Profile, Chap. 7. (Springer Science+Business Media LLC, 2010), pp. 201–227, http://hal.inria.fr/inria-00495664

  3. B. Bailey, G. Martin, A. Piziali, ESL Design and Verification: A Prescription for Electronic System Level Methodology (Morgan Kaufmann/Elsevier, San Francisco, 2007)

    Google Scholar 

  4. G. Berry, The Informatics of Time and Events. Collège de France, inaugural Lecture, March 2013

    Google Scholar 

  5. M. Bourdellès, S. Li, I. Quadri, E. Brosse, A. Sadovykh, E. Gaudin, F. Mallet, A. Goknil, D. George, J. Kreku, Fostering Analysis from Industrial Embedded Systemis Modeling, Chap. 11 (IGI-Global, Hershey, 2014), pp. 283–300

    Google Scholar 

  6. F. Boutekkouk, M. Benmohammed, S. Bilavarn, M. Auguin, UML2.0 profiles for embedded systems and systems on a chip (SOCS). J. Object Technol. 8(1), 135–157 (2009), http://dx.doi.org/10.5381/jot.2009.8.1.a1

  7. A. Burns, R. Davis, Mixed-criticality systems: a review, Technical report of Computer Science, University of York, 6th edn., August 2015

    Google Scholar 

  8. F. Castro, G. Palermo, C. Silvano, V. Zaccaria, MOST: multi-objective system tuner design space exploration for system architects, in Proceedings of the Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications Workshop, March 2011

    Google Scholar 

  9. CPSoS Working Group Members: Cyber-physical systems of systems: Research and innovation priorities book (2016), http://www.cpsos.eu/wp-content/uploads/2015/02/CPSoS-Provisional-Roadmap-Paper-for-public-consultation_web.pdf

  10. J. Deantoni, F. Mallet, Timesquare: treat your models with logical time, in TOOLS (50), vol. 7304, ed. by C.A. Furia, S. Nanz, Lecture Notes in Computer Science (Springer 2012), pp. 34–41

    Google Scholar 

  11. H. Espinoza, H. Dubois, S. Gérard, J.L.M. Pasaje, D.C. Petriu, C.M. Woodside, Annotating UML models with non-functional properties for quantitative analysis, in Workshops of MoDELS 2005 Conference. Lecture Notes in Computer Science, vol. 3844 (Springer, 2005), pp. 79–90, http://dx.doi.org/10.1007/11663430_9

  12. M. Faugère, T. Bourbeau, R. de Simone, S. Gérard, MARTE: also an UML profile for modeling AADL applications, in ICECCS (2007), pp. 359–364

    Google Scholar 

  13. S. Friedenthal, A. Moore, R. Steiner, A Practical Guide to SysML: The Systems Modeling Language (MK/OMG, Burlington, 2014)

    Google Scholar 

  14. A. Garcia, J. Medina, MARTE2MAST, http://mast.unican.es/umlmast/marte2mast/

  15. M. Gonzalez, J.J. Gutierrez, J.C. Palencia, J.M. Drake, Mast: modeling and analysis suite for real time applications, in 13th Euromicro Conference on Real-Time Systems (2001), pp. 125–134

    Google Scholar 

  16. F. Herrera, J. Medina, E. Villar, Modelling hardware/software embedded systems with uml/marte: a single-source design approach, in Handbook of Hardware/Software Codesign, Chap. 5, ed. by S. Ha, J. Teich (Springer), pp. 125–159. The address of the publisher, 1 edn. (2 2017), printed version scheduled for Feb. 2017

    Google Scholar 

  17. Intel DOCEA: Thermal Profiler website, http://www.doceapower.com/index.php?option=com_content&view=article&id=237&Itemid=145

  18. International roadmap for semiconductors. Technical report (2015), http://www.itrs2.net/

  19. KTH Royal Institute of Technology: ForSyDe website (2016), https://forsyde.ict.kth.se/trac

  20. E.A. Lee, D. Messerschmitt, Synchronous data flow (1987)

    Google Scholar 

  21. E.A. Lee, A.L. Sangiovanni-Vincentelli, A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 17(12), 1217–1229 (1998)

    CrossRef  Google Scholar 

  22. E.A. Lee, Cyber physical systems: design challenges, in 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008) (IEEE Computer Society, May 2008), pp. 363–369, http://dx.doi.org/10.1109/ISORC.2008.25

  23. E.A. Lee, S.A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach (LeeSeshia.org, 2014), ISBN 978-0-557-70857-4

    Google Scholar 

  24. M. Lemke, Mixed criticality systems, report from the workshop on mixed criticality systems, Technical report Information Society and Media Directorate-General, February 2012

    Google Scholar 

  25. F. Mallet, C. André, R. de Simone, CCSL: specifying clock constraints with UML/Marte. Innov. Syst. Softw. Eng. 4(3), 309–314 (2008)

    CrossRef  Google Scholar 

  26. F. Mallet, Logical Time @ Work for the Modeling and Analysis of Embedded Systems (LAMBERT Academic Publishing, January 2011), ISBN: 978-3-8433-9388-1

    Google Scholar 

  27. F. Mallet, R. de Simone, Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. (2015). doi:10.1016/j.scico.2015.03.001

  28. S.H.A. Niaki, I. Sander, An automated parallel simulation flow for heterogeneous embedded systems, in Proceedings of the Conference on Design, Automation and Test in Europe (DATE’2013), EDA Consortium, San Jose, CA, USA (2013), http://dl.acm.org/citation.cfm?id=2485288.2485297, pp. 27–30

  29. OFFIS: CONTREX FP7 project website (2015), https://contrex.offis.de/home/

  30. OMG: UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group, January 2005. Accessed 02 Jan 2005

    Google Scholar 

  31. OMG: Systems Modeling Language (SysML) Specification, v1.1. Object Management Group, November 2008. Accessed 02 Nov 2008

    Google Scholar 

  32. OMG: UML Profile for MARTE, v1.1. Object Management Group, June 2011. Accessed 02 June 2011

    Google Scholar 

  33. OMG: UML Superstructure, v2.4.1. Object Management Group, May 2012. Accessed 07 May 2012

    Google Scholar 

  34. B. Selic, S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE (Elsevier, Amsterdam, 2013)

    Google Scholar 

  35. C. Silvano, W. Fornaciari, G. Palermo, V. Zaccaria, F. Castro, M. Martinez, S. Bocchio, R. Zafalon, P. Avasare, G. Vanmeerbeeck et al., Multicube: multi-objective design space exploration of multi-core architectures. in VLSI 2010 Annual Symposium (Springer 2011), pp. 47–63

    Google Scholar 

  36. B.N, Taylor, A. Thompson, International System of Units, v1.1. National Institute of Standards and Technology, March 2008

    Google Scholar 

  37. University of Cantabria. TEISA Department GESE group: essyn website (2016), http://www.eSSYN.com

  38. University of Cantabria. TEISA Department GESE group: UC single-source modelling and design website (2016), https://umlmarte.teisa.unican.es

  39. University of Cantabria. TEISA Department. GESE group: Vippe website (2016), https://vippe.teisa.unican.es

  40. V. Zaccaria, G. Palermo, F. Castro, C. Silvano, G. Mariani, Multicube explorer: an open source framework for design space exploration of chip multi-processors. in Proceedings of the Interenational Conference on Architecture of Computing Systems (ARCS), Febraury 2010, pp. 1–7

    Google Scholar 

Download references

Acknowledgements

This chapter has been partially funded by the European FP7 611146 (CONTREX) project and by the Spanish TEC 2014-58036-C4-3-R (REBECCA) project. UC thanks the OFFIS team in CONTREX their support, documentation and material on their quadcopter implementation, which includes the quadcopter picture integrated in Fig. 4.4.

Author information

Authors and Affiliations

  1. Université Côte d’Azur, CNRS, Inria, I3S, 06900, Sophia Antipolis, France

    Frédéric Mallet

  2. TEISA, GESE, Universidad de Cantabria, Av. Castros sn, 39011, Santander, Spain

    Eugenio Villar & Fernando Herrera

Authors
  1. Frédéric Mallet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eugenio Villar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fernando Herrera
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Frédéric Mallet .

Editor information

Editors and Affiliations

  1. National Institute of Informatics, Tokyo, Japan

    Shin Nakajima

  2. Inria, Rennes, France

    Jean-Pierre Talpin

  3. DENSO Corporation, Kariya, Aichi, Japan

    Masumi Toyoshima

  4. Boeing Research & Technology, Huntsville, Alabama, USA

    Huafeng Yu

Rights and permissions

Reprints and Permissions

Copyright information

© 2017 Springer Nature Singapore Pte Ltd.

About this chapter

Cite this chapter

Mallet, F., Villar, E., Herrera, F. (2017). MARTE for CPS and CPSoS. In: Nakajima, S., Talpin, JP., Toyoshima, M., Yu, H. (eds) Cyber-Physical System Design from an Architecture Analysis Viewpoint. Springer, Singapore. https://doi.org/10.1007/978-981-10-4436-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-4436-6_4

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-4435-9

  • Online ISBN: 978-981-10-4436-6

  • eBook Packages: Computer ScienceComputer Science (R0)