loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Formal Parameters Synthesis for Track Segments of a Subway Mesh
Edinburgh, Scotland
April 03-April 07
ISBN: 0-7695-0604-6
ASCII Text
x 
 
Adilson Luiz Bonifacio, Arnaldo Vieira Moura, Joao Batista de Camargo, Jr., Jorge Rady de Almeida, Jr., "Formal Parameters Synthesis for Track Segments of a Subway Mesh," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 263, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2000.839885,
author = {Adilson Luiz Bonifacio and Arnaldo Vieira Moura and Joao Batista de Camargo, Jr. and Jorge Rady de Almeida, Jr.},
title = {Formal Parameters Synthesis for Track Segments of a Subway Mesh},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2000},
isbn = {0-7695-0604-6},
pages = {263},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839885},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Formal Parameters Synthesis for Track Segments of a Subway Mesh
SN - 0-7695-0604-6
SP
EP
A1 - Adilson Luiz Bonifacio,
A1 - Arnaldo Vieira Moura,
A1 - Joao Batista de Camargo, Jr.,
A1 - Jorge Rady de Almeida, Jr.,
PY - 2000
KW - hybrid
KW - automata
KW - real-time
KW - synthesis
KW - subway
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Adilson Luiz Bonifacio, University of Campinas
Arnaldo Vieira Moura, University of Campinas
Joao Batista de Camargo, Jr., University of Sao Paulo
Jorge Rady de Almeida, Jr., University of Sao Paulo
The aim of this work is to apply formal specification techniques to model real-time distributed systems arising from real-world applications. The formal models discussed here are based on the notion of hybrid automata. The target system is the maneuvering yard of a subway mesh. Semi-automatic tools are used in the analysis and verification of the models here developed. The models are also used to synthesize some important parameters of the system under consideration. All results were obtained on a typical 350MHz desktop PC, with 320MB of main memory.
Index Terms:
hybrid, automata, real-time, synthesis, subway
Citation:
Adilson Luiz Bonifacio, Arnaldo Vieira Moura, Joao Batista de Camargo, Jr., Jorge Rady de Almeida, Jr., "Formal Parameters Synthesis for Track Segments of a Subway Mesh," ecbs, pp.263, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
Usage of this product signifies your acceptance of the Terms of Use.