Universiti Teknologi Malaysia Institutional Repository

Analysis on the model checking agent for SMS Management System verification using temporal logic

Abdul Bujang, Siti Diana and Selamat, Ali and Mohamad, Radziah (2009) Analysis on the model checking agent for SMS Management System verification using temporal logic. In: South East Asian Technical Universities Consortium(SEATUC) - 3rd SEATUC Symposium Proceeding, 25th - 26th February 2009, Johor Bahru, Malaysia.

PDF - Published Version


Nowadays, Short Message Service (SMS) is an emerging software mobile technology that support mobile-driven for business and telecommunication industry. The use of SMS has become an essential to most enterprises because the technology is known excellent. However, once SMS has been applied in distributed computing, the performance shows not given satisfied results. Extensive usage of SMS transaction has lead to the unseen faulty and errors. Also, the system is not able to support secure service to the users. This problem occurred because tremendous amount of SMS consume high bandwidth which could limit the network resources. Therefore, verification is needed to ensure the reliability of the system. This paper proposed the use of model checking agent approach for the verification of SMS Management System. The analysis of modeling shows the model checking agent is a basis approach to handle the SMS verification at the early stage of the software development.

Item Type:Conference or Workshop Item (Paper)
Additional Information:ISSN : 1882-5796; Hybrid Twinning Program 2008
Uncontrolled Keywords:short message service (SMS), model checking agent, verification
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Computer Science and Information System (Formerly known)
ID Code:12462
Deposited By: Ms Zalinda Shuratman
Deposited On:02 Jun 2011 09:50
Last Modified:02 Jun 2011 09:50

Repository Staff Only: item control page