The Experts below are selected from a list of 29463 Experts worldwide ranked by ideXlab platform

Jacek Stój - One of the best experts on this subject based on the ideXlab platform.

  • State Machine of a Redundant computing Unit Operating as a Cyber-Physical System Control Node with Hot-Standby Redundancy
    Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Tech, 2020
    Co-Authors: Jacek Stój
    Abstract:

    Cyber-physical systems CPS are computer systems interconnected with physical world. In case of industrial applications they are called also Industrial Control Systems ICS. Most characteristic feature of ICS is operation in real-time. It means that they must satisfy strictly defined temporal constraints. Another important aspect is reliability. It is expected that ICS system operates 24/7. Some systems have to be also fault-tolerant, which means that a failure of one or more components should not disable proper operation of the system. To satisfy the latter demand, redundancy is used. One of examples of redundancy application is redundancy of computing units (like for example Programmable Logic Controllers PLCs in industrial control systems). It may be realized using dedicated components but also in more cost-effective way, using standard elements. In the second case, proper implementation of software redundancy routines is crucial. The paper shows a state machine used for implementation of computing units redundancy operating in hot-standby mode.

  • ISAT (2) - State Machine of a Redundant computing Unit Operating as a Cyber-Physical System Control Node with Hot-Standby Redundancy
    Advances in Intelligent Systems and Computing, 2019
    Co-Authors: Jacek Stój
    Abstract:

    Cyber-physical systems CPS are computer systems interconnected with physical world. In case of industrial applications they are called also Industrial Control Systems ICS. Most characteristic feature of ICS is operation in real-time. It means that they must satisfy strictly defined temporal constraints. Another important aspect is reliability. It is expected that ICS system operates 24/7. Some systems have to be also fault-tolerant, which means that a failure of one or more components should not disable proper operation of the system. To satisfy the latter demand, redundancy is used. One of examples of redundancy application is redundancy of computing units (like for example Programmable Logic Controllers PLCs in industrial control systems). It may be realized using dedicated components but also in more cost-effective way, using standard elements. In the second case, proper implementation of software redundancy routines is crucial. The paper shows a state machine used for implementation of computing units redundancy operating in hot-standby mode.

  • Cost Effective computing Unit Redundancy in Networked Control Systems Using Real-Time Ethernet Protocol
    Advances in Intelligent Systems and Computing, 2018
    Co-Authors: Jacek Stój
    Abstract:

    Designers of distributed computer systems have to take into account many requirements concerning the system operation and functionalities. In case of distributed real-time systems there are two characteristic features of great importance: reliability and temporal characteristics. High reliability level may be achieved by implementation of redundancy. However, every additional element in the system, also the redundant one, influences its temporal characteristic, one of which is the response time critical for the operation of Networked Control Systems. In the following chapter a system with cost effective computing unit redundancy operating in hot standby mode is described and analyzed from the point of view of its real-time operation. The possibility of implementation of synchronization routines between the computing units is also considered.

Weisong Shi - One of the best experts on this subject based on the ideXlab platform.

  • mobileedge enhancing on board vehicle computing units using mobile edges for cavs
    International Conference on Parallel and Distributed Systems, 2019
    Co-Authors: Lin Wang, Qingyang Zhang, Hong Zhong, Weisong Shi
    Abstract:

    As the rapid growth of connected and autonomous vehicles (CAVs) and 5G intensifies, more third-party applications are increasingly being deployed on CAVs. They not only improve user experience but also provide more helpful services, for example, enhancing public safety by recognizing criminals in real-time videos. Current CAVs prefer to process collected data on the vehicle to avoid long transmission latency and extra network cost. However, due to the limitations of the on-board vehicle computing unit (VCU) and increasing use of computing-intensive in-vehicle applications, the burden of on-board VCU has sharply increased, which may affect driving safety. In particular, for existing vehicles on the road, adding more computing devices is a challenge if not impossible due to cost concerns. Inspired by edge computing, we propose a novel platform, MobileEdge, to enhance the computing capability of the unchangeable on-board VCU, which leverages mobile devices as edge nodes, e.g., the passengers' smartphones, by offloading computing tasks to them for collaboratively computing. Moreover, MobileEdge provides the dynamic management of mobile devices, monitoring device status and interfaces for customizable task offloading strategies and eventually achieves optimal task scheduling. We build a prototype to demonstrate the designed platform and evaluate three task offloading strategies which were implemented based on the developed interfaces. The results show that MobileEdge significantly reduces the application response latency. Compared with the baseline which does not employ task offloading, the response latency is almost near real-time when more computing resources are available. In addition, the proposed shortest response latency strategy outperforms the best overall task scheduling among the three strategies.

  • ICPADS - MobileEdge: Enhancing On-Board Vehicle computing units Using Mobile Edges for CAVs
    2019 IEEE 25th International Conference on Parallel and Distributed Systems (ICPADS), 2019
    Co-Authors: Lin Wang, Qingyang Zhang, Hong Zhong, Weisong Shi
    Abstract:

    As the rapid growth of connected and autonomous vehicles (CAVs) and 5G intensifies, more third-party applications are increasingly being deployed on CAVs. They not only improve user experience but also provide more helpful services, for example, enhancing public safety by recognizing criminals in real-time videos. Current CAVs prefer to process collected data on the vehicle to avoid long transmission latency and extra network cost. However, due to the limitations of the on-board vehicle computing unit (VCU) and increasing use of computing-intensive in-vehicle applications, the burden of on-board VCU has sharply increased, which may affect driving safety. In particular, for existing vehicles on the road, adding more computing devices is a challenge if not impossible due to cost concerns. Inspired by edge computing, we propose a novel platform, MobileEdge, to enhance the computing capability of the unchangeable on-board VCU, which leverages mobile devices as edge nodes, e.g., the passengers' smartphones, by offloading computing tasks to them for collaboratively computing. Moreover, MobileEdge provides the dynamic management of mobile devices, monitoring device status and interfaces for customizable task offloading strategies and eventually achieves optimal task scheduling. We build a prototype to demonstrate the designed platform and evaluate three task offloading strategies which were implemented based on the developed interfaces. The results show that MobileEdge significantly reduces the application response latency. Compared with the baseline which does not employ task offloading, the response latency is almost near real-time when more computing resources are available. In addition, the proposed shortest response latency strategy outperforms the best overall task scheduling among the three strategies.

Sandeep K S Gupta - One of the best experts on this subject based on the ideXlab platform.

  • spatio temporal hybrid automata for safe cyber physical systems a medical case study
    International Conference on Cyber-Physical Systems, 2013
    Co-Authors: Ayan Banerjee, Sandeep K S Gupta
    Abstract:

    Interactions between the computing units and the physical environment in Cyber-Physical Systems (CPSes) are considered to verify safety properties, i.e. ensuring the un-intentional side-effects of cyber-physical interactions are within desired limits. A Linear 1 space dimension Spatio-Temporal Hybrid Automata (L1STHA) is defined to capture the effects of the interactions, in both time and space. Aggregate effects of interactions due to concurrent operations in the computing entities are expressed as a set of interdependent partial differential equations associated with dedicated modes of the L1STHA model. A time and space bound L1STHA reachability analysis algorithm is proposed for safety verification, which provides reachable states of the L1STHA with an arbitrary accuracy e. The runtime of the algorithm depends on the requested accuracy. The usage of the L1STHA modeling and analysis is demonstrated for medical CPSes such as infusion pumps.

  • ICCPS - Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study
    Proceedings of the ACM IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13, 2013
    Co-Authors: Ayan Banerjee, Sandeep K S Gupta
    Abstract:

    Interactions between the computing units and the physical environment in Cyber-Physical Systems (CPSes) are considered to verify safety properties, i.e. ensuring the un-intentional side-effects of cyber-physical interactions are within desired limits. A Linear 1 space dimension Spatio-Temporal Hybrid Automata (L1STHA) is defined to capture the effects of the interactions, in both time and space. Aggregate effects of interactions due to concurrent operations in the computing entities are expressed as a set of interdependent partial differential equations associated with dedicated modes of the L1STHA model. A time and space bound L1STHA reachability analysis algorithm is proposed for safety verification, which provides reachable states of the L1STHA with an arbitrary accuracy e. The runtime of the algorithm depends on the requested accuracy. The usage of the L1STHA modeling and analysis is demonstrated for medical CPSes such as infusion pumps.

Lin Wang - One of the best experts on this subject based on the ideXlab platform.

  • mobileedge enhancing on board vehicle computing units using mobile edges for cavs
    International Conference on Parallel and Distributed Systems, 2019
    Co-Authors: Lin Wang, Qingyang Zhang, Hong Zhong, Weisong Shi
    Abstract:

    As the rapid growth of connected and autonomous vehicles (CAVs) and 5G intensifies, more third-party applications are increasingly being deployed on CAVs. They not only improve user experience but also provide more helpful services, for example, enhancing public safety by recognizing criminals in real-time videos. Current CAVs prefer to process collected data on the vehicle to avoid long transmission latency and extra network cost. However, due to the limitations of the on-board vehicle computing unit (VCU) and increasing use of computing-intensive in-vehicle applications, the burden of on-board VCU has sharply increased, which may affect driving safety. In particular, for existing vehicles on the road, adding more computing devices is a challenge if not impossible due to cost concerns. Inspired by edge computing, we propose a novel platform, MobileEdge, to enhance the computing capability of the unchangeable on-board VCU, which leverages mobile devices as edge nodes, e.g., the passengers' smartphones, by offloading computing tasks to them for collaboratively computing. Moreover, MobileEdge provides the dynamic management of mobile devices, monitoring device status and interfaces for customizable task offloading strategies and eventually achieves optimal task scheduling. We build a prototype to demonstrate the designed platform and evaluate three task offloading strategies which were implemented based on the developed interfaces. The results show that MobileEdge significantly reduces the application response latency. Compared with the baseline which does not employ task offloading, the response latency is almost near real-time when more computing resources are available. In addition, the proposed shortest response latency strategy outperforms the best overall task scheduling among the three strategies.

  • ICPADS - MobileEdge: Enhancing On-Board Vehicle computing units Using Mobile Edges for CAVs
    2019 IEEE 25th International Conference on Parallel and Distributed Systems (ICPADS), 2019
    Co-Authors: Lin Wang, Qingyang Zhang, Hong Zhong, Weisong Shi
    Abstract:

    As the rapid growth of connected and autonomous vehicles (CAVs) and 5G intensifies, more third-party applications are increasingly being deployed on CAVs. They not only improve user experience but also provide more helpful services, for example, enhancing public safety by recognizing criminals in real-time videos. Current CAVs prefer to process collected data on the vehicle to avoid long transmission latency and extra network cost. However, due to the limitations of the on-board vehicle computing unit (VCU) and increasing use of computing-intensive in-vehicle applications, the burden of on-board VCU has sharply increased, which may affect driving safety. In particular, for existing vehicles on the road, adding more computing devices is a challenge if not impossible due to cost concerns. Inspired by edge computing, we propose a novel platform, MobileEdge, to enhance the computing capability of the unchangeable on-board VCU, which leverages mobile devices as edge nodes, e.g., the passengers' smartphones, by offloading computing tasks to them for collaboratively computing. Moreover, MobileEdge provides the dynamic management of mobile devices, monitoring device status and interfaces for customizable task offloading strategies and eventually achieves optimal task scheduling. We build a prototype to demonstrate the designed platform and evaluate three task offloading strategies which were implemented based on the developed interfaces. The results show that MobileEdge significantly reduces the application response latency. Compared with the baseline which does not employ task offloading, the response latency is almost near real-time when more computing resources are available. In addition, the proposed shortest response latency strategy outperforms the best overall task scheduling among the three strategies.

Ayan Banerjee - One of the best experts on this subject based on the ideXlab platform.

  • spatio temporal hybrid automata for safe cyber physical systems a medical case study
    International Conference on Cyber-Physical Systems, 2013
    Co-Authors: Ayan Banerjee, Sandeep K S Gupta
    Abstract:

    Interactions between the computing units and the physical environment in Cyber-Physical Systems (CPSes) are considered to verify safety properties, i.e. ensuring the un-intentional side-effects of cyber-physical interactions are within desired limits. A Linear 1 space dimension Spatio-Temporal Hybrid Automata (L1STHA) is defined to capture the effects of the interactions, in both time and space. Aggregate effects of interactions due to concurrent operations in the computing entities are expressed as a set of interdependent partial differential equations associated with dedicated modes of the L1STHA model. A time and space bound L1STHA reachability analysis algorithm is proposed for safety verification, which provides reachable states of the L1STHA with an arbitrary accuracy e. The runtime of the algorithm depends on the requested accuracy. The usage of the L1STHA modeling and analysis is demonstrated for medical CPSes such as infusion pumps.

  • ICCPS - Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study
    Proceedings of the ACM IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13, 2013
    Co-Authors: Ayan Banerjee, Sandeep K S Gupta
    Abstract:

    Interactions between the computing units and the physical environment in Cyber-Physical Systems (CPSes) are considered to verify safety properties, i.e. ensuring the un-intentional side-effects of cyber-physical interactions are within desired limits. A Linear 1 space dimension Spatio-Temporal Hybrid Automata (L1STHA) is defined to capture the effects of the interactions, in both time and space. Aggregate effects of interactions due to concurrent operations in the computing entities are expressed as a set of interdependent partial differential equations associated with dedicated modes of the L1STHA model. A time and space bound L1STHA reachability analysis algorithm is proposed for safety verification, which provides reachable states of the L1STHA with an arbitrary accuracy e. The runtime of the algorithm depends on the requested accuracy. The usage of the L1STHA modeling and analysis is demonstrated for medical CPSes such as infusion pumps.