Design and verification of Cov-trek prototype based on systems modeling language (SysML) and modeling framework

Abstract

In the software development process, requirements are an essential but often overlooked step. Comprehensive requirements management can help developers work on the system to meet project requirements and play a vital role in communication among stakeholders. Using natural language to describe and record user needs results in ambiguity, inconsistency, inaccuracy, and incompleteness. This research uses a model-based approach using SysML to support integrated software development to improve modeling process and requirement analysis accuracy. Integrate the process of determining system requirements in software design using the SysML modeling language. Cov-trek was chosen as a case study for the exploration of SysML support in the software development process. The Cov-trek is an application designed to track a person's movements to mitigate the spread of COVID-19. SysML is used to accomplish this work. A subset of SysML, an intermediate modeling language, is utilized to ensure a progressive transformation that system stakeholders can understand. By using SysML, the main requirements of the application can be modeled with requirements diagrams and validated in the design. © 2023 Author(s).