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. 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.
    3. Christoph March & Ina Schieferdecker, 2021. "Technological Sovereignty as Ability, Not Autarky," CESifo Working Paper Series 9139, CESifo.
    4. 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.
    5. 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.
    6. 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.
    7. Ö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).
    8. 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.
    9. 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.
    10. 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.
    11. 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.
    12. 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.
    13. John Mugambwa Serumaga-Zake & John Andrew van der Poll, 2021. "Addressing the Impact of Fourth Industrial Revolution on South African Manufacturing Small and Medium Enterprises (SMEs)," Sustainability, MDPI, vol. 13(21), pages 1-31, October.
    14. Chi Ma & Hongquan Gui & Jialan Liu, 2023. "Self learning-empowered thermal error control method of precision machine tools based on digital twin," Journal of Intelligent Manufacturing, Springer, vol. 34(2), pages 695-717, February.
    15. Gabriele Sampagnaro, 2023. "Keyword occurrences and journal specialization," Scientometrics, Springer;Akadémiai Kiadó, vol. 128(10), pages 5629-5645, October.
    16. Fadi Shehab Shiyyab & Abdallah Bader Alzoubi & Qais Mohammad Obidat & Hashem Alshurafat, 2023. "The Impact of Artificial Intelligence Disclosure on Financial Performance," IJFS, MDPI, vol. 11(3), pages 1-25, September.
    17. Zhaoyuan He & Paul Turner, 2021. "A Systematic Review on Technologies and Industry 4.0 in the Forest Supply Chain: A Framework Identifying Challenges and Opportunities," Logistics, MDPI, vol. 5(4), pages 1-22, December.
    18. Andres Bustillo & Roberto Reis & Alisson R. Machado & Danil Yu. Pimenov, 2022. "Improving the accuracy of machine-learning models with data from machine test repetitions," Journal of Intelligent Manufacturing, Springer, vol. 33(1), pages 203-221, January.
    19. Márquez, Laura Andreina Matos & Rezende, Eva Caroline Nunes & Machado, Karine Borges & Nascimento, Emilly Layne Martins do & Castro, Joana D'arc Bardella & Nabout, João Carlos, 2023. "Trends in valuation approaches for cultural ecosystem services: A systematic literature review," Ecosystem Services, Elsevier, vol. 64(C).
    20. Wurong Fu, 2021. "Macroscopic numerical model of reinforced concrete shear walls based on material properties," Journal of Intelligent Manufacturing, Springer, vol. 32(5), pages 1401-1410, June.

    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.