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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
André, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA (May 2009), http://hal.inria.fr/inria-00384077/
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
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)
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)
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
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
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)
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)
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
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. MK/OMG (2014)
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
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
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)
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)
Lamport, L.: The parallel execution of do loops. Communications of ACM 17(2), 83–93 (1974)
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)
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
Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems – A Cyber-Physical Systems Approach. LeeSeshia.org (2014), iSBN 978-0-557-70857-4
Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Frontiers of Computer Science 7(1), 95–108 (2013)
Mallet, F.: Logical Time @ Work for the Modeling and Analysis of Embedded Systems. LAMBERT Academic Publishing (January 2011), iSBN: 978-3-8433-9388-1.
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)
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)
Mallet, F., de Simone, R.: Correctness issues on MARTE/CCSL constraints. Science of Computer Programming (2015), DOI: 10.1016/j.scico.2015.03.001
OMG: UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group (January 2005), formal/05-01–02
OMG: UML Profile for MARTE, v1.1. Object Management Group (June 2011), formal/2011-06–02
OMG: UML Superstructure, v2.4.1. Object Management Group (May 2012), formal/12-05–07
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
Selic, B., Gerard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Elsevier (2013)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)