loading...
Simpler Analysis of Serial Transactions Using Reverse Transactions
Silicon Valley, California, USA July 19-July 21
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICAS.2006.53International Conference on Autonomic ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Karim TRAORE, LISI/ENSMA Ecole Nationale de Mecanique et d?Aerotechnique, France
Emmanuel GROLLEAU, LISI/ENSMA Ecole Nationale de Mecanique et d?Aerotechnique, France
Francis Cottet, LISI/ENSMA Ecole Nationale de Mecanique et d?Aerotechnique, France
We present in this article a method of validation for "serial transaction". The serial transaction model has been proposed in order to validate a concrete real-time application. This model is typically a task reading serial information (RS232, CAN,): several instances are identical and read an unitary part of a serial packet, these tasks have the same WCET, offset shifting, priority and relative deadline. In addition, the last task of a transaction has to deal with the whole packet, and is typically longer, but has a longer relative deadline, and a lower priority. The method of validation that we present here uses the concept of reverse transaction deduced from the serial transaction to analyse.
Citation:
Karim TRAORE, Emmanuel GROLLEAU, Francis Cottet, "Simpler Analysis of Serial Transactions Using Reverse Transactions," icas, pp.11, International Conference on Autonomic and Autonomous Systems (ICAS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.