Skip to main content
SpringerLink
Log in

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

  • Conference paper
  • First Online:
Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2020)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 306))

  • 479 Accesses

Abstract

In this paper, we provide an extended exposition of a novel cloud-enabled and open collaboration platform, which intends to lower the barriers faced by businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design. In the development of Cyber-Physical Systems the usual start up challenges are exacerbated by the diversity of methods, tools, and formalisms covering computation, physical and human processes, demanding significant investments in planning, procurement and training. Our platform allows businesses to offer models, tools and other assets, and permits others to access these on a pay-per-use basis in a sandbox environment promoting collaboration and experimentation. This paper complements an associated short paper with the descriptions of the platform prototype evolution, initial experiments, and new collaboration features.

Supported by the European Commission’s Horizon 2020 Programme under Grant Agreement 872698.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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

Similar content being viewed by others

Notes

  1. 1.

    See http://www.hubcap.eu.

  2. 2.

    See http://midih.eu/.

  3. 3.

    See http://fiware.org/.

  4. 4.

    See https://www.workcraft.org/.

References

  1. Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389–408 (2013). https://doi.org/10.1007/s00366-012-0286-6

    Article  Google Scholar 

  2. Beckers, J., Heemels, M., Bukkems, B., Muller, G.: Effective industrial modeling: the example of happy flow. In: Heemels, M., Muller, G. (eds.) Boderc: Model-based Design of High-Tech Systems, Chapter 6, pp. 77–88. Embedded Systems Institute, Den Dolech 2, Eindhoven, The Netherlands, second edn., March 2007

    Google Scholar 

  3. Blochwitz, T.: Functional Mock-up Interface for Model Exchange and Co-Simulation, July 2014. https://www.fmi-standard.org/downloads

  4. Bozzano, M., et al.: Formal design and safety analysis of AIR6110 wheel brake system. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 518–535. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21690-4_36

    Chapter  Google Scholar 

  5. Cook, N.: Enterprise 2.0: How Social Software Will Change the Future of Work. Gower Publishing Limited (2008)

    Google Scholar 

  6. De Prato, G., Nepelski, D., Piroli, G., et al.: Innovation Radar: Identifying Innovations and Innovators with High Potential in ICT FP7, CIP & H2020 Projects. Science and Policy Report, Joint Research Centre (2015)

    Google Scholar 

  7. Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40–55. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30985-5_4

    Chapter  Google Scholar 

  8. Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach, 2nd edn. IEEE Press, Wiley, Hoboken (2015). https://doi.org/10.1002/9781118989166

    Book  Google Scholar 

  9. Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1–49:33 (2018)

    Google Scholar 

  10. Jomaa, N., Nowak, D., Grimaud, G., Hym, S.: Formal proof of dynamic memory isolation based on mmu. Sci. Comput. Program. 162, 76–92 (2018)

    Article  Google Scholar 

  11. Kainz, O., Jakab, F., Michalko, M., Hudák, M., Petija, R.: Enhanced approaches to automated monitoring environmental quality in non-isolated thermodynamic system. IFAC-PapersOnLine 52(27), 365–376 (2019)

    Article  Google Scholar 

  12. Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop. Vienna, Austria, April 2016

    Google Scholar 

  13. Larsen, P.G., et al.: An online MBSE collaboration platform, INSTICC. In: Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, pp. 263–270, July 2020. https://doi.org/10.5220/0009892802630270

  14. Lee, J., Bagheri, B., Kao, H.A.: Cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters 3, 18–23 (2015). https://doi.org/10.1016/j.mfglet.2014.12.001, http://www.sciencedirect.com/science/article/pii/S221384631400025X

  15. Macedo, H.D., Touili, T.: Mining malware specifications through static reachability analysis. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol. 8134, pp. 517–535. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40203-6_29

    Chapter  Google Scholar 

  16. Mansfield, M., et al.: Examples Compendium 3. Tech. rep, The INTO-CPS Project (2017)

    Google Scholar 

  17. Poliakov, I., Khomenko, V., Yakovlev, A.: Workcraft – a framework for interpreted graph models. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 333–342. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02424-5_21

    Chapter  Google Scholar 

  18. Rasmussen, M.B., Thule, C., Macedo, H.D., Larsen, P.G.: Migrating the INTO-CPS application to the cloud. In: Gamble, C., Couto, L.D. (eds.) The 17th Overture Workshop. Newcastle University Technical Report Series, pp. 47–61. CS-TR-1530, Porto, Portugal, October 2019

    Google Scholar 

  19. Redlich, T., Moritz, M., Wulfsberg, J.P.: Introduction: co-creation in the Era of bottom-up economics. In: Redlich, T., Moritz, M., Wulfsberg, J.P. (eds.) Co-Creation. MP, pp. 1–6. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-97788-1_1

    Chapter  Google Scholar 

  20. S-18 Aircraft and Sys Dev and Safety Assessment Committee: AIR 6110, Contiguous Aircraft/System Development Process Example. Standard, SAE International (2011). https://doi.org/10.4271/AIR6110

  21. Suciu, G., Istrate, C., Petrache, A., Schlachet, D., Buteau, T.: On demand secure isolation using security models for different system management platforms. In: Advanced Topics in Optoelectronics, Microelectronics, and Nanotechnologies IX, vol. 10977, p. 109770R. International Society for Optics and Photonics (2018)

    Google Scholar 

  22. Suciu, G., Necula, L., Iosu, R., Usurelu, T., Ceaparu, M.: Iot and cloud-based energy monitoring and simulation platform. In: 2019 11th International Symposium on Advanced Topics in Electrical Engineering (ATEE), pp. 1–4. IEEE (2019)

    Google Scholar 

  23. Sztipanovits, J., Bapty, T., Neema, S., Koutsoukos, X., Jackson, E.: Design Tool Chain for Cyber-physical Systems: Lessons Learned. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 81:1–81:6. DAC 2015, ACM, New York, NY, USA (2015). https://doi.org/10.1145/2744769.2747922

Download references

Acknowledgements

The work presented here is partially supported by the HUBCAP Innovation Action funded by the European Commission’s Horizon 2020 Programme under Grant Agreement 872698. We would also like to thank Nick Battle, Claudio Gomes and the anonymous reviewers for their comments on drafts of this paper.

Author information

Authors and Affiliations

  1. DIGIT, Department of Engineering, Aarhus University, Aarhus, Denmark

    Peter Gorm Larsen & Hugo Daniel Macedo

  2. School of Computing, Newcastle University, Newcastle upon Tyne, UK

    John Fitzgerald

  3. fortiss, Munich, Germany

    Holger Pfeifer

  4. Virtual Vehicle, Graz, Austria

    Martin Benedikt

  5. Fondazione Bruno Kessler, Povo, Italy

    Stefano Tonetta

  6. Engineering Ingegneria Informatica S.p.A., Rome, Italy

    Angelo Marguglio, Giuseppe Veneziano & Lorenzo Sutton

  7. Politecnico di Milano, Milan, Italy

    Sergio Gusmeroli

  8. BEIA Consult, Bucharest, Romania

    George Suciu Jr.

Authors
  1. Peter Gorm Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hugo Daniel Macedo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John Fitzgerald
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Holger Pfeifer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Martin Benedikt
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Stefano Tonetta
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Angelo Marguglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Giuseppe Veneziano
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Lorenzo Sutton
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Sergio Gusmeroli
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. George Suciu Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hugo Daniel Macedo .

Editor information

Editors and Affiliations

  1. KASIT, University of Jordan, Amman, Jordan

    Mohammad S. Obaidat

  2. School of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, ON, Canada

    Tuncer Oren

  3. University of Calabria, Rende, Cosenza, Italy

    Floriano De Rango

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Larsen, P.G. et al. (2022). HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In: Obaidat, M.S., Oren, T., Rango, F.D. (eds) Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020. Lecture Notes in Networks and Systems, vol 306. Springer, Cham. https://doi.org/10.1007/978-3-030-84811-8_5

Download citation

Publish with us

Policies and ethics

Search

Navigation