Cover Image

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Nagarathinam, Yogeswaran, Mohd Sani, Nor Fazlida
Format: Article
Language:English
Published: IJSTR Research 2014
Online Access:http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf
http://psasir.upm.edu.my/id/eprint/37123/
https://www.ijstr.org/final-print/mar2014/Distinguishing-Automata-Machine-By-Using-Uppaal-As-A-Model-Checker-.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.upm.eprints.37123
record_format eprints
spelling my.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
institution Universiti Putra Malaysia
building UPM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Putra Malaysia
content_source UPM Institutional Repository
url_provider http://psasir.upm.edu.my/
language English
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.
format Article
author Nagarathinam, Yogeswaran
Mohd Sani, Nor Fazlida
spellingShingle Nagarathinam, Yogeswaran
Mohd Sani, Nor Fazlida
Distinguishing automata machine by using UPPAAL as a model checker
author_facet Nagarathinam, Yogeswaran
Mohd Sani, Nor Fazlida
author_sort Nagarathinam, Yogeswaran
title Distinguishing automata machine by using UPPAAL as a model checker
title_short 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_sort distinguishing automata machine by using uppaal as a model checker
publisher IJSTR Research
publishDate 2014
url http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf
http://psasir.upm.edu.my/id/eprint/37123/
https://www.ijstr.org/final-print/mar2014/Distinguishing-Automata-Machine-By-Using-Uppaal-As-A-Model-Checker-.pdf
_version_ 1693727616147652608
score 13.211869

Similar Items