loading...
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Darmstadt, Germany July 01-July 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IWRSP.2002.102974413th IEEE International Workshop on R ...
 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 
 
Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li, "Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata," Rapid System Prototyping, IEEE International Workshop on, pp. 99, 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/IWRSP.2002.1029744,
author = {Guoqiang Shu and Chao Li and Qing Wang and Mingshu Li},
title = {Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2002},
issn = {1074-6005},
pages = {99},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2002.1029744},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
SN - 1074-6005
SP
EP
A1 - Guoqiang Shu,
A1 - Chao Li,
A1 - Qing Wang,
A1 - Mingshu Li,
PY - 2002
KW - null
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
Guoqiang Shu, Chinese Academy of Sciences
Chao Li, Chinese Academy of Sciences
Qing Wang, Chinese Academy of Sciences
Mingshu Li, Chinese Academy of Sciences
Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the formal validation of certain timing constraints becomes critical for the success of object-oriented development of real-time systems. Current development methods of real-time systems have not provided consistent support for verifying UML models of real-time systems. This paper presents a formal specification & validation method, FORTS, for object-oriented real-time system development using UML. The method presents a real-time extension of UML; describes the formal semantics of the UML extension; provides automatic transformation of UML models into timed automata; and verifies timing assertions presented by UML sequence diagram using model checking and constraints solving technique. With tool support, FORTS conceals the complicated details of formal validation for users, thus providing the benefits of formal methods without bringing additional burden. A case study is presented in the end of the paper.
Citation:
Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li, "Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata," rsp, pp.99, 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.