loading...
Contract-Based Formal Specification of Safety Critical Systems
Edinburgh, Scotland July 26-July 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.6529th Annual International Computer So ...
 This Article 
 
PURCHASE ARTICLE: $0
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 
 
Wei Dong, Ji Wang, "Contract-Based Formal Specification of Safety Critical Systems," Computer Software and Applications Conference, Annual International, vol. 2, pp. 7-8, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2005.65,
author = {Wei Dong and Ji Wang},
title = {Contract-Based Formal Specification of Safety Critical Systems},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2005},
issn = {0730-3157},
pages = {7-8},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.65},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Contract-Based Formal Specification of Safety Critical Systems
SN - 0730-3157
SP7
EP8
A1 - Wei Dong,
A1 - Ji Wang,
PY - 2005
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Wei Dong, National Laboratory for Parallel and Distributed Processing
Ji Wang, National Laboratory for Parallel and Distributed Processing
The paper proposes an approach to light-weight formal specification for interfaces, connectors, contracts and integration of component systems based on UML 2.0 super-structure. Both of static and dynamic contracts are provided with formal models. Dynamic contract can be verified through finding a legal environment in an optimistical way for the integrated components, whose contracts are depicted with interface protocol state machines. The consistency for component refinement is also studied. These formal models form the foundation for model checking, compositional reasoning, and real-time architecture development of component-based safety critical systems.
Citation:
Wei Dong, Ji Wang, "Contract-Based Formal Specification of Safety Critical Systems," compsac, vol. 2, pp.7-8, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005
Usage of this product signifies your acceptance of the Terms of Use.