Este trabalho de mestrado propõe uma plataforma para o desenvolvimento e a execução de aplicações distribuídas em grids computacionais. Tal plataforma visa simplificar o desenvolvimento dessas aplicações, ao mesmo tempo em que as torna capazes de usar recursos compartilhados em um grid. No esquema proposto, o ambiente de desenvolvimento do grid tem estreito relacionamento com o próprio grid, na medida em que o grid distribui a execução dos programas gerados pelo ambiente de desenvolvimento de forma automática. Além de definir a forma de desenvolver as aplicações, o presente trabalho de mestrado também propõe uma infra-estrutura para grids composta por um sistema de troca de mensagens, um escalonador baseado na teoria fuzzy e um mecanismo simples de persistência distribuída. / This thesis proposes a platform for computational grids distributed applications development and execution. The purpose of this platform is to simplify the development of such applications while delivering access to shared resources in a grid environment. In the proposed schema, the grid development environment has a close link with the grid itself as the grid distributes the execution of programs created by the development environment in an automated fashion. Besides presenting a way to develop applications, this thesis also proposes a grid infrastructure composed by a message system, a job scheduler based on fuzzy theory and a simple mechanism of distributed persistence.

Este trabalho de mestrado propõe uma plataforma para o desenvolvimento e a execução de aplicações distribuídas em grids computacionais. Tal plataforma visa simplificar o desenvolvimento dessas aplicações, ao mesmo tempo em que as torna capazes de usar recursos compartilhados em um grid. No esquema proposto, o ambiente de desenvolvimento do grid tem estreito relacionamento com o próprio grid, na medida em que o grid distribui a execução dos programas gerados pelo ambiente de desenvolvimento de forma automática. Além de definir a forma de desenvolver as aplicações, o presente trabalho de mestrado também propõe uma infra-estrutura para grids composta por um sistema de troca de mensagens, um escalonador baseado na teoria fuzzy e um mecanismo simples de persistência distribuída. / This thesis proposes a platform for computational grids distributed applications development and execution. The purpose of this platform is to simplify the development of such applications while delivering access to shared resources in a grid environment. In the proposed schema, the grid development environment has a close link with the grid itself as the grid distributes the execution of programs created by the development environment in an automated fashion. Besides presenting a way to develop applications, this thesis also proposes a grid infrastructure composed by a message system, a job scheduler based on fuzzy theory and a simple mechanism of distributed persistence.

International Telemetering Conference Proceedings / October 28-31, 1996 / Town and Country Hotel and Convention Center, San Diego, California / A distributed architecture framework has been developed for NASA at Goddard Space Flight Center (GSFC) as the basis for developing an extended series of space mission support data systems. The architecture is designed to include both mission development and operations. It specifically addresses the problems of standardizing a framework for which commercial off-the-shelf (COTS) applications and infrastructure are expected to provide most of the components of the systems. The resulting distributed architecture is developed based on a combination of a layered architecture, and carefully selected open standards. The layering provides the needed flexibility in mission design to support the wide variability of mission requirements. The standards are selected to address the most important interfaces, while not over constraining the implementation options.

No description available.

No description available.

No description available.

No description available.

This thesis presents a resource based approach to model generation for performance characterization and correctness checking of large scale telecommunications networks. A notion called the timed automaton is proposed and then developed to encapsulate behaviours of networking equipment, system control policies and non-deterministic user behaviours. The states of pooled network resources and the behaviours of resource consumers are represented as continually varying geometric patterns; these patterns form part of the data operated upon by the timed automata. Such a representation technique allows for great flexibility regarding the level of abstraction that can be chosen in the modelling of telecommunications systems. None the less, the notion of system functions is proposed to serve as a constraining framework for specifying bounded behaviours and features of telecommunications systems. Operational concepts are developed for the timed automata; these concepts are based on limit preserving relations. Relations over system states represent the evolution of system properties observable at various locations within the network under study. The declarative nature of such permutative state relations provides a direct framework for generating highly expressive models suitable for carrying out optimization experiments. The usefulness of the developed procedure is demonstrated by tackling a large scale case study, in particular the problem of congestion avoidance in networks; it is shown that there can be global coupling among local behaviours within a telecommunications network. The uncovering of such a phenomenon through a function oriented simulation is a contribution to the area of network modelling. The direct and faithful way of deriving performance metrics for loss in networks from resource utilization patterns is also a new contribution to the work area.

This thesis proposes a new dynamic resource management architecture, Magnet, to meet the requirements of users in flexible and adaptive systems. Computer systems no longer operate in centralized isolated static environments. Technological advances, such as smaller and faster hardware, and higher reliability of networks have resulted in the growth of mobility of computing and the need for run-time reconfigurability. The dynamic management of this diversity of resources is the central issue addressed in this thesis. Applications in environments with frequently changing characteristics are required to participate in dynamic resource management, to adapt to ever-changing conditions, and to express their requirements in terms of quality of service. Magnet enables dynamic trading of resources which can be requested indirectly by the type of service they offer, rather than directly by their name. A dedicated component, the Trader, matches requests for services against demands and establishes a component binding - resource allocation. In addition, the architecture is extensible - it does not constrain the information on services and allows user-customization of the matching process. Consequently, this allows resource definitions to be parametrized (to include QoS-based characteristics), and the matching process to be user-customized (to preform QoS-based negotiation). In order to fulfill the requirements of users relying on ever-changing conditions, Magnet enables runtime adaptation (dynamic rebinding) to changes in the environment, constant monitoring of resources, and scalability of the architecture. The generality of the Magnet architecture is illustrated with several examples of resource allocation in dynamic environments.

The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors when the program is put into service. We assumethat such programs do contain errors, and investigate methodsfor building reliable systems despite such errors. The research has resulted in the development of a newprogramming language (called Erlang), together with a designmethodology, and set of libraries for building robust systems(called OTP). At the time of writing the technology describedhere is used in a number of major Ericsson, and Nortelproducts. A number of small companies have also been formedwhich exploit the technology. The central problem addressed by this thesis is the problemof constructing reliablesystems from programs which maythemselves contain errors. Constructing such systems imposes anumber of requirements on any programming language that is tobe used for the construction. I discuss these languagerequirements, and show how they are satisfied by Erlang. Problems can be solved in a programming language, or in thestandard libraries which accompany the language. I argue howcertain of the requirements necessary to build a fault-tolerantsystem are solved in the language, and others are solved in thestandard libraries. Together these form a basis for buildingfault-tolerant software systems. No theory is complete without proof that the ideas work inpractice. To demonstrate that these ideas work in practice Ipresent a number of case studies of large commerciallysuccessful products which use this technology. At the time ofwriting the largest of these projects is a major Ericssonproduct, having over a million lines of Erlang code. Thisproduct (the AXD301) is thought to be one of the most reliableproducts ever made by Ericsson. Finally, I ask if the goal of finding better ways to programTelecom applications was fulfilled --- I also point to areaswhere I think the system could be improved.