Verification and Evaluation of Computer and Communication Systems

1. Front Matter

   Pages I-XVI

   PDF

2. Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

   • Muhammad Saad Ayub, Osman Hasan

   Pages 1-16

3. Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

   • Sana Younes, Momtez Benmbarek

   Pages 17-32

4. Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks

   • Sedda Hakmi, Ouiza Lekadir, Djamil Aïssani

   Pages 33-47

5. Regression-Based Statistical Bounds on Software Execution Time

   • Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

   Pages 48-63

6. WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction

   • Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

   Pages 64-78

7. Factor-Based C-AMAT Analysis for Memory Optimization

   • Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang

   Pages 79-91

8. An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

   • Abderraouf Boussif, Mohamed Ghazel

   Pages 92-107

9. Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

   • Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine

   Pages 108-123

10. A Toolset for Mobile Systems Testing

    • Pierre André, Nicolas Rivière, Hélène Waeselynck

    Pages 124-138

11. Intertwined Global Optimization Based Reachability Analysis

    • Ibtissem Seghaier, Sofiène Tahar

    Pages 139-154

12. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

    • Bogdan Aman, Gabriel Ciobanu

    Pages 155-170

13. TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm

    • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec

    Pages 171-188

14. Uppaal vs Event-B for Modelling Optimised Link State Routing

    • Mojgan Kamali, Luigia Petre

    Pages 189-203

15. Back Matter

    Pages 205-205

    PDF

​This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.
The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.


The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in
terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

• artificial intelligence
• genetic algorithms
• evolutionary algorithms
• software engineering
• computer architecture
• test generations
• programming languages
• multiobjective optimization
• algorithm analysis and problem complexity

• CNAM-CEDRIC, Paris Cedex 03, France

  Kamel Barkaoui

• École Polytechnique de Montréal, Montreal, Canada

  Hanifa Boucheneb

• New Jersey Institute of Technology, Newark, USA

  Ali Mili

• Concordia University, Montreal, Canada

  Sofiène Tahar

Policies and ethics