Theory and Engineering of Dependable Computer Systems and Networks

Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland

Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk (Herausgeber)

Buch | Softcover

XVII, 512 Seiten

2021 | 1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-76772-3 (ISBN)

Artikel merken

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.
Being probably the most complex technical systems ever engineered by man (and also-the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.

Application of Assumption Modes and Effects Analysis to XMECA.- Improving Effectiveness of the Risk Management Methodology in the Revitalization Domain.- Automated Music Generation Using Recurrent Neural Networks.- Non-exhaustive verification in Integrated Model of Distributed Systems (IMDS) using Vagabond algorithm.- Automatic multi-class classification of Polish complaint reports about municipal waste management.- Migration of Unit Tests of C# Programs.- Synchronization and scheduling of tasks in fault-tolerant computer systems with graceful degradation.- Comparison of selected algorithms of traffic modelling and prediction in Smart City - Rzeszów.- Dependability Analysis using Temporal Fault Trees and Monte Carlo Simulation.- Hybrid parallel programming in high performance computing cluster.

Erscheinungsdatum	28.05.2021
Reihe/Serie	Advances in Intelligent Systems and Computing
Zusatzinfo	XVII, 512 p. 189 illus., 109 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	807 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
	Technik
Schlagworte	Complex Systems • DepCoS-RELCOMEX • Dependability • Intelligent and Soft Computing • Maintenance • Networks • Reliability • Transport
ISBN-10	3-030-76772-8 / 3030767728
ISBN-13	978-3-030-76772-3 / 9783030767723
Zustand	Neuware