loading...
Modeling and Verification of Time-Triggered Communication Protocols
May 05-May 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.522008 11th IEEE Symposium on Object Or ...
 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 
 
Maria Sorea, Bruno Dutertre, Wilfried Steiner, "Modeling and Verification of Time-Triggered Communication Protocols," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 422-428, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2008.52,
author = {Maria Sorea and Bruno Dutertre and Wilfried Steiner},
title = {Modeling and Verification of Time-Triggered Communication Protocols},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3132-8},
pages = {422-428},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.52},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Modeling and Verification of Time-Triggered Communication Protocols
SN - 978-0-7695-3132-8
SP422
EP428
A1 - Maria Sorea,
A1 - Bruno Dutertre,
A1 - Wilfried Steiner,
PY - 2008
KW - null
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. This method allows us to capture and reason about real-time properties of distributed systems. It relies on the modeling concept of calendar similar to what has been used for a long time in discrete event simulation. It is also supported by efficient symbolic verification tools provided by the SAL environment. We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-time distributed systems.
Citation:
Maria Sorea, Bruno Dutertre, Wilfried Steiner, "Modeling and Verification of Time-Triggered Communication Protocols," isorc, pp.422-428, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008
Usage of this product signifies your acceptance of the Terms of Use.