Many recent applications involve processing and analyzing uncertain data. Recently, several research efforts have addressed answering skyline queries efficiently on massive uncertain datasets. However, the research la...
详细信息
In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple acce...
详细信息
Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts withthe physical world. this paper presents some challenges for developing distributedreal-time Cyber-Physical...
详细信息
Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts withthe physical world. this paper presents some challenges for developing distributedreal-time Cyber-Physical Systems. the focus is on one particular challenge, namely event modelling in distributedreal-time CPS. A Web-of-things based CPS framework for event handling and processing is proposed. To illustrate the application of the proposed framework, a case study for achieving demand response in a smart home is provided.
We present a compositional approach to schedulability analysis of safety-critical Java programs. We introduce a specification language in order to write abstract behavioural specifications regarding task execution-tim...
详细信息
We present a compositional approach to schedulability analysis of safety-critical Java programs. We introduce a specification language in order to write abstract behavioural specifications regarding task execution-time and use of resources. Schedulability is checked on a model composed of the abstract specifications, possibly before any implementation, and as the specifications are implemented, these implementations can be checked individually. this means that library routines potentially can be separately checked and reused, and individual tasks can be verified according to their specifications without performing the full-system-analysis.
Context situation, which means a snapshot of the status of the real world, is formed by integrating a large amount of contexts collected from various resources. How to get the context situation and use the situation t...
详细信息
Context situation, which means a snapshot of the status of the real world, is formed by integrating a large amount of contexts collected from various resources. How to get the context situation and use the situation to provide better services is a challenging issue. In this paper, we focused on this challenge on the basis of the mobile cloud computing architecture. An abstract model is proposed in this paper to uniformly collect the context and send them to cloud. A rule-based large-scale context aggregation algorithm is also proposed which utilizes the MapReduce computing paradigm. Finally, a large-scale context management framework based on the abstract model and the context aggregation algorithm is proposed, and a real-time traffic demo is implemented to verify the validity of the framework.
Autonomous landing for fixed-wing aircraft is one of issues in smart Unmanned Aerial Vehicles (UAV). In this paper, we present a robust real-time line tracking algorithm for UAV using image processing. In the proposed...
详细信息
Autonomous landing for fixed-wing aircraft is one of issues in smart Unmanned Aerial Vehicles (UAV). In this paper, we present a robust real-time line tracking algorithm for UAV using image processing. In the proposed algorithm, we first reduce computation region, and then transform to Hough space to detect lines in frame. Finally, the line tracking is performed. Experimental model has been designed in MATLAB Simulink environment and evaluated with several landing video clips. We took tolerance boundary test to check robustness. Experimental results indicate this approach is applicable in real uses.
Java is a programming technology which has been extended in order to provide the timeliness required by real-time systems (e.g., RTSJ). there are two RTSJ-based profiles: DRTSJ supporting distributedreal-time Java sy...
详细信息
Java is a programming technology which has been extended in order to provide the timeliness required by real-time systems (e.g., RTSJ). there are two RTSJ-based profiles: DRTSJ supporting distributedreal-time Java systems and SCJS supporting the development of programs that must be certified. However neither of them considers dynamics characteristics allowing the system to be adapted to the changing environment. distributed safety-critical systems that must provide continuous service (e.g., air-traffic control systems or enterprise and financial applications) require dynamic updates. Dynamic software modification is a useful capability because the application is able to update itself to fix bugs and add new features without requiring a stop and a restart. In this paper, we overview Java solutions considering real-time requirements in service-oriented component models allowing dynamics updates (e.g., OSGi).
Along withthe development of multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. distributed environment turns into complexity and ...
详细信息
Along withthe development of multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. distributed environment turns into complexity and unpredictability. So it is important to improve programming models on language level to make it possible for programmers unfamiliar withdistributed systems to build large-scale applications. Erlang is an actor-based functional programming language that provides language level elements for concurrency. It has capability of describing large quantities of concurrent actions by multiple-process, which communicates asynchronously by sending and receiving messages. But it lacks of data structures and mechanism of language level for inherent concurrent units with a simple way of interaction, which may impede programmers in concurrent programming. Comparing with other computing element models such as Active object and Concurrent Agent, we extend Erlang with a new computing element called "EIC_Unit" and a way of interaction by "futures". It makes programmers to develop concurrent applications more easily and convenient in a distributed environment.
暂无评论