posted by organizer: metaphori || 554 views || tracked by 1 users: [display]

MDPI-Electronics-SI-QualRiskDistribSys 2022 : MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems

FacebookTwitterLinkedInGoogle

Link: https://www.mdpi.com/journal/electronics/special_issues/large_scale_distributed_systems
 
When N/A
Where N/A
Submission Deadline Jul 15, 2022
Categories    distributed systems   verification   testing   quality
 

Call For Papers

Distributed systems are at the centre of several scientific and technological trends, which aim to make them increasingly large scale, heterogeneous, open, autonomous, and situated. Engineering efforts are devoted to harnessing the complexity of such systems to support applications and services upon which users can depend. Traditional issues of distributed systems include communication, coordination, consistency, availability, replication, and fault tolerance. Dealing with such issues often involves making trade-offs, as suggested by constructs like the CAP theorem. Additional issues like guaranteeing soft/hard deadlines, synchronising the state of physical/software components, promoting efficiency through deployment relocation, and self-management are entering the picture, as driven by whole research fields like real-time systems, cyber-physical systems, and autonomic computing. In summary, increasing complexity is implied in the functional and nonfunctional goals and requirements of future-generation systems, and this demands for theories, tools, and methods able to provide formal guarantees and properties of correctness and/or the ability to restore correct states if temporary failures are tolerated. Assessment of these guarantees cannot be limited to an isolated testing phase but should instead permeate the whole software lifecycle, from early detection of potential bugs, dodgy code, and known antipatterns down to monitoring the status of the runtime system.

To address the aforementioned challenges, this Special Issue welcomes original, high-quality research work on distributed systems that help to promote their quality and mitigate risks in their operation. These might include theories, architectures, approaches, methods, techniques, and tools addressing code quality assurance, testing, verification, monitoring, security audits, correctness-by-construction, and self-approaches.

Topics of interest include, but are not limited to:

- Language-based approaches for distributed systems architecture

- Monitoring of distributed systems

- Runtime verification of distributed systems

- Testing of distributed systems

- Quality assurance of distributed systems

- Self-reconfiguration of distributed systems

- Self-repair of distributed systems

- Model checking for distributed systems

- Machine learning for verification and validation of distributed systems

- Reliability in cyber-physical systems

- Graceful degradation of distributed systems

- Flexible or dynamic deployment of distributed systems

- Architectural description languages and verification of architectural properties

- Correct-by-construction distributed systems

- Resilient distributed systems

- Dependable distributed systems

- DevOps techniques for distributed systems


Please feel free to contact the Guest Editors for any inquiries about the relevance of prospective manuscripts to the suggested topics in this call for papers.

Dr. Roberto Casadei
Dr. Danilo Pianini
Guest Editors

Related Resources

HPDC 2022   ACM HPDC 2022 (The 31th International Symposium on High-Performance Parallel and Distributed Computing)
SI-RFIC-EWS 2021   Special Issue on Low Power RFIC Architectures for Emerging Wireless Standards, Electronics (MDPI)
ICFEC 2022   The 6th IEEE International Conference on Fog and Edge Computing
blockchain_ml_iot 2021   Network and Electronics (MDPI) Joint Special Issue - Blockchain and Machine Learning for IoT: Security and Privacy Challenges
DCHPC 2022   The Second International Conference on Distributed Computing and High Performance Computing (DCHPC 2022)
MDPI Digital SI 2021   MDPI Digital (Free of charge) SI on White-box Artificial Intelligence
SI on ATD&IS 2021   Special Issue on Advanced Technologies in Data and Information Security, Applied Sciences, MDPI
BRAIN 2022   Workshop on Blockchain theoRy and ApplicatIoNs
MDPI Network SI AECC 2022   MDPI Network - Special Issue on Advances in Edge and Cloud Computing
Sensors (MDPI) SI 2021   Sensors SI on Security, Trust and Privacy in New Computing Environments