Sliding Time Interval based MAC protocol and its temporal validation

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 7, Issue PART 1, 2007, Pages 119-125

  Godary, K ^a   Andreu, D ^a,b   Souquet, G ^a  

^a LIRMM   (France)

^b INRIA   (France)

Author keywords

Formal modeling; MAC protocol; Medical application; Validation

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; EMBEDDED SYSTEMS; FUNCTIONAL ELECTRIC STIMULATION; MEDICAL APPLICATIONS;

DISTRIBUTED SYSTEMS; FORMAL MODEL; FORMAL VALIDATION; FUNCTIONAL ELECTRI-CAL STIMULATIONS; MAC PROTOCOL; MEDIUM ACCESS PROTOCOL; REAL-TIME APPLICATION; VALIDATION;

MEDIUM ACCESS CONTROL;

EID: 79960996130     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20071107-3-fr-3907.00017     Document Type: Conference Paper

References (15)

1. Berard, B., M. Bidoit, A. Finkel, F. Laroussinie, A Petit, L. Petrucci, P. Schnoebelen, 2001. Systems and Software Verification: model-checking techniques and tools. ISBN: 978-3-540-41523-7, Springer.
2. Bernard, S., D. Andreu, ML. Flotte, P. Cauvet, H. Fleury and F. Verju (2006). Testing System- In-Package Wirelessly. In IEEE Int. Conf. On Design and Test of Integrated Systems (Dtis'06), Tunis, Tunisia, Sept. 5-7.
3. Berthomieu, B., P-O. Ribet and F. Vernadat (2004). The tool TINA - Construction of Abstract State Spaces for Petri Nets and Time Petri Nets, International Journal of Production Research, Vol. 42, no 14, pp 2741-2756, July 2004.
4. Falcon, Carl. (2003). Adding a Low Data Rate Radio ASSP to an ISM Application. Microwave Journal, Vol. 46, no 10, pp 22 October 2003.
5. Godary, K. (2004). Validation temporelle de réseaux embarqués critiques et fiables pour l'automobile, PhD thesis, INSA Lyon, France.
6. Godary, K., I. Augé-Blum and A. Mignotte (2004). Temporal Bounds for TTA: Validation. In Proc. of the IFIP Conference on Distributed and Parallel Embedded Systems (DIPES'04),Toulouse, France.
7. Guiraud, D., T. Stieglitz, K.P. Koch, J.L. Divoux and P. Rabischong, (2006). An implantable neuroprosthesis for standing and walking in paraplegia: 5-year patient follow-up, In Journal of Neural Engineering, Vol. 3, pp 268-275.
8. Guiraud, G., D. Andreu, G. Cathebras, Y. Bertrand, S. Bernard, J. Galy and J.D. Techer (2004). Dispositif de répartition de courant entre des cathodes d'une électrode multipolaire, notamment d'un implant, Patent Number FR0409351 2004-09-0.
9. Kopetz, H., G, Bauer. (2003). The time-triggered architecture. Proceedings of the IEEE. Vol. 91, no 1, pp 112-126.
10. tm system for distributed neural prosthetic interfaces, In Medical Engineering and Physics, Vol. 23, pp 9-18. (Pubitemid 32424475)
11. Petri, C. A. (1962). Kommunikation mit Automaten. PhD thesis, Bonn university, Germany
12. Rahmat-Samii Y., Kim J. (2006). Implanted Antennas in Medical Wireless Communications. Morgan & Claypool Publishers, August 2006.
13. Rushby, J., (2007). Automated Formal Methods Enter the Mainstream. In Communications of the Computer Society of India, (Special Theme Issue on Formal Methods). Vol. 31, no 2, pp 28-32.
14. Stieglitz, T., K.P. Koch and M. Schuettler, (2005). Flexible, Polyimide-Based Modular Implantable Biomedical Microsystems for Neural Prostheses, In IEEE Engineering in Medicine and Biology Magazine, Vol. 24, no5, pp 58-65. (Pubitemid 41633413)
15. Ye, W. Heidemann, J. Estrin, D. "Medium Access Control With Coordinated Adaptive Sleeping for Wireless Sensor Networks", IEEE/ACM Transactions on Networking, Vol. 12, no 3, pp. 493-506, June 2004.