Calls for papers

International Journal of Grid and Utility Computing

ICKEAI-2024: Special Issue on: "Edge Computing based Formal Modelling, Verification and Testing"

Guest Editors:
Dr. Sachi Nandan Mohanty, VIT-AP University, India
Prof. Rocha Alvora, University of Porto, Portugal

The aim of this special issue is to advance the state-of-the-art in edge computing by applying rigorous formal methods to ensure the correctness, reliability, security, and performance of edge computing systems. By achieving these objectives, researchers and practitioners can build trust in edge computing technologies and enable their widespread deployment in various applications and industries.

The Guest Editors will be inviting substantially extended versions of selected papers presented at the International Conference on Knowledge Engineering and Artificial Intelligence, (ICKEAI-2024), for review and potential publication, but are also inviting other experts to submit articles for this call.

Subject Coverage
Suitable topics include, but are not limited, to the following:

• Requirements specification and analysis
• Formalisms for modelling, design and implementation
• Model checking, theorem proving, and decision procedures
• Scalable approaches to formal system analysis
• Formal approaches to simulation, run-time verification, and testing
• Integration of formal methods into software engineering practice
• Cloud security and its application
• Edge deployment architectures and models
• Edge programming paradigms for the IoT
• Edge resource management and orchestration
• Evaluation of network technology interfaces at edge nodes
• Edge computing for vehicular clouds
• Edge computing for personal assistance and mobile services
• Machine learning for edge computing and edge computing for distributed machine learning
• Sustainable digitalisation of the manufacturing industry for futuristic technologies (Industry 5.0, 6G)
• Security and privacy aspects of federated edge learning systems
• Contract-based engineering of components, systems, and systems of systems
• Formal and engineering aspects of software evolution and maintenance
• Parallel and multicore programming
• Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
• Mixed-critical applications and systems
• Formal aspects of service-oriented and cloud computing
• Safety, reliability, robustness, and fault-tolerance
• Dependability of smart software and systems
• Empirical analysis techniques and integration with formal methods
• Applications and industrial experience reports
• Software tools to assist the construction or analysis of software systems
• Protocols and architectures for information-centric wireless edge networking
• Computation offloading vis-à-vis enriching on-device hardware/software capabilities at handheld edges
• Edge handoff mechanisms, strategies, and management
• Baseline performance evaluation for edge infrastructure and applications
• Industry adoption use cases of edge computing paradigm
• Edge computing for scalable smart city applications
• Trust management for edge-enabled IoT ecosystems

Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. (N.B. Conference papers may only be submitted if the paper has been completely re-written and if appropriate written permissions have been obtained from any copyright holders of the original paper).

All papers are refereed through a peer review process.

All papers must be submitted online. To submit a paper, please read our Submitting articles page.

Manuscripts due by: 30 June, 2024

Notification to authors: 30 July, 2024

Final versions due by: 10 September, 2024