loading...
An Approach to Protocol Modeling and Validation
Huntsville, Alabama April 02-April 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ANSS.2006.1239th Annual Simulation Symposium (ANS ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
F. Cicirelli, A. Furfaro,, L. Nigro, "An Approach to Protocol Modeling and Validation," Simulation Symposium, Annual, pp. 261-268, 39th Annual Simulation Symposium (ANSS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ANSS.2006.12,
author = {F. Cicirelli and A. Furfaro, and L. Nigro},
title = {An Approach to Protocol Modeling and Validation},
journal ={Simulation Symposium, Annual},
volume = {0},
year = {2006},
issn = {1080-241X},
pages = {261-268},
doi = {http://doi.ieeecomputersociety.org/10.1109/ANSS.2006.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Simulation Symposium, Annual
TI - An Approach to Protocol Modeling and Validation
SN - 1080-241X
SP261
EP268
A1 - F. Cicirelli,
A1 - A. Furfaro,,
A1 - L. Nigro,
PY - 2006
KW - null
VL - 0
JA - Simulation Symposium, Annual
ER -
 
F. Cicirelli, Universit`a della Calabria, Italy
A. Furfaro,, Universit`a della Calabria, Italy
L. Nigro, Universit`a della Calabria, Italy
This paper describes an approach to modeling and analysis of complex time-dependent systems specified by modular Time Petri Nets (TPNs). The approach is supported by a Java tool TPN Designer- which permits visual modeling, debugging and discrete-event simulation. The tool is characterized by its modularity and hierarchical constructs, a scripting language for controlling model configuration and scalability, and a monitoring and watching sub system for collecting simulation output. TPN Designer permits also to split a model into LP/subnets for distributed simulation. The tool is able to translate a flattened TPN model into Uppaal/Timed Automata for model checking. The paper demonstrates the practical use of the approach through modeling and validation of a system based on the alternating bit protocol.
Citation:
F. Cicirelli, A. Furfaro,, L. Nigro, "An Approach to Protocol Modeling and Validation," anss, pp.261-268, 39th Annual Simulation Symposium (ANSS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.