Skip to main content

MARTE for CPS and CPSoS

Present and Future, Methodology and Tools

  • Chapter
  • First Online:
Cyber-Physical System Design from an Architecture Analysis Viewpoint

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.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
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

Similar content being viewed by others

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)

    Article  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)

    Article  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

Authors

Corresponding author

Correspondence to Frédéric Mallet .

Editor information

Editors and Affiliations

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)

Publish with us

Policies and ethics