Design and Verification of Cov-Trek Prototype based on Systems Modeling Language(SysML) and Modeling Framework
I Made Suartana(a*), Ricky Eka Putra(b)

a) Department of Informatics Engineering, Universitas Negeri Surabaya, Jalan Ketintang Wiyata, Surabaya 60231, Indonesia
*madesuartana[at]unesa.ac.id
b) Department of Informatics Engineering, Universitas Negeri Surabaya, Jalan Ketintang Wiyata, Surabaya 60231, Indonesia


Abstract

COVID-19 is the most massive pandemic that caused the global health crisis in early 2020. The use of information technology as mitigation is one way to respond to this pandemic. In this case, the application of information technology is in Cov-trek. The Cov-trek is an application designed to track a person^s movements. Data tracking is used for initial information when a virus infects someone. Cov-trek is a cloud-based adaptive software as an adaptive application. Cov-trek needs to designed and developed to meet user needs. In software development, the design process determines the quality of the software system. The design process also communicates user requirements to the software developed. The validation process ensures the software meets user requirements. Therefore, the software design and validation process have a critical role in the software development process. SysML is used to accomplish this work, a subset of SysML, an intermediate modeling language is utilized to ensure a progressive transformation that can be understood and agreed upon by system stakeholders.

Keywords: Software design- design and verification- SysML- Modeling Framework

Topic: Symposium on Advance of Sustainable Engineering

AASEC 2021 Conference | Conference Management System