{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T10:40:20Z","timestamp":1742812820041,"version":"3.40.2"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T00:00:00Z","timestamp":1742774400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T00:00:00Z","timestamp":1742774400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001858","name":"VINNOVA","doi-asserted-by":"publisher","award":["957212"],"award-info":[{"award-number":["957212"]}],"id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011914","name":"M\u00e4lardalen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100011914","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Regulatory standards for engineering safety-critical systems often demand both traceable requirements and specification-based testing, during development. Requirements are often written in natural language, yet for specification purposes, this may be supplemented by formal or semi-formal descriptions, to increase clarity. However, the choice of notation of the latter is often constrained by the designers\u2019 training, skills, and preferences. The Easy Approach to Requirements Syntax (EARS) addresses the inherent imprecision of natural language requirements concerning potential ambiguity and lack of accuracy. This paper investigates requirements specification using EARS, and specification-based testing of embedded software written in the IEC 61131-3 language, a programming standard for developing programmable logic controllers (PLC). Further, we study, utilizing an experiment, how human participants translate natural language requirements into EARS and how they use the latter to test PLC software. We report our observations during the experiments, including the type of EARS patterns that participants use to structure natural language requirements and challenges during the specification phase, and present the results of testing based on EARS-formalized requirements in real-world industrial settings.<\/jats:p>","DOI":"10.1007\/s42979-025-03843-3","type":"journal-article","created":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T10:02:34Z","timestamp":1742810554000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6992-9200","authenticated-orcid":false,"given":"Mikael Ebrahimi","family":"Salari","sequence":"first","affiliation":[]},{"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[]},{"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,3,24]]},"reference":[{"key":"3843_CR1","unstructured":"Schwartz MD, Mulder J, Trent J, Atkins WD. control system devices: architectures and supply channels overview. In: Sandia Report SAND2010-5183. Sandia National Laboratories, Albuquerque, NM, 2010."},{"key":"3843_CR2","unstructured":"CENELEC: 50128: railway application\u2013communications, signaling and processing systems-software for railway control and protection systems. In: Standard Report, 2001."},{"issue":"3","key":"3843_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/s10009-014-0355-9","volume":"18","author":"EP Enoiu","year":"2014","unstructured":"Enoiu EP, \u010cau\u0161evi\u0107 A, Ostrand TJ, Weyuker EJ, Sundmark D, Pettersson P. Automated test generation using model checking: an industrial evaluation. Int J Softw Tools Technol Transf. 2014;18(3):335\u201353.","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"10","key":"3843_CR4","first-page":"1100","volume":"56","author":"Y-C Wu","year":"2014","unstructured":"Wu Y-C, Fan C-F. Automatic test case generation for structural testing of function block diagrams. Inf Softw Technol. 2014;56(10):1100\u201312.","journal-title":"Inf Softw Technol"},{"issue":"7","key":"3843_CR5","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1016\/j.infsof.2009.01.003","volume":"51","author":"E-S Jee","year":"2009","unstructured":"Jee E-S, Yoo J-Y, Cha S-D, Bae D-H. A data flow-based structural testing technique for FBD programs. Inf Softw Technol. 2009;51(7):1131\u20139.","journal-title":"Inf Softw Technol"},{"key":"3843_CR6","doi-asserted-by":"crossref","unstructured":"Doganay K, Bohlin M, Sellin O. Search based testing of embedded systems implemented in IEC 61131-3: an industrial case study. in: international conference on software testing. Verification and Validation Workshops. Luxembourg: IEEE; 2013. p. 425\u201332.","DOI":"10.1109\/ICSTW.2013.78"},{"issue":"5","key":"3843_CR7","doi-asserted-by":"crossref","first-page":"1354","DOI":"10.1016\/j.jss.2012.12.051","volume":"86","author":"V Garousi","year":"2013","unstructured":"Garousi V, Zhi J. A survey of software testing practices in Canada. J Syst Softw. 2013;86(5):1354\u201376.","journal-title":"J Syst Softw"},{"key":"3843_CR8","doi-asserted-by":"crossref","unstructured":"Mavin A, Wilkinson P, Harwood A, Novak M. Easy Approach to requirements syntax (EARS). In: 2009 17th IEEE International Requirements Engineering Conference. IEEE; 2009. p. 317\u201322.","DOI":"10.1109\/RE.2009.9"},{"key":"3843_CR9","doi-asserted-by":"crossref","unstructured":"Salari ME, Enoiu EP, Afzal W, Seceleanu C. An experiment in requirements engineering and testing using EARS notation for PLC systems. In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE; 2023. p. 10\u20137.","DOI":"10.1109\/ICSTW58534.2023.00016"},{"key":"3843_CR10","doi-asserted-by":"crossref","unstructured":"Auslander DM, Pawlowski C, Ridgely J. Reconciling programmable logic controllers (PLCs) with mechatronics control software. In: Proceeding of the 1996 IEEE International Conference on Control Applications. IEEE; 1996. p. 415\u201320.","DOI":"10.1109\/CCA.1996.558834"},{"key":"3843_CR11","volume-title":"IEC 61131-3: programming industrial automation systems","author":"M Tiegelkamp","year":"2010","unstructured":"Tiegelkamp M, John K-H. IEC 61131-3: programming industrial automation systems, vol. 166. Berlin, Heidelberg: Springer; 2010."},{"key":"3843_CR12","doi-asserted-by":"crossref","DOI":"10.1002\/9781118949214","volume-title":"Programmable logic controllers: a practical approach to IEC 61131-3 using CODESYS","author":"DH Hanssen","year":"2015","unstructured":"Hanssen DH. Programmable logic controllers: a practical approach to IEC 61131-3 using CODESYS. Chichester: Wiley; 2015."},{"key":"3843_CR13","volume-title":"Thematic analysis","author":"V Braun","year":"2012","unstructured":"Braun V, Clarke V. Thematic analysis. Washington, DC: American Psychological Association; 2012."},{"key":"3843_CR14","doi-asserted-by":"crossref","unstructured":"Daniel F, Enoiu E, Azal W, Sundmark D, Gustafsson T, Kobetski A. From natural language requirements to passive test cases using guarded assertions. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE; 2018. p. 470\u201381.","DOI":"10.1109\/QRS.2018.00060"},{"issue":"5","key":"3843_CR15","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MS.2019.2921164","volume":"36","author":"A Mavin","year":"2019","unstructured":"Mavin A, Wilkinson P. Ten years of EARS. IEEE Softw. 2019;36(5):10\u20134.","journal-title":"IEEE Softw"},{"key":"3843_CR16","doi-asserted-by":"crossref","unstructured":"Mavin A, Wilkinson P, Gregory S, Uusitalo E. Listens learned (8 lessons learned applying EARS). In: 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE; 2016. p. 276\u201382.","DOI":"10.1109\/RE.2016.38"},{"key":"3843_CR17","doi-asserted-by":"crossref","unstructured":"M\u00e4ntyl\u00e4 MV, Petersen K, Lehtinen TO, Lassenius C. Time pressure: a controlled experiment of test case development and requirements review. In: Proceedings of the 36th International Conference on Software Engineering, p. 83\u201394, 2014.","DOI":"10.1145\/2568225.2568245"},{"key":"3843_CR18","doi-asserted-by":"crossref","unstructured":"Dalpiaz F, Sturm A. Conceptualizing requirements using user stories and use cases: a controlled experiment. In: International Working Conference on Requirements Engineering: Foundation for Software Quality. Springer; 2020. p. 221\u201338.","DOI":"10.1007\/978-3-030-44429-7_16"},{"key":"3843_CR19","doi-asserted-by":"crossref","unstructured":"Weninger M, Gr\u00fcnbacher P, Zhang H, Yue T, Ali S. Tool support for restricted use case specification: findings from a controlled experiment. In: 2018 25th Asia-Pacific Software Engineering Conference (APSEC). IEEE; 2018. p. 21\u201330.","DOI":"10.1109\/APSEC.2018.00016"},{"key":"3843_CR20","doi-asserted-by":"crossref","unstructured":"L\u00facio L, Rahman S, Cheng C-H, Mavin A. Just formal enough? Automated analysis of EARS requirements. In: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16\u201318, 2017, Proceedings 9. Springer; 2017. p. 427\u201334.","DOI":"10.1007\/978-3-319-57288-8_31"},{"key":"3843_CR21","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s00766-011-0144-x","volume":"17","author":"E Sikora","year":"2012","unstructured":"Sikora E, Tenbergen B, Pohl K. Industry needs and research directions in requirements engineering for embedded systems. Requir Eng. 2012;17:57\u201378.","journal-title":"Requir Eng"},{"key":"3843_CR22","doi-asserted-by":"crossref","first-page":"8697","DOI":"10.1109\/ACCESS.2019.2963774","volume":"8","author":"D Iqbal","year":"2020","unstructured":"Iqbal D, Abbas A, Ali M, Khan MUS, Nawaz R. Requirement validation for embedded systems in automotive industry through modeling. IEEE Access. 2020;8:8697\u2013719.","journal-title":"IEEE Access"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03843-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-025-03843-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03843-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T10:03:05Z","timestamp":1742810585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-025-03843-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,24]]},"references-count":22,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2025,4]]}},"alternative-id":["3843"],"URL":"https:\/\/doi.org\/10.1007\/s42979-025-03843-3","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,24]]},"assertion":[{"value":"21 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Research involving human and\/or animals"}},{"value":"Informed consent was obtained from all individual participants included in the study.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}],"article-number":"314"}}