Citation Export
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Shin, Youngsul | - |
dc.contributor.author | Lee, Seok Won | - |
dc.contributor.author | Choi, Yunja | - |
dc.date.issued | 2024-01-01 | - |
dc.identifier.uri | https://aurora.ajou.ac.kr/handle/2018.oak/37142 | - |
dc.identifier.uri | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85202736863&origin=inward | - |
dc.description.abstract | Many 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.sponsorship | We 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.iso | eng | - |
dc.publisher | IEEE Computer Society | - |
dc.subject.mesh | Engineering process | - |
dc.subject.mesh | Failure problems | - |
dc.subject.mesh | Goal models | - |
dc.subject.mesh | Industrial systems | - |
dc.subject.mesh | Maintenance and evolution | - |
dc.subject.mesh | Models checking | - |
dc.subject.mesh | Non-functional requirements | - |
dc.subject.mesh | Requirement verifications | - |
dc.subject.mesh | Requirements discovery | - |
dc.subject.mesh | Software testings | - |
dc.title | Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation | - |
dc.type | Conference | - |
dc.citation.conferenceDate | 2024.6.24. ~ 2024.6.28. | - |
dc.citation.conferenceName | 32nd IEEE International Requirements Engineering Conference, RE 2024 | - |
dc.citation.edition | Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024 | - |
dc.citation.endPage | 286 | - |
dc.citation.startPage | 275 | - |
dc.citation.title | Proceedings of the IEEE International Conference on Requirements Engineering | - |
dc.identifier.bibliographicCitation | Proceedings of the IEEE International Conference on Requirements Engineering, pp.275-286 | - |
dc.identifier.doi | 10.1109/re59067.2024.00034 | - |
dc.identifier.scopusid | 2-s2.0-85202736863 | - |
dc.subject.keyword | goal model | - |
dc.subject.keyword | maintenance and evolution | - |
dc.subject.keyword | quality assurance | - |
dc.subject.keyword | requirement discovery | - |
dc.subject.keyword | requirement verification | - |
dc.type.other | Conference Paper | - |
dc.description.isoa | false | - |
dc.subject.subarea | Computer Science (all) | - |
dc.subject.subarea | Engineering (all) | - |
dc.subject.subarea | Strategy and Management | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.