Publications tagged with "Requirement engineering"

1. Merging Model-Based and Data-Driven Approaches for Resilient Systems Digital Twins Design

   Campanile, L., De Biase, M. S., De Fazio, R., Di Giovanni, M., Marulli, F., & Verde, L. (2023). Merging Model-Based and Data-Driven Approaches for Resilient Systems Digital Twins Design [Conference paper]. Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience, CSR 2023, 301–306. https://doi.org/10.1109/CSR57506.2023.10224945

   Abstract

   Nowadays, the problem of system robustness, es-pecially in critical infrastructures, is a challenging open question. Some systems provide crucial services continuously failing, threatening the availability of the provided services. By designing a robust architecture, this criticality could be overcome or limited, ensuring service continuity. The definition of a resilient system involves not only its architecture but also the methodology implemented for the calculation and analysis of some indices, quantifying system performance. This study provides an innovative architecture for Digital Twins implementation based on a hybrid methodology for improving the control system in realtime. The introduced approach brings together different techniques. In particular, the work combines the point of strengths of Model-based methods and Data-driven ones, aiming to improve system performances. © 2023 IEEE.

   DOI Publisher Details Copy BibTeX Download .bib

   {"key"=>"Campanile2023301", "type"=>"Conference paper", "bibtex"=>"@conference{Campanile2023301,\n  author = {Campanile, Lelio and De Biase, Maria Stella and De Fazio, Roberta and Di Giovanni, Michele and Marulli, Fiammetta and Verde, Laura},\n  title = {Merging Model-Based and Data-Driven Approaches for Resilient Systems Digital Twins Design},\n  year = {2023},\n  journal = {Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience, CSR 2023},\n  pages = {301 – 306},\n  doi = {10.1109/CSR57506.2023.10224945}\n}\n", "author"=>"Campanile, Lelio and De Biase, Maria Stella and De Fazio, Roberta and Di Giovanni, Michele and Marulli, Fiammetta and Verde, Laura", "author_array"=>[{"first"=>"Lelio", "last"=>"Campanile", "prefix"=>"", "suffix"=>""}, {"first"=>"Maria Stella", "last"=>"De Biase", "prefix"=>"", "suffix"=>""}, {"first"=>"Roberta", "last"=>"De Fazio", "prefix"=>"", "suffix"=>""}, {"first"=>"Michele", "last"=>"Di Giovanni", "prefix"=>"", "suffix"=>""}, {"first"=>"Fiammetta", "last"=>"Marulli", "prefix"=>"", "suffix"=>""}, {"first"=>"Laura", "last"=>"Verde", "prefix"=>"", "suffix"=>""}], "author_0_first"=>"Lelio", "author_0_last"=>"Campanile", "author_0_prefix"=>"", "author_0_suffix"=>"", "author_1_first"=>"Maria Stella", "author_1_last"=>"De Biase", "author_1_prefix"=>"", "author_1_suffix"=>"", "author_2_first"=>"Roberta", "author_2_last"=>"De Fazio", "author_2_prefix"=>"", "author_2_suffix"=>"", "author_3_first"=>"Michele", "author_3_last"=>"Di Giovanni", "author_3_prefix"=>"", "author_3_suffix"=>"", "author_4_first"=>"Fiammetta", "author_4_last"=>"Marulli", "author_4_prefix"=>"", "author_4_suffix"=>"", "author_5_first"=>"Laura", "author_5_last"=>"Verde", "author_5_prefix"=>"", "author_5_suffix"=>"", "title"=>"Merging Model-Based and Data-Driven Approaches for Resilient Systems Digital Twins Design", "year"=>"2023", "journal"=>"Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience, CSR 2023", "pages"=>"301 – 306", "doi"=>"10.1109/CSR57506.2023.10224945", "url"=>"https://www.scopus.com/inward/record.uri?eid=2-s2.0-85171753139&doi=10.1109%2fCSR57506.2023.10224945&partnerID=40&md5=35e5eb0bfbb092e953335dd83b1b5b34", "abstract"=>"Nowadays, the problem of system robustness, es-pecially in critical infrastructures, is a challenging open question. Some systems provide crucial services continuously failing, threatening the availability of the provided services. By designing a robust architecture, this criticality could be overcome or limited, ensuring service continuity. The definition of a resilient system involves not only its architecture but also the methodology implemented for the calculation and analysis of some indices, quantifying system performance. This study provides an innovative architecture for Digital Twins implementation based on a hybrid methodology for improving the control system in realtime. The introduced approach brings together different techniques. In particular, the work combines the point of strengths of Model-based methods and Data-driven ones, aiming to improve system performances.  © 2023 IEEE.", "author_keywords"=>"Digital Twins; Process Mining; Requirement Engineering; Resilience Indices", "keywords"=>"Criticality (nuclear fission); Data-driven approach; Model-based OPC; Modeling data; Process mining; Requirement engineering; Resilience index; Resilient systems; System robustness; Systems performance; Twin design; Computer architecture", "publication_stage"=>"Final", "source"=>"Scopus", "note"=>"Cited by: 3"}
       

   Details
2. On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study

   Campanile, L., Biase, M. S. de, Marrone, S., Raimondo, M., & Verde, L. (2022). On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study [Conference paper]. Smart Innovation, Systems and Technologies, 309, 561–571. https://doi.org/10.1007/978-981-19-3444-5_48

   Abstract

   A proper requirement definition phase is of a paramount importance in software engineering. It is the first and prime mean to realize efficient and reliable systems. System requirements are usually formulated and expressed in natural language, given its universality and ease of communication and writing. Unfortunately, natural language can be a source of ambiguity, complexity and omissions, which may cause system failures. Among the different approaches proposed by the software engineering community, Behavioural-Driven Development (BDD) is affirming as a valid, practical method to structure effective and non-ambiguous requirement specifications. The paper tackles with the problem of measuring requirements in BDD by assessing some traditional Natural Language Processing-related metrics with respect to a sample excerpt of requirement specification rewritten according to the BDD criteria. This preliminary assessment is made on the ERTMS-ETCS Level 3 case study whose specification, up to this date, is not managed by a standardisation body. The paper demonstrates the necessity of novel metrics able to cope with the BDD specification paradigms. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

   DOI Publisher Details Copy BibTeX Download .bib

   {"key"=>"Campanile2022561", "type"=>"Conference paper", "bibtex"=>"@article{Campanile2022561,\n  author = {Campanile, Lelio and Biase, Maria Stella de and Marrone, Stefano and Raimondo, Mariapia and Verde, Laura},\n  title = {On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study},\n  year = {2022},\n  journal = {Smart Innovation, Systems and Technologies},\n  volume = {309},\n  pages = {561 – 571},\n  doi = {10.1007/978-981-19-3444-5_48}\n}\n", "author"=>"Campanile, Lelio and Biase, Maria Stella de and Marrone, Stefano and Raimondo, Mariapia and Verde, Laura", "author_array"=>[{"first"=>"Lelio", "last"=>"Campanile", "prefix"=>"", "suffix"=>""}, {"first"=>"Maria Stella de", "last"=>"Biase", "prefix"=>"", "suffix"=>""}, {"first"=>"Stefano", "last"=>"Marrone", "prefix"=>"", "suffix"=>""}, {"first"=>"Mariapia", "last"=>"Raimondo", "prefix"=>"", "suffix"=>""}, {"first"=>"Laura", "last"=>"Verde", "prefix"=>"", "suffix"=>""}], "author_0_first"=>"Lelio", "author_0_last"=>"Campanile", "author_0_prefix"=>"", "author_0_suffix"=>"", "author_1_first"=>"Maria Stella de", "author_1_last"=>"Biase", "author_1_prefix"=>"", "author_1_suffix"=>"", "author_2_first"=>"Stefano", "author_2_last"=>"Marrone", "author_2_prefix"=>"", "author_2_suffix"=>"", "author_3_first"=>"Mariapia", "author_3_last"=>"Raimondo", "author_3_prefix"=>"", "author_3_suffix"=>"", "author_4_first"=>"Laura", "author_4_last"=>"Verde", "author_4_prefix"=>"", "author_4_suffix"=>"", "title"=>"On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study", "year"=>"2022", "journal"=>"Smart Innovation, Systems and Technologies", "volume"=>"309", "pages"=>"561 – 571", "doi"=>"10.1007/978-981-19-3444-5_48", "url"=>"https://www.scopus.com/inward/record.uri?eid=2-s2.0-85135932912&doi=10.1007%2f978-981-19-3444-5_48&partnerID=40&md5=80a14e558925d479c294b68769afa3bd", "abstract"=>"A proper requirement definition phase is of a paramount importance in software engineering. It is the first and prime mean to realize efficient and reliable systems. System requirements are usually formulated and expressed in natural language, given its universality and ease of communication and writing. Unfortunately, natural language can be a source of ambiguity, complexity and omissions, which may cause system failures. Among the different approaches proposed by the software engineering community, Behavioural-Driven Development (BDD) is affirming as a valid, practical method to structure effective and non-ambiguous requirement specifications. The paper tackles with the problem of measuring requirements in BDD by assessing some traditional Natural Language Processing-related metrics with respect to a sample excerpt of requirement specification rewritten according to the BDD criteria. This preliminary assessment is made on the ERTMS-ETCS Level 3 case study whose specification, up to this date, is not managed by a standardisation body. The paper demonstrates the necessity of novel metrics able to cope with the BDD specification paradigms. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.", "author_keywords"=>"Behavior-driven development; ERTMS/ETCS L3; Natural language processing; Requirement engineering", "keywords"=>"Boolean functions; Natural language processing systems; Requirements engineering; Software engineering; Systems engineering; Behavior-driven development; Case-studies; Definition phase; ERTMS/ETCS l3; Language processing; Natural language processing; Natural languages; Requirement definitions; Requirement engineering; Requirements specifications; Specifications", "publication_stage"=>"Final", "source"=>"Scopus", "note"=>"Cited by: 1"}
       

   Details

← Back to all publications