Abstract
In the paper a formal model of the fault-tolerant distributed computer system with the possibility of reconfiguration is considered. A fault-tolerant distributed computer system model from hardware viewpoint forms a fault-tolerant net, in which concurrent algorithms are performed. Due to uniform criteria of reconfigurations and interactions, an uniform analysis, synthesis and optimization is possible. Next the main idea of the operating system for the above systems has been described.
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
Amman E., Brause R., DalCin M., Dilger E., Lutz J., Risse T.,ATTEMPTO: a fault-tolerant multiprocessor working station, Proc.of FTCS’13, Milano (1983).
Belli F.,Grosspietsch K.E.,A strategy for the development of communication fault-tolerant systems by means of regular expressions Proc.of FTCS’13,Milano(1983),66–73.
Dal Cin M.,Dilger E.,On the Diagnosability of Self-Testing Multi-Microprocessor Svstems,Microprocessing and Microprogramming 7 (1981),North-Holland Publ.Comp.,177–184..
Dal Cin M.,Selbstdiagnose fehlertoleranter Mehrprozessor-und Mehrrechnersysteme(private communication).
Denning P.J., Faulttolerant operating systems,Computing Surveys (ACM),vol.8,no.4(1976),359–389.
Eberbach E., Algorithms with possibilities of seiflearning and selfmodification, Fundamenta Informaticae,vol.6,no.1(1983),1–44.
Eberbach E., Janicki R.,Anote on infinite set of equations and fixedpoint semantics of vectors of coroutines, Proc.of the 7-th Conf on Operating Systems,Tanulmányok 139/1983,Visegrd(1982),13–25.
Eberbach E., Just J.R.,Aself-reconfiguration as a basis of fault-tolerance in distributed computer systems,Proc.of VI.Intern. Conf. on Fault-Tolerant Systems and Diagnostics, Brno(1983),134–141.
Eberbach E., Just J.R, tersystems,paper presented on Twenty-Second Intern.Symp.Mini and Microcomputers and Their Applications, Lugano(1983).
Eberbach E.,Optimal problems for modifiable algorithms,paper submitted to Fourth Intern.Conf.Fundamentals of Computation Theory FCT’85,Berlin,1985.
Janicki R.,Vector of coroutines,Lect.Notes in Comp.Sci.,vol.45, Springer Verlag(1976),377–384.
Just J.R., An algebraic model of distributed computer system, Proc.of the 5-th Conf.on the Theory of Operating Systems,Visegrd(1979)1 311–323.
Just J.R., Eberbach E.,A self-reconfigurating distributed system Proc.of Third Symp.on Microcomputer and Microprocessor Application Budapest(1983),780–793.
Mazurkiewicz A.,Iterativel_y computable relations.Bull.PAS,Ser.Sci.Math.Astron.Phys.20(1972),793–798.
Pawlak Z.,Rough sets,Intern.Journal of Inform.and Comp.Sci.,vo1.11, no.5(1982),341–356.
Kennels D.A., Distributed fault-tolerant computer systems, Computer,vol.13,no.3 (1980),55–65.
von Neumann J., Theorr of self-reproducing automata,ed.and completed by A.W.Burks,Univ.of Illinois Press,Urbana and London(1966).
Zadeh L., Fuzzy sets, Inf.Control, 8(1965),338–356.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eberbach, E., Just, J.R. (1984). An Uniform Approach to the Operating System in Fault-Tolerant Distributed Computer Systems. In: Großpietsch, KE., Dal Cin, M. (eds) Fehlertolerierende Rechensysteme. Informatik-Fachberichte, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69698-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-69698-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13348-3
Online ISBN: 978-3-642-69698-5
eBook Packages: Springer Book Archive