44442404
Integrated 3-D Animation System for Decentralized Controlled Space Telescope Test-bed
38191842
Modeling of End-to-End Transmission of Astronomical Images over Lossy Network
2048896
The Use of Parallel Processing to Achieve Decentralized Control of a Segmented Reflector Telescope
15990035
Content-based retransmission for 3-D wavelet video streaming on the Internet
Improving the QoS of video streaming with packet loss is a challenging topic of research. In this paper, we propose a novel content-based retransmission scheme to address this issue. The basic idea is to jointly consider the packets' contents and the channel conditions to optimize QoS. The goal is to deliver the best quality of video possible under the same channel condition. Using the proposed retransmission scheme, we have designed a 3D wavelet video streaming system. Simulation results show that the content-based retransmission can improve the video quality by more than 2 dB compared with the existing non-content-based delay-constrained retransmission when the channel loss rate is high.
7872291
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TCOZ inherits CSP's channel-based communication mechanism, in which messages represent discrete synchronisations between processes. The purpose of most control systems is to observe and control analog components. In such cases, the interface between the control system and the controlled systems cannot be satisfactorily described using the channel mechanism. In order to address this problem, TCOZ is extended with continuous-function interface mechanisms inspired by process control theory, the sensor and the actuator. The utility of these new mechanisms is demonstrated through their application to the design of an automobile cruise control system.
6426341
Event-based blackboard architecture for multi-agent systems
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the architectural design is critical to cope with the increasing size and complexity of these systems. The multi-agent system that accesses a central repository is typically based on the blackboard architectural pattern. However, the control strategies of the agents are inherently complex. In this paper, we present an event-based control strategy to manage the access of central repository by multi-agents. In this approach, the blackboard pattern is composed with the implicit invocation pattern to separate the control policies from the control component so that the architecture is ease of evolution, reuses and changes.
18649413
Capturing periodic concurrent interactions of mission computer tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, i.e. functionality and timing constraints may be altered. Therefore, the formal specification of such systems needs to be easily reused, maintained and modified. This paper demonstrates how the task scheduling aspects of an aircraft mission computer can be formalised in TCOZ.
17533115
A Behavioral Analysis Approach to Pattern-Based Composition
This paper introduces a rigorous analysis approach to software design composition based on automated verification techniques. We show how to represent, instantiate and integrate design components, and how to find design composition errors using model checking techniques. We illustrate our approach with a Web-based hypermedia case study since hypermedia documents and systems are now becoming complex software applications, which are component-based.
10543361
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other patterns as well. The instantiation and integration operations are two important operations when a designer uses a design pattern in a particular application. In this paper, we investigate the commutability of these two operations based on our formal specification framework. We provide rigorous proofs on the conditions when the order of these two operations does not matter. Our results enable the software designers to choose their design processes with assurance of their equivalence.