Current Proceedings on Technology

Current Proceedings on Technology

Analyzing SMV & UPPAAL model checkers in real-time systems

Yazarlar: Alireza Souri, Mohammad Ali Sharifloo, Monire Norouzi

Cilt 1 , Sayı - , 2012 , Sayfalar -

Konular:-

Anahtar Kelimeler:Real time Systems,UPPAAL,SMV,Verifying,Traffic light system,Analyzing.

Özet: One of the important tools for testing, verifying and evaluating software and hardware systems is model checker, because results of a model checker can influence on its procedure and implementation of these systems. Because of the variety of the model checkers, choosing the best model checker is one of the important matter in testing and evaluating a system with all of the its specifications. In this paper, we choose UPPAAL and SMV model checkers for testing and evaluating real-time systems. Then, we choose Traffic light system as our case study in real-time systems. By verifying this case study in UPPAAL and SMV model checkers, we get some important results. With analyzing these results we come to conclusion that by using UPPAAL model checker we can evaluate real-time systems completely and exactly. Also, UPPAAL model checker is a useful tool for testing and evaluating real-time systems. 

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2012, title={Analyzing SMV & UPPAAL model checkers in real-time systems}, volume={1}, number={0}, publisher={Current Proceedings on Technology }, author={Alireza Souri, Mohammad Ali Sharifloo, Monire Norouzi}, year={2012} }
APA
KOPYALA
Alireza Souri, Mohammad Ali Sharifloo, Monire Norouzi. (2012). Analyzing SMV & UPPAAL model checkers in real-time systems (Vol. 1). Vol. 1. Current Proceedings on Technology .
MLA
KOPYALA
Alireza Souri, Mohammad Ali Sharifloo, Monire Norouzi. Analyzing SMV & UPPAAL Model Checkers in Real-Time Systems. no. 0, Current Proceedings on Technology , 2012.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri