• Bernstein, P.A.: Middleware: a model for distributed system services. Commun. ACM 39(2), 86–98 (1996)

  Article  Google Scholar 

• Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43(2), 225–267 (1996)

  Article MathSciNet MATH  Google Scholar 

• Dobbing, B., Burns, A.: The Ravenscar tasking profile for high integrity real-time programs. In: Proceedings of SigAda’98, Washington, DC (November 1998)

  Google Scholar 

• Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. J. ACM 34(1), 77–97 (1987)

  Article MathSciNet MATH  Google Scholar 

• Durst, R.C., Miller, G.J., Travis, E.J.: Tcp extensions for space communications. Wirel. Netw. 3(5), 389–403 (1997)

  Article  Google Scholar 

• Fischer, M.J., Lynch, N.A., Paterson, M.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374–382 (1985)

  Article MathSciNet MATH  Google Scholar 

• Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, Massachusetts (1994)

  Google Scholar 

• Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68–74 (1997)

  Article  Google Scholar 

• Guerraoui, R., Schiper, A.: The generic consensus service. IEEE Transactions on Software Engineering 27(1), 29–41 (2001)

  Article MathSciNet  Google Scholar 

• Haverkamp, D.A., Richards, R.J.: Towards safety critical middleware for avionics applications. In: LCN ’02. Proceedings of the 27th Annual IEEE Conference on Local Computer Networks, Washington, DC, p. 716. IEEE Computer Society Press, Los Alamitos (2002)

  Google Scholar 

• Larrea, M., Fernndez, A., Arvalo, S.: The impossibility of implementing perpetual failure detectors in partially synchronous systems (2001)

  Google Scholar 

• Mostefaoui, A., Raynal, M.: Consensus based on failure detectors with a perpetual accuracy property. In: IPDPS ’00. Proceedings of the 14th International Symposium on Parallel and Distributed Processing, Washington, DC, p. 514. IEEE Computer Society Press, Los Alamitos (2000)

  Google Scholar 

• Rodriguez, M., Fabre, J.-C., Arlat, J.: Wrapping real-time systems from temporal logic specifications. In: Bondavalli, A., Thévenod-Fosse, P. (eds.) Dependable Computing EDCC-4. LNCS, vol. 2485, pp. 253–270. Springer, Heidelberg (2002)

  Chapter  Google Scholar 

• RTCA. Software considerations in airborne systems and equipment certification. do-178b / ed-12b (1992)

  Google Scholar 

• Schmidt, D.C., Buschmann, F.: Patterns, frameworks, and middleware: their synergistic relationships. In: ICSE ’03. Proceedings of the 25th International Conference on Software Engineering, Washington, DC, pp. 694–704. IEEE Computer Society Press, Los Alamitos (2003)

  Google Scholar 

• Schneider, F.B., Lamport, L.: Paradigms for distributed programs. In: Distributed Systems: Methods and Tools for Specification, An Advanced Course, London, UK, April 3-12, 1984 and April 16-25, pp. 431–480. Springer, Heidelberg (1985)

  Google Scholar 

• 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)

  Chapter  Google Scholar 

Download references