Ajou University repository

Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation
Citations

SCOPUS

0

Citation Export

DC Field Value Language
dc.contributor.authorShin, Youngsul-
dc.contributor.authorLee, Seok Won-
dc.contributor.authorChoi, Yunja-
dc.date.issued2024-01-01-
dc.identifier.urihttps://aurora.ajou.ac.kr/handle/2018.oak/37142-
dc.identifier.urihttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85202736863&origin=inward-
dc.description.abstractMany industrial systems that are developed without proper engineering guidance due to a lack of expertise or resources suffer from failures and maintenance problems in their evolving lifecycle. For mission-critical systems, in particular, ensuring high quality of non-functional requirements in a rapidly changing domain environment is of the utmost importance. In this paper, we report our case study with an industry system, a sensor-based earthquake warning system that was developed without a rigorous engineering process. Therefore, no requirements documents are available for future maintenance and verification. In this study, we used various types of software analysis methods such as stakeholder interviews, document reviews, source code analysis, model checking, and software testing for discovering requirements and also for verification purposes. We used a goal modeling approach to gather a set of initial requirements as though they had been elicited using an appropriate requirements engineering method in the early stage of the development process. Furthermore, software testing and model checking were iteratively used to verify and clarify unknown-source, uncertain, and unconfirmed requirements during the revision of the goal model. This study also provides an architectural improvement of the system through the discovery of requirements conflicts and violations. The experience and findings of this study, which demonstrate the effectiveness of applying diverse software engineering techniques in maintenance, can contribute to the analysis and evolution of systems developed without a proper engineering process, by discovering and verifying some critical requirements specifications.-
dc.description.sponsorshipWe thank Young-Woo Kwon and Jangsoo Lee at KNU for helping us understand the EWS. This work would not have been possible without their insights as developers. The work of Yunja Choi and Youngsul Shin was supported by a National Research Foundation of Korea (NRF) grant funded by the Korean government (MSIT) (NRF- 2021R1A5A1021944). Seok-Won Lee's work was supported by the Institute of Information & Communications Technology Planning & Evaluation (IITP) under the Artificial Intelligence Convergence Innovation Human Resources Development (IITP-2024-RS-2023-00255968) grant funded by the Korean government(MSIT).-
dc.language.isoeng-
dc.publisherIEEE Computer Society-
dc.subject.meshEngineering process-
dc.subject.meshFailure problems-
dc.subject.meshGoal models-
dc.subject.meshIndustrial systems-
dc.subject.meshMaintenance and evolution-
dc.subject.meshModels checking-
dc.subject.meshNon-functional requirements-
dc.subject.meshRequirement verifications-
dc.subject.meshRequirements discovery-
dc.subject.meshSoftware testings-
dc.titleNon-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation-
dc.typeConference-
dc.citation.conferenceDate2024.6.24. ~ 2024.6.28.-
dc.citation.conferenceName32nd IEEE International Requirements Engineering Conference, RE 2024-
dc.citation.editionProceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024-
dc.citation.endPage286-
dc.citation.startPage275-
dc.citation.titleProceedings of the IEEE International Conference on Requirements Engineering-
dc.identifier.bibliographicCitationProceedings of the IEEE International Conference on Requirements Engineering, pp.275-286-
dc.identifier.doi10.1109/re59067.2024.00034-
dc.identifier.scopusid2-s2.0-85202736863-
dc.subject.keywordgoal model-
dc.subject.keywordmaintenance and evolution-
dc.subject.keywordquality assurance-
dc.subject.keywordrequirement discovery-
dc.subject.keywordrequirement verification-
dc.type.otherConference Paper-
dc.description.isoafalse-
dc.subject.subareaComputer Science (all)-
dc.subject.subareaEngineering (all)-
dc.subject.subareaStrategy and Management-
Show simple item record

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Lee, Seok-Won Image
Lee, Seok-Won이석원
Department of Software and Computer Engineering
Read More

Total Views & Downloads

File Download

  • There are no files associated with this item.