MARTE/CCSL for Modeling Cyber-Physical Systems

Chapter

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.

Keywords:

Heterogeneous models, Logical clocks, Fuel management system 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. 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_19Google Scholar
  6. 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. 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. 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. 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.2160929Google Scholar
  10. 10.
    Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. MK/OMG (2014)Google Scholar
  11. 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-yGoogle Scholar
  12. 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. 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. 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. 15.
    Lamport, L.: The parallel execution of do loops. Communications of ACM 17(2), 83–93 (1974)MATHMathSciNetCrossRefGoogle Scholar
  16. 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)CrossRefGoogle Scholar
  17. 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.25Google Scholar
  18. 18.
    Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems – A Cyber-Physical Systems Approach. LeeSeshia.org (2014), iSBN 978-0-557-70857-4Google Scholar
  19. 19.
    Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Frontiers of Computer Science 7(1), 95–108 (2013)MathSciNetCrossRefGoogle Scholar
  20. 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. 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)CrossRefGoogle Scholar
  22. 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. 23.
    Mallet, F., de Simone, R.: Correctness issues on MARTE/CCSL constraints. Science of Computer Programming (2015), DOI: 10.1016/j.scico.2015.03.001Google Scholar
  24. 24.
    OMG: UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group (January 2005), formal/05-01–02Google Scholar
  25. 25.
    OMG: UML Profile for MARTE, v1.1. Object Management Group (June 2011), formal/2011-06–02Google Scholar
  26. 26.
    OMG: UML Superstructure, v2.4.1. Object Management Group (May 2012), formal/12-05–07Google Scholar
  27. 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.24Google Scholar
  28. 28.
    Selic, B., Gerard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Elsevier (2013)Google Scholar
  29. 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.5970507Google Scholar

Copyright information

© Springer Fachmedien Wiesbaden 2015

Authors and Affiliations

  1. 1.Univ. Nice Sophia AntipolisSophia AntipolisFrance
  2. 2.INRIA Sophia Antipolis MéditerranéeSophia AntipolisFrance
  3. 3.Software Engineering InstituteEast China Normal UniversityShanghaiChina

Personalised recommendations