Distinguishing automata machine by using UPPAAL as a model checker
Upon to the evolvement of technologies, electronic commerce and other online businesses are exposed to vulnerability hence invoking damages and untraceable fraud to the end users. Software engineers in the moment by moment, tracks the design and the analysis so that they can ensure the safety of th...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IJSTR Research
2014
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf |
| _version_ | 1796973080961089536 |
|---|---|
| author | Nagarathinam, Yogeswaran Mohd Sani, Nor Fazlida |
| author_facet | Nagarathinam, Yogeswaran Mohd Sani, Nor Fazlida |
| author_sort | Nagarathinam, Yogeswaran |
| collection | UPM |
| description | Upon to the evolvement of technologies, electronic commerce and other online businesses are exposed to vulnerability hence invoking
damages and untraceable fraud to the end users. Software engineers in the moment by moment, tracks the design and the analysis so that they can ensure the safety of the overall process from the root itself. Besides that we have proposed model checking to check on the behavior of a design. Thus our research has identified and differentiate the best of two methods of model checking which is Finite State Automata and Non Deterministic Pushdown automata. For the purpose of simulation, UPPAAL tool has been used over a part of Online Shopping system case study. |
| first_indexed | 2024-03-06T08:37:22Z |
| format | Article |
| id | upm.eprints-37123 |
| institution | Universiti Putra Malaysia |
| language | English |
| last_indexed | 2024-03-06T08:37:22Z |
| publishDate | 2014 |
| publisher | IJSTR Research |
| record_format | dspace |
| spelling | upm.eprints-371232021-02-28T17:54:07Z http://psasir.upm.edu.my/id/eprint/37123/ Distinguishing automata machine by using UPPAAL as a model checker Nagarathinam, Yogeswaran Mohd Sani, Nor Fazlida Upon to the evolvement of technologies, electronic commerce and other online businesses are exposed to vulnerability hence invoking damages and untraceable fraud to the end users. Software engineers in the moment by moment, tracks the design and the analysis so that they can ensure the safety of the overall process from the root itself. Besides that we have proposed model checking to check on the behavior of a design. Thus our research has identified and differentiate the best of two methods of model checking which is Finite State Automata and Non Deterministic Pushdown automata. For the purpose of simulation, UPPAAL tool has been used over a part of Online Shopping system case study. IJSTR Research 2014 Article PeerReviewed text en http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf Nagarathinam, Yogeswaran and Mohd Sani, Nor Fazlida (2014) Distinguishing automata machine by using UPPAAL as a model checker. International Journal of Scientific and Technology Research, 3 (3). pp. 316-325. ISSN 2277-8616 https://www.ijstr.org/final-print/mar2014/Distinguishing-Automata-Machine-By-Using-Uppaal-As-A-Model-Checker-.pdf |
| spellingShingle | Nagarathinam, Yogeswaran Mohd Sani, Nor Fazlida Distinguishing automata machine by using UPPAAL as a model checker |
| title | Distinguishing automata machine by using UPPAAL as a model checker |
| title_full | Distinguishing automata machine by using UPPAAL as a model checker |
| title_fullStr | Distinguishing automata machine by using UPPAAL as a model checker |
| title_full_unstemmed | Distinguishing automata machine by using UPPAAL as a model checker |
| title_short | Distinguishing automata machine by using UPPAAL as a model checker |
| title_sort | distinguishing automata machine by using uppaal as a model checker |
| url | http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf |
| work_keys_str_mv | AT nagarathinamyogeswaran distinguishingautomatamachinebyusinguppaalasamodelchecker AT mohdsaninorfazlida distinguishingautomatamachinebyusinguppaalasamodelchecker |