Forthcoming articles


International Journal of Critical Computer-Based Systems


These articles have been peer-reviewed and accepted for publication in IJCCBS, but are pending final changes, are not yet published and may not appear here in their final order of publication until they are assigned to issues. Therefore, the content conforms to our standards but the presentation (e.g. typesetting and proof-reading) is not necessarily up to the Inderscience standard. Additionally, titles, authors, abstracts and keywords may change before publication. Articles will not be published until the final proofs are validated by their authors.


Forthcoming articles must be purchased for the purposes of research, teaching and private study only. These articles can be cited using the expression "in press". For example: Smith, J. (in press). Article Title. Journal Title.


Articles marked with this shopping trolley icon are available for purchase - click on the icon to send an email request to purchase.


Articles marked with this Open Access icon are freely available and openly accessible to all without any restriction except the ones stated in their respective CC licenses.


Register for our alerting service, which notifies you by email when new issues of IJCCBS are published online.


We also offer RSS feeds which provide timely updates of tables of contents, newly published articles and calls for papers.


International Journal of Critical Computer-Based Systems (3 papers in press)


Regular Issues


  • Smart Homes IoT Techniques for Dynamic Provision of Cloud Benefactors   Order a copy of this article
    by P. Sanjeevi, Viswanathan Perumal 
    Abstract: Present years have realized the expansion of computing settings for IoT (Internet of Things) amenities, which switch huge amounts of data using several devices that are continuously associated to networks. Since the information communication and amenities arise on an assortment of devices, such as household appliances, embedded devices, and sensor nodes, the dynamic provision of IoT cloud benefactors necessities are progressively important at this juncture. This work is based on IoT for home automation which is a collection of sensors controlled by microcontroller. Through microcontroller, we direct data to the cloud server for sharing the sensor data to the cloud server and accessed through mobile app. We used cloud server as Ubidots for monitoring the sensors like Gas, Flame, Sound, and Temperature. The main inspiration of this work is to alert communication through smartphone and email on any abnormal constraint. This work is intended to decrease data transmit, decrease time, cost operative and easy to use.
    Keywords: Internet of Things; Cloud server; Home Automation; RFID.

  • Performance evaluation of a novel redundancy method for videoconferencing traffic in MPLS networks   Order a copy of this article
    by Mohamad Chaitou 
    Abstract: Performance evaluation of computer networks using mathematical modeling is widely used in assessing the advantages and drawbacks of any new mechanism before its deployment. In this contribution, we introduce a new mechanism that aims at rerouting multi-point to multi-point (MP2MP) traffic such as videoconferencing in Multi Protocol Label Switching- Traffic Engineering (MPLS-TE) networks. Then we develop a stochastic model in order to evaluate the amelioration incurred by our proposal compared to the existing approaches. In particular, we assess two criterions: the scalability and bandwidth efficiency. Our results show that our proposed method leads to better scalability while reducing the ratio of bandwidth wastage such as traffic duplication observed in the existing mechanisms. Our proposed rerouting mechanism contains two parts. First, we define the concept of MP2MP TE tunnel in MPLS as opposed to the existing MP2MP connectionless tunnel (i.e. without support of TE features such as bandwidth reservation and fast reroute in case of link and/or node failure). Second, we explain how to build a MP2MP TE bypass tunnel that is how to encapsulate a primary MP2MP TE tunnel into a backup MP2MP TE tunnel in order to provide the fast redundancy feature.
    Keywords: Mathematical modeling; stochastic models; MPLS-TE; fast reroute, multipoint-to-multipoint.

  • Analysing Timed Compatibility of Web Service Choreography   Order a copy of this article
    by Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaida 
    Abstract: Web Services become the most mature implementation of the Service Oriented Computing (SOC) paradigm. The verification of behavioural compatibility is then necessary to ensure correct composition of services, which depends not only on qualitative properties such as absence of deadlock but also on some quantitative properties related to performance. Most of the proposed approaches verify the composition in service orchestration modelling. However, service choreography is more collaborative in nature and describes direct interactions between services. Although many existing approaches use Petri Nets (PNs) and Colored PNs (CPNs) to analyse behavioural compatibility, few of them explore time constraints. We propose to model service interactions in a choreography with Timed CPNs and perform automatic verification and simulation using CPN Tools. We evaluate our approach with a case study from the Algerian e-Government, where we show how to verify global time constraints for the renewal of biometric passports.
    Keywords: Web Service; Choreography; Compatibility; Composition; Formal Modelling; Timed CPNs; Time Constraints; Performance Analysis; Simulation; CPN Tools.