Skip to main content
SpringerLink
Log in

MARTE/CCSL for Modeling Cyber-Physical Systems

  • Chapter
  • First Online:
Formal Modeling and Verification of Cyber-Physical Systems

Abstract

Cyber Physical Systems (CPS) combine digital computational systems with surrounding physical processes. Computations are meant to control and monitor the physical environment, which in turn affects the computations. The intrinsic heterogeneity of CPS demands the integration of diverse models to cover the different aspects of systems. The UML proposes a great variety of models and is very commonly used in industry even though it does not prescribe a particular way of using those models together. The MARTE profile proposes a set of extensions to UML in a bid to allow for the modeling of real-time and embedded systems (RTES). Yet CPS are a wider class of systems than mere RTES. Hence a legitimate question arises as whether MARTE can be used for CPS as well. This paper illustrates some possible uses of MARTE to model CPS and uses logical clocks as a way to bring together the different models.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. André, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA (May 2009), http://hal.inria.fr/inria-00384077/

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

  3. André, C., Mallet, F., de Simone, R.: Modeling time(s). In: 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS ’07). pp. 559-573. No. 4735 in LNCS, ACM-IEEE, Springer, Nashville, TN, USA (September 2007)

    Google Scholar 

  4. Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64–83 (Jan 2003)

    Google Scholar 

  5. Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Seminar on Concurrency. Lecture Notes in Computer Science, vol. 197, pp. 389–448. Springer (1984), http://dx.doi.org/10.1007/3-540-15670-4_19

    Google Scholar 

  6. Boulanger, F., Dogui, A., Hardebolle, C., Jacquet, C., Marcadet, D., Prodan, I.: Semantic adaptation using CCSL clock constraints. ECEASST 50 (2011), http://journal.ub.tu-berlin.de/eceasst/article/view/731

  7. Combemale, B., DeAntoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.B.: Reifying concurrency for executable metamodeling. In: 6th Int. Conf. on Software Language Engineering – SLE 2013. Lecture Notes in Computer Science, vol. 8225, pp. 365–384. Springer (October 2013)

    Google Scholar 

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

    Google Scholar 

  9. Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyberphysical systems. Proceedings of the IEEE 100(1), 13–28 (2012), http://dx.doi.org/10.1109/JPROC.2011.2160929

    Google Scholar 

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

    Google Scholar 

  11. Glitia, C., DeAntoni, J., Mallet, F., Millo, J., Boulet, P., Gamatie, A.: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Design Autom. for Emb. Sys. 16(2), 137–169 (2012), http://dx.doi.org/10.1007/s10617-012-9093-y

    Google Scholar 

  12. Jimenez, J.F., Giron-Sierra, J.M., Insaurralde, C., Seminario, M.:A simulation of aircraft fuel management system. Simulation Modelling Practice and Theory 15(5), 544–564 (2007), http://www.sciencedirect.com/science/article/pii/S1569190X07000160

  13. Khecharem, A., Gomez, C., DeAntoni, J., Mallet, F., de Simone, R.: Execution of heterogeneous models for thermal analysis with a multi-view approach. In: Forum on specification and Design Languages (FDL’14) (2014)

    Google Scholar 

  14. Koch, T., Holtmann, J., DeAntoni, J.: Generating EAST-ADL event chains from scenario-based requirements specifications. In: Software Architecture – 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8627, pp. 146-153. Springer (2014)

    Google Scholar 

  15. Lamport, L.: The parallel execution of do loops. Communications of ACM 17(2), 83–93 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  16. Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (December 1998)

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  19. Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Frontiers of Computer Science 7(1), 95–108 (2013)

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

  21. Mallet, F., André, C., de Simone, R.: CCSL: specifying clock constraints with UML/Marte. Innovations in Systems and Software Engineering 4(3), 309–314 (2008)

    Article  Google Scholar 

  22. Mallet, F., Millo, J.V., de Simone, R.: Safe CCSL specifications and marked graphs. In: 11th ACM/IEEE Int. Conf. on Formal Methods and Models for Codesign. pp. 157–166. IEEE (2013)

    Google Scholar 

  23. Mallet, F., de Simone, R.: Correctness issues on MARTE/CCSL constraints. Science of Computer Programming (2015), DOI: 10.1016/j.scico.2015.03.001

    Google Scholar 

  24. OMG: UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group (January 2005), formal/05-01–02

    Google Scholar 

  25. OMG: UML Profile for MARTE, v1.1. Object Management Group (June 2011), formal/2011-06–02

    Google Scholar 

  26. OMG: UML Superstructure, v2.4.1. Object Management Group (May 2012), formal/12-05–07

    Google Scholar 

  27. Peters, J., Wille, R., Drechsler, R.: Generating SystemC implementations for clock constraints specified in UML/MARTE CCSL. In: 2014 19th International Conference on Engineering of Complex Computer Systems. pp. 116–125. IEEE (2014), http://dx.doi.org/10.1109/ICECCS.2014.24

    Google Scholar 

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

    Google Scholar 

  29. Yu, H., Talpin, J., Besnard, L., Gautier, T., Marchand, H., Guernic, P.L.: Polychronous controller synthesis from MARTE CCSL timing specifications. In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. pp. 21–30. IEEE (2011), http://dx.doi.org/10.1109/MEMCOD.2011.5970507

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Nice Sophia Antipolis, I3S UMR 7271 CNRS, 06900, Sophia Antipolis, France

    Frédéric Mallet

Authors
  1. Frédéric Mallet
    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. University of Bremen, Bremen, Germany

    Rolf Drechsler

  2. University of Bremen, Bremen, Germany

    Ulrich Kühne

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer Fachmedien Wiesbaden

About this chapter

Cite this chapter

Mallet, F. (2015). MARTE/CCSL for Modeling Cyber-Physical Systems. In: Drechsler, R., Kühne, U. (eds) Formal Modeling and Verification of Cyber-Physical Systems. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-09994-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-658-09994-7_2

  • Published:

  • Publisher Name: Springer Vieweg, Wiesbaden

  • Print ISBN: 978-3-658-09993-0

  • Online ISBN: 978-3-658-09994-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation