Books on the topic 'Reliability of real-time distributed systems'

Fabrice, Kordon, and Sokolsky Oleg, eds. Composition of embedded systems: Scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers. Berlin: Springer, 2007.

Erciyes, K. Distributed Real-Time Systems. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-22570-4.

ADA in distributed real-time systems. New York: Intertext Publications, 1990.

Lad, A. T. Time synchronisation in real time distributed computer systems. Manchester: UMIST, 1995.

The testability of distributed real-time systems. Boston: Kluwer Academic Publishers, 1993.

Higuera-Toledano, M. Teresa. Distributed, Embedded and Real-time Java Systems. Boston, MA: Springer US, 2012.

Higuera-Toledano, M. Teresa, and Andy J. Wellings, eds. Distributed, Embedded and Real-time Java Systems. Boston, MA: Springer US, 2012. http://dx.doi.org/10.1007/978-1-4419-8158-5.

Design and analysis of distributed real-time systems. New York, NY: Intertext Publications, 1985.

Babau, Jean-Philippe, Mireille Blay-Fornarino, Joël Champeau, Sylvain Robert, and Antonio Sabetta, eds. Model-Driven Engineering for Distributed Real-Time Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118558096.

Dyer, Matthias. Distributed embedded systems: Validation strategies. Aachen: Shaker Verlag, 2007.

1947-, Carson John Hargadine, ed. Multiple processor systems for real-time applications. Englewood Cliffs, N.J: Prentice-Hall, 1985.

service), SpringerLink (Online, ed. Real-Time Systems: Design Principles for Distributed Embedded Applications. Boston, MA: Springer Science+Business Media, LLC, 2011.

J, Weigert Thomas, ed. Knowledge-based software development for real-time distributed systems. Singapore: World Scientific Pub. Co., 1993.

Pop, Paul, Petru Eles, and Zebo Peng. Analysis and Synthesis of Distributed Real-Time Embedded Systems. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-2873-1.

Tsai, Jeffrey J.-P. Knowledge-based software development for real-time distributed systems. Singapore: World Scientific, 1993.

Real-time systems: Design principles for distributed embedded applications. Boston: Kluwer Academic Publishers, 1997.

Carroll, Jeremy J. A deterministic model of time for distributed systems. Palo Alto, CA: Hewlett-Packard Laboratories, Technical Publications Department, 1996.

Hill, Martin Robert. The design of robust protocols for distributed real-time systems. Birmingham: Aston University. Departmentof Electrical and Electronic Engineering and Applied Physics, 1990.

Workshop on Parallel and Distributed Real-Time Systems (5th 1997 Santa Barbara, Calif.). Engineering of distributed control systems. Edited by Welch Lonnie R, Hammer Dieter K, and Workshop on Object-Oriented Real-Time Systems (3rd : 1997 : Santa Barbara, Calif.). Huntington, NY: Nova Science Publishers, Inc., 2001.

Harman, William David. Robust flight control: A distributed real-time simulation investigation. [Downsview, Ont.]: University of Toronto, Institute for Aerospace Studies, 2002.

Mechanisms for reliable distributed real-time operating systems: The Alpha kernel. Boston: Academic Press, 1987.

Puett, Ronnie Douglas. Reconfiguration in robust distributed real-time systems based on global checkpoints. Monterey, Calif: Naval Postgraduate School, 1991.

Hansson, Hans A. Time and probability in formal design of distributed systems. Amsterdam: Elsevier, 1994.

Mahalik, Nitaigour Premchand. Fieldbus Technology: Industrial Network Standards for Real-Time Distributed Control. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

Domen, Verber, and Halang Wolfgang A. 1951-, eds. Distributed embedded control systems: Improving dependability with coherent design. London: Springer, 2008.

Haddad, Serge. Distributed systems: Design and algorithms. Hoboken, NJ: John Wiley & Sons, 2011.

Grabowski, Jens Volker. Specification based testing of real time distributed systems: Languages, tools and applications. Berlin: Logos Verlag Berlin, 2003.

Workshop on Parallel and Distributed Real-Time Systems (5th 1997 Geneva, Switzerland). Proceedings of the joint workshop on parallel and distributed real-time systems: Fifth International Workshop on Parallel and Distributed Real-Time Systems and the Third Workshop on Object-Oriented Real-Time Systems (OORTS), April 1-3, 1997, Geneva, Switzerland. Los Alamitos, Calif: IEEE Computer Society Press, 1997.

N, Chorafas Dimitris. Transaction management: Managing complex transactions and sharing distributed databases. New York, N.Y: St. Martin's Press, 1998.

IEEE Computer Society. TC on Distributed Processing., ed. Object-oriented real-time dependable systems: Proceedings : the Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems : January 15 to 17, 2003, Guadalajara, Mexico. Los Alamitos, Calif: IEEE Computer Society Press, 2003.

IFAC Workshop (4th 1985 Como, Italy). Safety of computer control systems 1985 (Safecomp '85): Achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985. Oxford: Published for the International Federation of Automatic Control by Pergamon Press, 1985.

Luckham, David C. Event processing for business: Organizing the real time strategy enterprise. Hoboken, NJ: Wiley, 2012.

Workshop on Parallel and Distributed Real-Time Systems (3rd 1995 Santa Barbara, Calif.). Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems, April 25, 1995, Santa Barbara, California. Los Alamitos, Calif: IEEE Computer Society Press, 1995.

IEEE Computer Society. Technical Committee on Real-Time Systems. and IEEE Computer Society. Technical Committee on Parallel Processing., eds. Proceedings of the Second Workshop on Parallel and Distributed Real-Time Systems: April 28-29, 1994, Cancún, Mexico. Los Alamitos, Calif: IEEE Computer Society Press, 1994.

IFAC Workshop (5th 1986 Sarlat, France). Safety of computer control systems 1986 (Safecomp '86): Trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986. Oxford [Oxfordshire]: Published for the International Federation of Automatic Control by Pergamon Press, 1986.

J, Quirk W., and International Federation of Automatic Control., eds. Safety of Computer Control Systems 1985 (SAFECOMP '85): Achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop Como, Italy 1-3 October 1985. Oxford: Published for the International Federation of Automatic Control by Pergamon, 1985.

Workshop on Parallel and Distributed Real-Time Systems (4th 1996 Honolulu, Hawaii). Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, April 15-16, 1996, Honolulu, Hawaii. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

Shallof, Abulgasim M. The effect of redundancy and repair on the performability of distributed real-time control systems with repetitive task invocation. Sheffield: University of Sheffield, Dept. of Automatic Control and Systems Engineering, 1994.

Gupta, Amitava, Anil Kumar Chandra, and Peter Luksch. Real-Time and Distributed Real-Time Systems. CRC Press, 2016. http://dx.doi.org/10.1201/b21425.

Motus, Leo, and Mike Rodd. Specification of Real-Time Distributed Systems. Prentice Hall, 1993.

(Editor), J. Katwijk, Janusz Zalewski (Editor), and Jan Van Katwijk (Editor), eds. Parallel and Distributed Real-Time Systems. Nova Science Publishers, 2001.

Design Patterns for Distributed Real-Time Embedded Systems (Real-Time Systems Series). Springer, 2006.

Gupta, Amitava, Anil Kumar Chandra, and Peter Luksch. Real-Time and Distributed Real-Time Systems: Theory and Applications. Taylor & Francis Group, 2016.

Gupta, Amitava, Anil Kumar Chandra, and Peter Luksch. Real-Time and Distributed Real-Time Systems: Theory and Applications. Taylor & Francis Group, 2016.

Gupta, Amitava, Anil Kumar Chandra, and Peter Luksch. Real-Time and Distributed Real-Time Systems: Theory and Applications. Taylor & Francis Group, 2016.

Higuera-Toledano, M. Teresa, and Andy J. Wellings. Distributed, Embedded and Real-time Java Systems. Springer, 2014.

Schütz, Werner. The Testability of Distributed Real-Time Systems. Springer, 2013.

Schütz, Werner. The Testability of Distributed Real-Time Systems. Springer, 2013.

Erciyes, K. Distributed Real-Time Systems: Theory and Practice. Springer, 2019.

Schütz, Werner. The Testability of Distributed Real-Time Systems. Springer, 1993.