Abstract
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol—based on RT-EP, a research protocol also based on transmission control techniques—allows the schedulability analysis of the network, enabling the use of standard Ethernet hardware for Hard Real-Time behavior while adding congestion management. It is specially designed for High-Integrity Distributed Hard Real-Time Systems, being fully written in Ada and taking advantage of some of the new Ada 2005 features, like the Ravenscar Profile.
Work supported by MEC, project TRECOM (TIC2002-04123).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pedreiras, P., Almeida, L., Gai, P.: The FTT-Ethernet protocol: Mergin flexibility, timeliness and efficiency. In: 14th Euromicro Conference on Real-Time Systems, pp. 1–10. IEEE Computer Society Press, Los Alamitos (2002)
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998)
Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal 8(5) (1993)
Sha, L., Abdelzaher, T., Årzén, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real time scheduling theory: A historical perspective. Real-Time Systems 28, 101–155 (2004)
Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E. (eds.): Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol. 2219. Springer, Heidelberg (2001)
Bosch, R.: Gmbh Germany: CAN Specification-Version 2.0 Part A (1991)
Thomesse, J.: Fieldbuses and interoperability. Control Engineering Practice 7(1), 81–94 (1999)
Song, Y.: Time constrained communication over switched ethernet. In: 4th IFAC International Conference on Fieldbus Systems and their Applications, Nancy, France (2001)
The Institute of Electrical and Electronics Engineers. IEEE Std., New York, 802.3-2002 (2002)
The Institute of Electrical and Electronics Engineers. IEEE Std., New York, 802.11-2003 (2003)
Martínez, J.M., González Harbour, M.: RT-EP: A fixed-priority real time communication protocol over standard ethernet. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 180–195. Springer, Heidelberg (2005)
Urueña, S., Zamorano, J., Berjón, D., Pulido, J.A., de la Puente, J.A.: Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems. In: 14th International Workshop on Parallel and Distributed Real-Time Systems, Island of Rhodes, Greece (2006)
de la Puente, J., Ruiz, J., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 5–15. Springer, Heidelberg (2000)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Letters XXIV(2), 1–74 (2004)
Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 106–119. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urueña, S., Zamorano, J., Berjón, D., Pulido, J.A., de la Puente, J.A. (2006). The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. In: Pinho, L.M., González Harbour, M. (eds) Reliable Software Technologies – Ada-Europe 2006. Ada-Europe 2006. Lecture Notes in Computer Science, vol 4006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767077_18
Download citation
DOI: https://doi.org/10.1007/11767077_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34663-0
Online ISBN: 978-3-540-34664-7
eBook Packages: Computer ScienceComputer Science (R0)