Skip to main content
SpringerLink
Log in

A Bond-Graph Metamodel:

Physics-Based Interconnection of Software Components

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12018))

Included in the following conference series:

Abstract

Composability and modularity in relation to physics are useful properties in the development of cyber-physical systems that interact with their environment. The bond-graph modeling language offers these properties. When systems structures conform to the bond-graph notation, all interfaces are defined as physical “power ports” which are guaranteed to exchange power. Having a single type of interface is a key feature when aiming for modular, composable systems. Furthermore, the facility to monitor energy flows in the system through power ports allows the definition of system-wide properties based on component properties. In this paper we present a metamodel of the bond-graph language aimed to facilitate the description and deployment of software components for cyber-physical systems. This effort provides a formalized description of standardized interfaces that enable physics-conformal interconnections. We present a use-case showing that the metamodel enables composability, reusability, extensibility, replaceability and independence of control software components.

This research has received funding from the RobMoSys project (EU project No. 732410) under the subproject EG-IPC. https://robmosys.eu/eg-ipc/.

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 EPUB and 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

Notes

  1. 1.

    Available Simulink library for bond-graph: https://nl.mathworks.com/matlabcentral/fileexchange/11092-bond-graph-add-on-block-library-bg-v-2-1.

  2. 2.

    More details about 20-Sim: https://www.20sim.com/ .

  3. 3.

    Also known as the first law of thermodynamics.

  4. 4.

    See the Appendix for more details about the symbols used in the formal definitions.

  5. 5.

    Depending on the model, the JunctionStructure could be either a 1-junction or a 0-junction as they denote different Diract structures.

References

  1. Automated modelling. In: Borutzky, W. (ed.) Bond Graph Methodology: Development and Analysis of Multidisciplinary Dynamic System Models, pp. 469–560. Springer, London (2010). https://doi.org/10.1007/978-1-84882-882-7_11

  2. Antic, D., Vidojkovic, B.: Obtaining system block diagrams based on bond graph models and application of bondsim tools. Int. J. Model. Simul. 21(4), 257–262 (2001). https://doi.org/10.1080/02286203.2001.11442210

    Article  Google Scholar 

  3. Bhave, A.Y., Garlan, D., Krogh, B., Rajhans, A., Schmerl, B.: Augmenting software architectures with physical components. In: Embedded Real Time Software and Systems Conference (2010)

    Google Scholar 

  4. Breedveld, P.C.: Multibond graph elements in physical systems theory. J. Franklin Inst. 319(1), 1–36 (1985). https://doi.org/10.1016/0016-0032(85)90062-6

    Article  MathSciNet  Google Scholar 

  5. Breedveld, P.: Integrated modeling of physical systems - dynamic systems, vol. 1. University of Twente, Enschede, The Netherlands (2014)

    Google Scholar 

  6. Breedveld, P.C.: Physical Systems Theory in Terms of Bond Graphs. Twente University of Technology, Department of Electrical Engineering, Enschede (1984). oCLC: 852801415

    Google Scholar 

  7. Breunese, A.P.J., Broenink, J.F.: Modeling mechatronic systems using the SIDOPS+ language. Simul. Ser. 29(1), 301 (1997). oCLC: 106228295

    Google Scholar 

  8. Brodskiy, Y.: Robust autonomy for interactive robots (2014). https://doi.org/10.3990/1.9789036536202

  9. Broenink, J.: Introduction to physical systems modelling with bond graphs (1999)

    Google Scholar 

  10. Broenink, J.F.: 20-sim software for hierarchical bond-graph/block-diagram models. Simul. Pract. Theory 7(5), 481–492 (1999). https://doi.org/10.1016/S0928-4869(99)00018-X

    Article  Google Scholar 

  11. Broenink, J.F.: Computer-aided physical-systems modeling and simulation: a bond graph approach, March 1990

    Google Scholar 

  12. Broenink, J.F.: Object-oriented modeling with bond graphs and Modelica. In: Proceedings of the 1999 International Conference on Bond Graph Modeling and Simulation, pp. 163–168, February 1999

    Google Scholar 

  13. Brown, F.T.: Engineering System Dynamics: A Unified Graph-Centered Approach, 2nd edn. CRC Press (2006). https://doi.org/10.1201/b18080

  14. Bruyninckx, H., Scioni, E., Hubel, N., Reniers, F.: Composable control stacks in component-based cyber-physical system platforms, April 2018

    Google Scholar 

  15. de la Calle, A., Cellier, F.E., Yebra, L.J., Dormido, S.: Improvements in BondLib, the Modelica bond graph library. In: 2013 8th EUROSIM Congress on Modelling and Simulation, pp. 282–287, September 2013. https://doi.org/10.1109/EUROSIM.2013.58

  16. Cao, Y., Liu, Y., Fan, H., Fan, B.: SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics. Comput. Aided Des. 45(3), 764–776 (2013). https://doi.org/10.1016/j.cad.2012.05.001

    Article  Google Scholar 

  17. Cellier, F.E., Nebot, À.: The Modelica Bond Graph Library, p. 10 (2005)

    Google Scholar 

  18. Chen, R., Liu, Y., Cao, Y., Zhao, J., Yuan, L., Fan, H.: ArchME: a systems modeling language extension for mechatronic system architecture modeling. AI EDAM 32(1), 75–91 (2018). https://doi.org/10.1017/S0890060417000245

    Article  Google Scholar 

  19. Garlan, D., Monroe, R.T., Wile, D.: ACME: architectural description of component-based systems. In: Foundations of Component-Based Systems, pp. 47–68. Cambridge University Press (2000)

    Google Scholar 

  20. Garrido, J.M.: Object orientation. In: Garrido, J.M. (ed.) Object Oriented Simulation, pp. 51–58. Springer, Boston (2009). https://doi.org/10.1007/978-1-4419-0516-1_5

  21. Gawthrop, P.J., Bevan, G.P.: Bond-graph modeling. IEEE Control Syst. 27(2), 24–45 (2007). https://doi.org/10.1109/MCS.2007.338279

    Article  MathSciNet  MATH  Google Scholar 

  22. Geitner, G.: Power flow diagrams using a bond graph library under simulink. In: IECON 2006–32nd Annual Conference on IEEE Industrial Electronics, pp. 5282–5288, November 2006. https://doi.org/10.1109/IECON.2006.347232

  23. Golo, G., van der Schaft, A., Breedveld, P.C., Maschke, B.M.: Hamiltonian formulation of bond graphs. In: Johansson, R., Rantzer, A. (eds.) Nonlinear and Hybrid Systems in Automotive Control, pp. 351–372. Springer, London (2003)

    Google Scholar 

  24. Karnopp, D., Rosenberg, R.C.: Analysis and Simulation of Multiport Systems: The Bond Graph Approach to Physical System Dynamics. MIT Press, Cambridge (1968)

    Google Scholar 

  25. Krötzsch, M., Simancik, F., Horrocks, I.: Description logics. IEEE Intell. Syst. 29(1), 12–19 (2014). https://doi.org/10.1109/MIS.2013.123

    Article  MATH  Google Scholar 

  26. Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363–369, May 2008. https://doi.org/10.1109/ISORC.2008.25

  27. Mersha, A.Y.: On autonomous and teleoperated aerial service robots (2014). https://doi.org/10.3990/1.9789036536585

  28. Novák, P., Šindelář, R.: Component-based design of simulation models utilizing bond-graph theory. IFAC Proc. Vol. 47(3), 9229–9234 (2014). https://doi.org/10.3182/20140824-6-ZA-1003.01167

    Article  Google Scholar 

  29. Paynter, H.M., Briggs, P.: Analysis and Design of Engineering Systems: Class Notes for M.I.T. Course 2.751. MIT Press, Cambridge (1961). Massachusetts Institute of Technology

    Google Scholar 

  30. Rijgersberg, H., van Assem, M., Top, J.: Ontology of units of measure and related concepts. Semant. Web 4(1), 3–13 (2013). https://doi.org/10.3233/SW-2012-0069

    Article  Google Scholar 

  31. Sampath Kumar, V.R., Shanmugavel, M., Ganapathy, V., Shirinzadeh, B.: Unified meta-modeling framework using bond graph grammars for conceptual modeling. Robot. Auton. Syst. 72, 114–130 (2015). https://doi.org/10.1016/j.robot.2015.05.003

    Article  Google Scholar 

  32. van der Schaft, A., Cervera, J.: Composition of Dirac structures and control of Port-Hamiltonian systems. In: Proceedings of the 15th International Symposium on the Mathematical Theory of Networks and Systems. University of Notre Dame (2002)

    Google Scholar 

  33. Scioni, E., et al.: Hierarchical hypergraphs for knowledge-centric robot systems. In: A Composable Structural Meta Model and its Domain Specific Language NPC4 (2016). https://doi.org/10.6092/JOSER_2016_07_01_p55

  34. Secchi, C., Bonfe, M., Fantuzzi, C.: On the use of UML for modeling mechatronic systems. IEEE Trans. Autom. Sci. Eng. 4(1), 105–113 (2007). https://doi.org/10.1109/TASE.2006.879686

    Article  Google Scholar 

  35. Sen, S., Vangheluwe, H.: Multi-domain physical system modeling and control based on meta-modeling and graph rewriting. In: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control. pp. 69–75, October 2006. https://doi.org/10.1109/CACSD-CCA-ISIC.2006.4776626

  36. Song, I.Y., Froehlich, K.: Entity-relationship modeling. IEEE Potentials 13(5), 29–34 (1995). https://doi.org/10.1109/45.464652

    Article  Google Scholar 

  37. Stramigioli, S.: Intrinsically passive control using sampled data system passivity. In: Multi-point Interaction with Real and Virtual Objects, pp. 215–229, July 2005. https://doi.org/10.1007/11429555_14

  38. Stramigioli, Stefano: Energy-aware robotics. In: Camlibel, M.Kanat, Julius, A.Agung, Pasumarthy, Ramkrishna, Scherpen, Jacquelien M.A. (eds.) Mathematical Control Theory I. LNCIS, vol. 461, pp. 37–50. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-20988-3_3

    Chapter  Google Scholar 

  39. Turki, S., Soriano, T.: A SysML extension for Bond Graphs support (2005)

    Google Scholar 

  40. van der Schaft, A., Jeltsema, D.: Port-Hamiltonian systems theory: an introductory overview. Found. Trends® Syst. Control 1(2), 173–378 (2014). https://doi.org/10.1561/2600000002

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Robotics and Mechatronics Group, University of Twente, Enschede, The Netherlands

    Reynaldo Cobos Méndez, Douwe Dresscher & Jan Broenink

  2. TNO, The Hague, The Netherlands

    Julio de Oliveira Filho

Authors
  1. Reynaldo Cobos Méndez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julio de Oliveira Filho
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Douwe Dresscher
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jan Broenink
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Reynaldo Cobos Méndez , Julio de Oliveira Filho , Douwe Dresscher or Jan Broenink .

Editor information

Editors and Affiliations

  1. CWI, University of Leiden, Leiden, The Netherlands

    Farhad Arbab

  2. Open University of the Netherlands, Heerlen, The Netherlands

    Sung-Shik Jongmans

Appendix

Appendix

See Table 7.

Table 7. Symbols used in DL definitions
Full size table

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cobos Méndez, R., de Oliveira Filho, J., Dresscher, D., Broenink, J. (2020). A Bond-Graph Metamodel:. In: Arbab, F., Jongmans, SS. (eds) Formal Aspects of Component Software. FACS 2019. Lecture Notes in Computer Science(), vol 12018. Springer, Cham. https://doi.org/10.1007/978-3-030-40914-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-40914-2_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-40913-5

  • Online ISBN: 978-3-030-40914-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation