IDEAS home Printed from https://ideas.repec.org/a/spr/joinma/v33y2022i6d10.1007_s10845-021-01753-8.html
   My bibliography  Save this article

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Author

Listed:
  • Farzana Zahid

    (Auckland University of Technology)

  • Awais Tanveer

    (Auckland University of Technology)

  • Matthew M. Y. Kuo

    (Auckland University of Technology)

  • Roopak Sinha

    (Auckland University of Technology)

Abstract

The requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of multi-discipline stakeholders and machines, and continuous evolution. Formal and semi-formal languages, techniques, tools and frameworks can assist by providing repeatable and rigorous structures for eliciting, specifying, analysing, verifying and maintaining requirements. Various approaches have been proposed, but a contemporary and comprehensive study providing a landscape of the state-of-the-art is currently missing. This article reports a systematic mapping study covering 93 primary studies published between 2009 and October 2020. We categorise surveyed studies by current research directions in the use of semi-formal and formal methods for Requirements Engineering phases for Industrial Cyber-Physical Systems. We also identify gaps in current research and develop a novel conceptual model capturing the relationship between available formalisms and Requirements Engineering activities. We find that extensive work has been carried out on the formal analysis and verification of safety and timings requirements. However, the use of semi-formal notations, works on key phases like requirements elicitation and management, and the adoption of industrial standards are largely missing. Moreover, we find no literature providing methods to handle privacy and trust requirements, which have become critical concerns in this area.

Suggested Citation

  • Farzana Zahid & Awais Tanveer & Matthew M. Y. Kuo & Roopak Sinha, 2022. "A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems," Journal of Intelligent Manufacturing, Springer, vol. 33(6), pages 1603-1638, August.
  • Handle: RePEc:spr:joinma:v:33:y:2022:i:6:d:10.1007_s10845-021-01753-8
    DOI: 10.1007/s10845-021-01753-8
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10845-021-01753-8
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.

    File URL: https://libkey.io/10.1007/s10845-021-01753-8?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Ercan Oztemel & Samet Gursev, 2020. "Literature review of Industry 4.0 and related technologies," Journal of Intelligent Manufacturing, Springer, vol. 31(1), pages 127-182, January.
    2. Byeongwoo Jeon & Joo-Sung Yoon & Jumyung Um & Suk-Hwan Suh, 2020. "The architecture development of Industry 4.0 compliant smart machine tool system (SMTS)," Journal of Intelligent Manufacturing, Springer, vol. 31(8), pages 1837-1859, December.
    3. Franceschini, Fiorenzo & Maisano, Domenico & Mastrogiacomo, Luca, 2016. "Empirical analysis and classification of database errors in Scopus and Web of Science," Journal of Informetrics, Elsevier, vol. 10(4), pages 933-953.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Kyu Tae Park & Jinho Yang & Sang Do Noh, 2021. "VREDI: virtual representation for a digital twin application in a work-center-level asset administration shell," Journal of Intelligent Manufacturing, Springer, vol. 32(2), pages 501-544, February.
    2. Govindan, Kannan & Kannan, Devika & Jørgensen, Thomas Ballegård & Nielsen, Tim Straarup, 2022. "Supply Chain 4.0 performance measurement: A systematic literature review, framework development, and empirical evidence," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 164(C).
    3. Tiago Afonso & Anabela C. Alves & Paula Carneiro, 2021. "Lean Thinking, Logistic and Ergonomics: Synergetic Triad to Prepare Shop Floor Work Systems to Face Pandemic Situations," International Journal of Global Business and Competitiveness, Springer, vol. 16(1), pages 62-76, December.
    4. Shuting Wang & Jie Meng & Yuanlong Xie & Liquan Jiang & Han Ding & Xinyu Shao, 2023. "Reference training system for intelligent manufacturing talent education: platform construction and curriculum development," Journal of Intelligent Manufacturing, Springer, vol. 34(3), pages 1125-1164, March.
    5. Mikhail Rogov & Céline Rozenblat, 2018. "Urban Resilience Discourse Analysis: Towards a Multi-Level Approach to Cities," Sustainability, MDPI, vol. 10(12), pages 1-21, November.
    6. Xiaoyu Zhan & Delia Mioara Popescu & Valentin Radu, 2020. "Challenges for Romanian Entrepreneurs in Managing Remote Workers," Book chapters-LUMEN Proceedings, in: Marcin Waldemar STANIEWSKI & Valentina VASILE & Adriana Grigorescu (ed.), International Conference Innovative Business Management & Global Entrepreneurship (IBMAGE 2020), edition 1, volume 14, chapter 49, pages 670-687, Editura Lumen.
    7. Christoph March & Ina Schieferdecker, 2021. "Technological Sovereignty as Ability, Not Autarky," CESifo Working Paper Series 9139, CESifo.
    8. Weishu Liu & Meiting Huang & Haifeng Wang, 2021. "Same journal but different numbers of published records indexed in Scopus and Web of Science Core Collection: causes, consequences, and solutions," Scientometrics, Springer;Akadémiai Kiadó, vol. 126(5), pages 4541-4550, May.
    9. Rui Wang & Xiangyu Guo & Shisheng Zhong & Gaolei Peng & Lin Wang, 2022. "Decision rule mining for machining method chains based on rough set theory," Journal of Intelligent Manufacturing, Springer, vol. 33(3), pages 799-807, March.
    10. Pompeu Casanovas & Louis de Koker & Mustafa Hashmi, 2022. "Law, Socio-Legal Governance, the Internet of Things, and Industry 4.0: A Middle-Out/Inside-Out Approach," J, MDPI, vol. 5(1), pages 1-28, January.
    11. Anna Kwiotkowska & Radosław Wolniak & Bożena Gajdzik & Magdalena Gębczyńska, 2022. "Configurational Paths of Leadership Competency Shortages and 4.0 Leadership Effectiveness: An fs/QCA Study," Sustainability, MDPI, vol. 14(5), pages 1-21, February.
    12. Masoud Zafarzadeh & Magnus Wiktorsson & Jannicke Baalsrud Hauge, 2021. "A Systematic Review on Technologies for Data-Driven Production Logistics: Their Role from a Holistic and Value Creation Perspective," Logistics, MDPI, vol. 5(2), pages 1-32, April.
    13. Özköse, Hakan & Güney, Gül, 2023. "The effects of industry 4.0 on productivity: A scientific mapping study," Technology in Society, Elsevier, vol. 75(C).
    14. Peerally, Jahan Ara & Santiago, Fernando & De Fuentes, Claudia & Moghavvemi, Sedigheh, 2022. "Towards a firm-level technological capability framework to endorse and actualize the Fourth Industrial Revolution in developing countries," Research Policy, Elsevier, vol. 51(10).
    15. Iñigo Flores Ituarte & Suraj Panicker & Hari P. N. Nagarajan & Eric Coatanea & David W. Rosen, 2023. "Optimisation-driven design to explore and exploit the process–structure–property–performance linkages in digital manufacturing," Journal of Intelligent Manufacturing, Springer, vol. 34(1), pages 219-241, January.
    16. Matthieu Ballandonne & Igor Cersosimo, 2021. "A note on reference publication year spectroscopy with incomplete information," Scientometrics, Springer;Akadémiai Kiadó, vol. 126(6), pages 4927-4939, June.
    17. Martin-Martin, Alberto & Orduna-Malea, Enrique & Harzing, Anne-Wil & Delgado López-Cózar, Emilio, 2017. "Can we use Google Scholar to identify highly-cited documents?," Journal of Informetrics, Elsevier, vol. 11(1), pages 152-163.
    18. Qinglan Liu & Adriana Hofmann Trevisan & Miying Yang & Janaina Mascarenhas, 2022. "A framework of digital technologies for the circular economy: Digital functions and mechanisms," Business Strategy and the Environment, Wiley Blackwell, vol. 31(5), pages 2171-2192, July.
    19. Thelwall, Mike, 2018. "Microsoft Academic automatic document searches: Accuracy for journal articles and suitability for citation analysis," Journal of Informetrics, Elsevier, vol. 12(1), pages 1-9.
    20. Liangjie Xia & Yongwan Bai & Sanjoy Ghose & Juanjuan Qin, 2022. "Differential game analysis of carbon emissions reduction and promotion in a sustainable supply chain considering social preferences," Annals of Operations Research, Springer, vol. 310(1), pages 257-292, March.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:joinma:v:33:y:2022:i:6:d:10.1007_s10845-021-01753-8. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.