Special issue published: "Modelling and Verification: Performance Evaluation and Test: Part II"

International Journal of Critical Computer-Based Systems 8(3/4) 2018

• Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres
• Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay
• A model-based approach to combine conformance and load tests: an eHealth case study
• Formal probabilistic performance verification of randomly-scheduled wireless sensor networks
• Performance evaluation of stochastic real-time systems with the SBIP framework
• Precise use cases in a context-aware model-checking approach