Verifying service continuity in a satellite reconfiguration procedure: application to a satellite

The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software

Priority Control in ATM Network for Multimedia Services

The communication network of the near future is going to be based on Asynchronous Transfer Mode (ATM) which has widely been accepted by equipment vendors and service providers. Statistical multiplexing technique, high transmission speed and multimedia services render traditional approaches to network protocol and control ineffective. The ATM technology is tailored to support data, voice and video traffic using a common 53 byte fixed length cell based format with connection oriented routing. Traffic sources in A TM network such as coded video and bulk data transfer are bursty. These sources generate cells at a near-peak rate during their active period and generate few cells during relatively long inactive period. Severe network congestion might occur as a consequence of this dynamic nature of bursty traffic. Even though Call Admission Control (CAC) is appropriately carried out for deciding acceptance of a new call, Quality of Service (QOS) may be beyond the requirement limits as bursty traffic are piled up. So, priority control, in which traffic stream are classified into several classes according to their QOS requirements and transferred according to their priorities, becomes an important research issue in ATM network. There are basically two kinds of priority management schemes: time priority scheme that gives higher priority to services requiring short delay time and the space priority scheme that gives high priority cells requiring small cell loss ratio. The possible drawbacks of these time and space priority schemes are the processing overhead required for monitoring cells for priority change, especially in the case of time priority schemes. Also, each arriving cell needs to be time stamped. The drawback of the space priority scheme lies in the fact that buffer management complexity increases when the buffer size becomes large because cell sequence preservation requires a more complicated buffer management logic. In this thesis, a Mixed Priority Queueing or MPQ scheme is proposed which includes three distinct strategies for priority control method -- buffer partitioning, allocation of cells into the buffer and service discipline. The MPQ scheme is, by nature, a non-fixed priority method in which delay times and loss probabilities of each service class are taken into account and both delay times and loss probabilities can be controlled with less dependency compared with the fixed priority method, where priority grant rule is fixed according to the service class, and the priority is always given to the highest class cell among cells existing in the buffer. The proposed priority control is executed independently at each switching node as a local buffer management. Buffer partitioning is applied to overcome the weakness of the single buffer

The Impact of the Internet on Telecommunication Architectures

The ever-growing popularity of the Internet is dramatically changing the landscape of the communications market place. The two separate worlds of the Internet and Telecommunications are converging. The respective advantages of the two environments are being integrated to fulfill the promise of the information super-highways. In this paper, we examine the impact of the Internet on the main telecommunication architectures, namely the IN, the TMN and TINA. There are two new tendencies for implementing telephony services in combination with the Internet: running part of the control sys tem over the Internet, or conveying both the user data and the control information over the Internet. We examine these two trends, and elaborate on possible ways of salvaging the best parts of the work achieved by the TINA-Consortium in the Internet context

IP and ATM integration: A New paradigm in multi-service internetworking

ATM is a widespread technology adopted by many to support advanced data communication, in particular efficient Internet services provision. The expected challenges of multimedia communication together with the increasing massive utilization of IP-based applications urgently require redesign of networking solutions in terms of both new functionalities and enhanced performance. However, the networking context is affected by so many changes, and to some extent chaotic growth, that any approach based on a structured and complex top-down architecture is unlikely to be applicable. Instead, an approach based on finding out the best match between realistic service requirements and the pragmatic, intelligent use of technical opportunities made available by the product market seems more appropriate. By following this approach, innovations and improvements can be introduced at different times, not necessarily complying with each other according to a coherent overall design. With the aim of pursuing feasible innovations in the different networking aspects, we look at both IP and ATM internetworking in order to investigating a few of the most crucial topics/ issues related to the IP and ATM integration perspective. This research would also address various means of internetworking the Internet Protocol (IP) and Asynchronous Transfer Mode (ATM) with an objective of identifying the best possible means of delivering Quality of Service (QoS) requirements for multi-service applications, exploiting the meritorious features that IP and ATM have to offer. Although IP and ATM often have been viewed as competitors, their complementary strengths and limitations from a natural alliance that combines the best aspects of both the technologies. For instance, one limitation of ATM networks has been the relatively large gap between the speed of the network paths and the control operations needed to configure those data paths to meet changing user needs. IP\u27s greatest strength, on the other hand, is the inherent flexibility and its capacity to adapt rapidly to changing conditions. These complementary strengths and limitations make it natural to combine IP with ATM to obtain the best that each has to offer. Over time many models and architectures have evolved for IP/ATM internetworking and they have impacted the fundamental thinking in internetworking IP and ATM. These technologies, architectures, models and implementations will be reviewed in greater detail in addressing possible issues in integrating these architectures s in a multi-service, enterprise network. The objective being to make recommendations as to the best means of interworking the two in exploiting the salient features of one another to provide a faster, reliable, scalable, robust, QoS aware network in the most economical manner. How IP will be carried over ATM when a commercial worldwide ATM network is deployed is not addressed and the details of such a network still remain in a state of flux to specify anything concrete. Our research findings culminated with a strong recommendation that the best model to adopt, in light of the impending integrated service requirements of future multi-service environments, is an ATM core with IP at the edges to realize the best of both technologies in delivering QoS guarantees in a seamless manner to any node in the enterprise

Extreme at-the-money skew in a local volatility model

We consider a local volatility model, with volatility taking two possible values, depending on the value of the underlying with respect to a fixed threshold. When the threshold is taken at-the-money, we establish exact pricing formulas and compute short-time asymptotics of the implied volatility surface. We derive an exact formula for the at-the-money implied volatility skew, which explodes as T-1/2, reproducing the empirical "steep short end of the smile". This behavior does not depend on the precise choice of the parameters, but simply follows from the "regime-switch" of the local volatility at-the-money

An occam Style Communications System for UNIX Networks

This document describes the design of a communications system which provides occam style communications primitives under a Unix environment, using TCP/IP protocols, and any number of other protocols deemed suitable as underlying transport layers. The system will integrate with a low overhead scheduler/kernel without incurring significant costs to the execution of processes within the run time environment. A survey of relevant occam and occam3 features and related research is followed by a look at the Unix and TCP/IP facilities which determine our working constraints, and a description of the T9000 transputer's Virtual Channel Processor, which was instrumental in our formulation. Drawing from the information presented here, a design for the communications system is subsequently proposed. Finally, a preliminary investigation of methods for lightweight access control to shared resources in an environment which does not provide support for critical sections, semaphores, or busy waiting, is made. This is presented with relevance to mutual exclusion problems which arise within the proposed design. Future directions for the evolution of this project are discussed in conclusion

Earth orbital teleoperator systems evaluation

The mechanical extension of the human operator to remote and specialized environments poses a series of complex operational questions. A technical and scientific team was organized to investigate these questions through conducting specific laboratory and analytical studies. The intent of the studies was to determine the human operator requirements for remotely manned systems and to determine the particular effects that various system parameters have on human operator performance. In so doing, certain design criteria based on empirically derived data concerning the ultimate control system, the human operator, were added to the Teleoperator Development Program

Extreme at-the-money skew in a local volatility model

We consider a local volatility model, with volatility taking two possible values, depending on the value of the underlying with respect to a fixed threshold. When the threshold is taken at-the-money, we establish exact pricing formulas and compute short-time asymptotics of the implied volatility surface. We derive an exact formula for the at-the-money implied volatility skew, which explodes as T-1/2, reproducing the empirical "steep short end of the smile". This behavior does not depend on the precise choice of the parameters, but simply follows from the "regime-switch" of the local volatility at-the-money

Human Activity Modelling in the Specification of Operational Requirements: Work in Progress

This paper describes our experience of integrating HCI concepts and techniques into a concurrent requirements engineering process called RESCUE. We focus on the use of a model of current human activity to inform specification of a future system. We show how human activity descriptions, written using a specially designed template, can facilitate the authoring of use case descriptions to be used in the elicitation of requirements for complex socio-technical systems. We describe our experience of using descriptions of human activity, written using the template, to support specification of operational requirements for DMAN, a system to support air traffic controllers in managing the departure of aircraft from airports. We end with a discussion of lessons learnt from our experience and present some ideas for future development of work in this area

Synthesis of a control model for a liquid nitrogen cooled, closed circuit, cryogenic nitrogen wind tunnel and its validation

The details of the efforts to synthesize a control-compatible multivariable model of a liquid nitrogen cooled, gaseous nitrogen operated, closed circuit, cryogenic pressure tunnel are presented. The synthesized model was transformed into a real-time cryogenic tunnel simulator, and this model is validated by comparing the model responses to the actual tunnel responses of the 0.3 m transonic cryogenic tunnel, using the quasi-steady-state and the transient responses of the model and the tunnel. The global nature of the simple, explicit, lumped multivariable model of a closed circuit cryogenic tunnel is demonstrated