Agent verification design of short text messaging system using formal method
Today, in the evolution of hardware and software system in mobile-driven applications, failure is unacceptable to many entrepreneurs. The use of Short Message Service (SMS) for internet-based business is acknowledged to be one of the applications that have a potential to give unreliable results to t...
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Published: |
Elsevier
2009
|
| Subjects: |
| _version_ | 1796855163968815104 |
|---|---|
| author | Selamat, Ali A. Bujang, S. D. Selamat, Md. Hafiz |
| author_facet | Selamat, Ali A. Bujang, S. D. Selamat, Md. Hafiz |
| author_sort | Selamat, Ali |
| collection | ePrints |
| description | Today, in the evolution of hardware and software system in mobile-driven applications, failure is unacceptable to many entrepreneurs. The use of Short Message Service (SMS) for internet-based business is acknowledged to be one of the applications that have a potential to give unreliable results to the information systems. Once the workload is optimized, the network traffic becomes congested, which minimizes the performance of the system. Therefore, to develop a dependable SMS system, we need a reliable verification method. Besides the agent-based verification method, formal method verification on the design is also needed. This is to ensure that the system design is secured from the unseen errors and bugs in the early stage of development. In order to make this successful, this paper will discuss more on the verification design of short-text messaging system with the implementation of an agent-based system known as model checking. The aim of this paper is to provide a reliable and verifiable system designs, using Spin as the model checker.
|
| first_indexed | 2024-03-05T18:24:37Z |
| format | Book Section |
| id | utm.eprints-12950 |
| institution | Universiti Teknologi Malaysia - ePrints |
| last_indexed | 2024-03-05T18:24:37Z |
| publishDate | 2009 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | utm.eprints-129502017-10-04T06:43:05Z http://eprints.utm.my/12950/ Agent verification design of short text messaging system using formal method Selamat, Ali A. Bujang, S. D. Selamat, Md. Hafiz QA76 Computer software Today, in the evolution of hardware and software system in mobile-driven applications, failure is unacceptable to many entrepreneurs. The use of Short Message Service (SMS) for internet-based business is acknowledged to be one of the applications that have a potential to give unreliable results to the information systems. Once the workload is optimized, the network traffic becomes congested, which minimizes the performance of the system. Therefore, to develop a dependable SMS system, we need a reliable verification method. Besides the agent-based verification method, formal method verification on the design is also needed. This is to ensure that the system design is secured from the unseen errors and bugs in the early stage of development. In order to make this successful, this paper will discuss more on the verification design of short-text messaging system with the implementation of an agent-based system known as model checking. The aim of this paper is to provide a reliable and verifiable system designs, using Spin as the model checker. Elsevier 2009 Book Section PeerReviewed Selamat, Ali and A. Bujang, S. D. and Selamat, Md. Hafiz (2009) Agent verification design of short text messaging system using formal method. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Elsevier, pp. 514-522. ISBN 3642016642; 978-364201664-6 http://dx.doi.org/10.1007/978-3-642-01665-3_51 DOI: 10.1007/978-3-642-01665-3_51 |
| spellingShingle | QA76 Computer software Selamat, Ali A. Bujang, S. D. Selamat, Md. Hafiz Agent verification design of short text messaging system using formal method |
| title | Agent verification design of short text messaging system using formal method |
| title_full | Agent verification design of short text messaging system using formal method |
| title_fullStr | Agent verification design of short text messaging system using formal method |
| title_full_unstemmed | Agent verification design of short text messaging system using formal method |
| title_short | Agent verification design of short text messaging system using formal method |
| title_sort | agent verification design of short text messaging system using formal method |
| topic | QA76 Computer software |
| work_keys_str_mv | AT selamatali agentverificationdesignofshorttextmessagingsystemusingformalmethod AT abujangsd agentverificationdesignofshorttextmessagingsystemusingformalmethod AT selamatmdhafiz agentverificationdesignofshorttextmessagingsystemusingformalmethod |