loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Autonomic and Autonomous Systems (ICAS'06)
Simpler Analysis of Serial Transactions Using Reverse Transactions
Silicon Valley, California, USA
July 19-July 21
ISBN: 0-7695-2653-5
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.