Specifications of Virtual Reminder System using Z
19th International Conference on Emerging Technologies, ICET 2024, Topi, Pakistan, 19 - 20 Kasım 2024, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Doi Numarası: 10.1109/icet63392.2024.10935271
- Basıldığı Şehir: Topi
- Basıldığı Ülke: Pakistan
- Anahtar Kelimeler: Formal Methods, Formal Specification, Reminder Assistant, Voice Assistant, Z Schema
- İstanbul Gelişim Üniversitesi Adresli: Hayır
Özet
Formal Methods (FM) uses mathematical notations to precisely and accurately define specifications, which helps detect errors and inconsistencies in software development. For mathematical notations, a proper mathematical framework is needed to describe and specify the behavior and structure of software systems. A few specification languages provide that framework; one is Z, which significantly enhances the quality of system specification, design, and verification. This paper introduces a formal specification for a virtual reminder system using Z schema, which signifies the importance of formal specifications that can also be used for voice assistant specifications. A virtual Reminder System (VRS) is an assistant based on speech recognition and speaker identification; a personal voice-controlled aid for the user to remind about event-based tasks that do not need some specific time to be completed but are event-based like reaching a location or any keyword/phrase spoken by the user related to some specific topic. The specified keyword/phrase can be anything, such as a person's name, place name, or phrase. Using FM reduced development time, verification efforts. and maintenance costs.