Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
6.7
3.4
Journals
Future Internet
Special Issues
Dependable Cyber Physical Systems
share announcement

Dependable Cyber Physical Systems

A special issue of Future Internet (ISSN 1999-5903). This special issue belongs to the section "Internet of Things".

Deadline for manuscript submissions: closed (31 March 2019) | Viewed by 3032

Special Issue Editors

Dr. Ali Ebnenasir

E-Mail Website
Guest Editor
Department of Computer Science, Michigan Technological University, 1400 Townsend Dr., Houghton, MI 49931, USA
Interests: dependable and distributed computing; software engineering; formal methods; cyber-physical systems
Special Issues, Collections and Topics in MDPI journals
Prof. Dr. Min Song

E-Mail Website
Guest Editor
Department of Electrical and Computer Engineering, Stevens Institute of Technology, Hoboken, NJ 07030, USA
Interests: cognitive radio networks, Internet of Things and cyber physical systems, mobile computing, network security, artificial intelligence, and wireless communication networks

Special Issue Information

Dear Colleagues,

This Special Issue invites submissions from researchers and practitioners working in the areas of CPS and/or IoT. The main objective of this Special Issue is to promote a venue for cutting-edge research and technology related to the dependability of CPS/IoT across the software stack. The term dependability is an umbrella term that includes several properties of interest such as security, fault tolerance, availability, performance, timeliness, energy efficiency, scalability and reliability. The focus is on developing theoretical frameworks for the development of dependable CPS/IoT as well as engineering methods for modeling, designing and implementing CPS/IoT. Application domains include medical devices, intelligent transportation systems, disaster management, robotics, smart cities, connected vehicles, underwater systems, agricultural systems and environmental monitoring and control.

Dr. Ali Ebnenasir
Prof. Dr. Min Song
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Future Internet is an international peer-reviewed open access monthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • Dependable Computing
  • Cyber–Physical Systems
  • Internet of Things
  • Distributed Embedded Systems

Published Papers (1 paper)

Order results
Result details
Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:

Research

34 pages, 1458 KiB  
Article
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †
by Mohammad Roohitavaf and Sandeep Kulkarni
Future Internet 2019, 11(7), 144; https://doi.org/10.3390/fi11070144 - 4 Jul 2019
Viewed by 2565
Abstract
We focus on the problem of adding fault-tolerance to an existing concurrent protocol in the presence of unchangeable environment actions. Such unchangeable actions occur in cases where a subset of components/processes cannot be modified since they represent third-party components or are constrained by [...] Read more.
We focus on the problem of adding fault-tolerance to an existing concurrent protocol in the presence of unchangeable environment actions. Such unchangeable actions occur in cases where a subset of components/processes cannot be modified since they represent third-party components or are constrained by physical laws. These actions differ from faults in that they are (1) simultaneously collaborative and disruptive, (2) essential for satisfying the specification and (3) possibly non-terminating. Hence, if these actions are modeled as faults while adding fault-tolerance, it causes existing model repair algorithms to declare failure to add fault-tolerance. We present a set of algorithms for adding stabilization and fault-tolerance for programs that run in the presence of environment actions. We prove the soundness, completeness and the complexity of our algorithms. We have implemented all of our algorithms using symbolic techniques in Java. The experimental results of our algorithms for various examples are also provided. Full article
(This article belongs to the Special Issue Dependable Cyber Physical Systems)
►▼ Show Figures

Figure 1

Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:
 
Displaying articles 1-1
Back to TopTop