scholarly journals Analyzing Isolation in Mobile Systems

2021 ◽  
Vol 50 (4) ◽  
pp. 769-785
Author(s):  
Zhong Hong ◽  
Jian-Min Jiang ◽  
Hongping Shu
Keyword(s):  
Critical Issue ◽  
Mobile Systems ◽  
Simulation Experiments ◽  
Fine Grained ◽  
Mobile Objects ◽  
Scheduling Policy ◽  
Event Scheduling ◽  
Dependency Structures ◽  
Event Based ◽  
Independent Tasks

As a safety-critical issue in complex mobile systems, isolation requires two or more mobile objects not to appear in the same place simultaneously. To ensure such isolation, a scheduling policy is needed to control and coordinate the movement of mobile objects. Unfortunately, existing task scheduling theories fails in providing effective solutions, because it is hardly possible to decompose a complex mobile system into multiple independent tasks. To solve this problem, a more fine-grained event scheduling is proposed in this paper to generate scheduling policies which can ensure the isolation of mobile objects. After defining event scheduling based on event-based formal models called dependency structures, a new event scheduling theory for mobile systems is developed accordingly. Then an algorithm for generating an event scheduling policy is proposed to implement the required isolation. Simulation experiments are conducted to prove the result of our theoretical analysis and show the effectiveness and scalability of the approach.

scholarly journals Networked Event-Based Trajectory Planning for Mobile Objects

2018 ◽  
Vol 51 (23) ◽  
pp. 170-175 ◽  
Author(s):  
Michael Schwung ◽  
Jan Lunze
Keyword(s):  
Trajectory Planning ◽  
Mobile Objects ◽  
Event Based

A Fine-grained Event-based Modem Power Model for Enabling In-depth Modem Energy Drain Analysis

2017 ◽  
Vol 1 (2) ◽  
pp. 1-28 ◽  
Author(s):  
Xiaomeng Chen ◽  
Jiayi Meng ◽  
Y. Charlie Hu ◽  
Maruti Gupta ◽  
Ralph Hasholzner ◽  
...  
Keyword(s):  
Power Model ◽  
Fine Grained ◽  
Event Based

scholarly journals Individual-Based Modelling of Bacterial Ecologies and Evolution

2004 ◽  
Vol 5 (1) ◽  
pp. 100-104 ◽  
Author(s):  
C. Vlachos ◽  
R. Gregory ◽  
R. C. Paton ◽  
J. R. Saunders ◽  
Q. H. Wu
Keyword(s):  
Computational Models ◽  
Classifier Systems ◽  
Simulation Experiments ◽  
Computational Tools ◽  
Agent Based ◽  
Fine Grained ◽  
Learning Classifier ◽  
Potential Applications ◽  
The Individual ◽  
Behavioural Strategies

This paper presents two approaches to the individual-based modelling of bacterial ecologies and evolution using computational tools. The first approach is a fine-grained model that is based on networks of interactivity between computational objects representing genes and proteins. The second approach is a coarser-grained, agent-based model, which is designed to explore the evolvability of adaptive behavioural strategies in artificial bacteria represented by learning classifier systems. The structure and implementation of these computational models is discussed, and some results from simulation experiments are presented. Finally, the potential applications of the proposed models to the solution of real-world computational problems, and their use in improving our understanding of the mechanisms of evolution, are briefly outlined.

scholarly journals Event Based Approach for Web Services Composition

2014 ◽  
pp. 52-58
Author(s):  
A. Vani Vathsala ◽  
Hrushikesha Mohanty
Keyword(s):  
Web Services ◽  
Service Oriented Architecture ◽  
Research Work ◽  
Ongoing Research ◽  
Loosely Coupled ◽  
Fine Grained ◽  
Business Applications ◽  
Event Driven ◽  
Service Oriented ◽  
Event Based

The success of the Internet and the ongoing globalization led to a demand for new solutions to meet the requirements for ITsystems. The paradigm of service-oriented and event-driven architecture with fine grained and loosely coupled services tries to cope with those needs. Service Oriented Architecture (SOA) and Event Driven Architecture (EDA) are two acknowledged architectures for the development of business applications and information systems, which have evolved separately over the years. Today both architectures are acknowledged, but their synergy is not. There are numerous benefits of having an architecture that supports coexistence between operations and events, and composition of services based on operation invocation and event triggering. As part of our ongoing research work, we have tried to analyze in this paper, the basic design of Event based systems, issues that have to be addressed when event based approach is used for composing and coordinating web services. Then we have specified the techniques available that handle these issues, and gave a comparative study on these techniques. Finally we have attempted to sort out the unhandled/ partially handled issues that could be addressed as part of our research.

A Fine-grained Event-based Modem Power Model for Enabling In-depth Modem Energy Drain Analysis

2019 ◽  
Vol 46 (1) ◽  
pp. 107-109
Author(s):  
Xiaomeng Chen ◽  
Jiayi Meng ◽  
Y. Charlie Hu ◽  
Maruti Gupta ◽  
Ralph Hasholzner ◽  
...  
Keyword(s):  
Power Model ◽  
Fine Grained ◽  
Event Based

An Event-Based Middleware for the Management of Choreographed Services

2012 ◽  
pp. 567-593 ◽  
Author(s):  
Liliana Ardissono ◽  
Roberto Furnari ◽  
Giovanna Petrone ◽  
Marino Segnan
Keyword(s):  
Web Service ◽  
Critical Issue ◽  
Integration Model ◽  
Composite Service ◽  
Loosely Coupled ◽  
Service Execution ◽  
Execution Model ◽  
Flexible Management ◽  
Event Based ◽  
Development And Management

A critical issue in the choreographed services development is the conciliation of interaction protocol mismatches that affect the cooperation among the services to be integrated in the composite service. This chapter attempts to answer such an issue by presenting a mediation framework that supports the development and management of choreographed services by offering a loosely-coupled integration model and a flexible management of protocol mismatches. Such features are obtained by introducing (i) an action-based representation of the functions offered by a Web service; (ii) an explicit management of the state of the choreographed service, which determines the operations to be carried out in order to contribute to the service completion; (iii) an event-driven Web service execution model, which makes it possible to abandon the direct invocation of Web service operations in favour of an autonomous execution of actions, based on the available context information.

Event-based encoding from digital magnetic compass and ultrasonic distance sensor for navigation in mobile systems

2016 ◽  
Author(s):  
Juan Barrios-Aviles ◽  
Taras Iakymchuk ◽  
Alfredo Rosado-Munoz ◽  
Jose V. Frances-Villora ◽  
Manuel Bataller-Mompean ◽  
...  
Keyword(s):  
Magnetic Compass ◽  
Mobile Systems ◽  
Distance Sensor ◽  
Event Based

CONCURRENCY CONTROL FOR MOBILE SYSTEMS WITH DATA BROADCAST

2001 ◽  
Vol 02 (03) ◽  
pp. 253-267 ◽  
Author(s):  
MEI-WAI AU ◽  
EDWARD CHAN ◽  
KAM-YIU LAM
Keyword(s):  
Mobile Computing ◽  
Efficient Method ◽  
Concurrency Control ◽  
Computing System ◽  
Performance Characteristics ◽  
Mobile Systems ◽  
Data Consistency ◽  
Simulation Experiments ◽  
Data Broadcast ◽  
Mobile Clients

Although data broadcast has been shown to be an efficient method for disseminating data items in a mobile computing system with large number of clients, the issue on how to ensure the data consistency observed by mobile transactions, which are generated by mobile clients, has been largely ignored by researchers in the area. While data items are being broadcast, update transactions may install new values for the data items. If the executions of update and broadcast of data items are interleaved without any control, the mobile transactions may observe inconsistent data values. In this paper, we propose a serialization checking method (SCM) for concurrency control between read-only mobile transactions and update transactions. SCM is based on the framework of an earlier algorithm, Update First with Ordering (UFO), but improves on that algorithm by reducing re-broadcast overhead when the probability of data conflict between updates and data broadcast is high. Simulation experiments have been performed to investigate the performance characteristics of the proposed method.

Sign in / Sign up

Export Citation Format

Share Document