Component-based applications require runtime support to be able to guarantee non-functional properties. This report proposes an architecture for a real-time-capable, component-based runtime environment, which allows to separate non-functional and functional concerns in component-based software development. The architecture is presented with particular focus on three key issues: the conceptual architecture, an approach including implementation issues for splitting the runtime environment into a real-time-capable and a real-time-incapable part, and details of contract negotiation. The latter includes selecting component implementations for instantiantion based on their non-functional properties.

As systems complexity grows, so grows the risk of errors, that's why it's necessary to effectively and reliably repair those errors. With most of real-time systems this statement pays twice, because a single error can cause complete system crash which may result in catastrophe. Formal verification, contrary to other methods, allows reliable system requirements verification.

No description available.

No description available.

International Telemetering Conference Proceedings / October 26-29, 1998 / Town & Country Resort Hotel and Convention Center, San Diego, California / Current changes in the way that large flight test systems are utilized have affected the industry’s methodology in both the early design phases and in the implementation of nextgeneration hardware and software. The reduction of available RF spectrum, the implementation of packet telemetry methods and systems, and a desire to implement commercial-off-the-shelf (COTS) hardware are only some of the considerations that telemetry systems integrators and product houses have to face. This paper describes how test methodology changes affect current large systems design at both government test ranges and at airframe/missile manufacturer test facilities. In addition, consideration is given to the area of increased processing power as it affects hardware and software design, the leveraging of such current and future telecommunications technology as network switch technology and compression, cross utilization, standardized technology, and the movement toward platform-independent software.

Made available in DSpace on 2016-06-02T19:06:00Z (GMT). No. of bitstreams: 1 4732.pdf: 3415662 bytes, checksum: 0b118a8a41e64b0a67c7b0956df6d970 (MD5) Previous issue date: 2012-09-12 / Universidade Federal de Sao Carlos / Immersive, interactive, and collaborative distributed applications, due to their real time and multi-platform characteristics, require a monitoring structure of their functionalities during the development period, which is not fully available in the current monitoring systems, which are usually specific of the languages and platforms in which they are made available. Monitoring systems that require synchronism of distributed objects during the processing is a complex task. Especially in distributed systems from multi-projection where timing is critical to its operation. It is often difficult to check the correct execution of the system. It might be useful for developers and users of such systems to have the ability of identifying, for example, if the reason for the system delay is due to the abusive use of a resource or due to programming mistakes; the identification of which object has crashed, compromising the system as a whole. Distributed object systems, also known as SOA (Service Oriented Architecture), generally use middleware of the broker type in their infrastructure and can have a dynamic number of connected clients or servers when running. There are, in the literature, several tools for the monitoring of performance, resources, debugging, and support, among others, of such systems. Nevertheless, the tools available in the literature are limited to programming languages or platforms that are able to process the monitoring agents related to them. In this work, a tool for the monitoring of distributed object systems is proposed, based on communication described in XML documents, which allows language and platform independence in the such systems development. A structure for the design of tools for the monitoring of distributed object systems is proposed, based on communication described in XML documents, which allows language and platform independence in the such systems development. In addition to the structure that is theoretically founded, the conception of a tool is structured in the manner described and proven in monitoring data from a case study. / Aplicações Distribuídas Imersivas, Interativas e Colaborativas, dadas suas características de tempo real e multiplataformas, demandam uma estrutura de monitoramento de suas funcionalidades, não plenamente disponíveis nos sistemas atuais de monitoramento, em geral específicos das linguagens e plataformas em que são disponibilizadas. Monitorar sistemas que necessitam de sincronismo no processamento de objetos distribuídos é uma tarefa complexa. Principalmente em sistemas distribuídos e de multiprojeção, onde o sincronismo é fundamental para seu funcionamento. Muitas vezes, é difícil apurar o correto funcionamento dos mesmos. Pode ser útil a desenvolvedores e usuários de tais sistemas a capacidade de se identificar, por exemplo, se a lentidão do sistema está sendo ocasionada por: uso abusivo de um recurso; por um erro na programação de um objeto ou; a identificação de qual objeto travou, comprometendo o sistema como um todo. Sistemas de objetos distribuídos, também conhecidos como SOA (Service Oriented Archtecture), geralmente utilizam mediadores do tipo broker em sua infraestrutura e podem ter um número dinâmico de clientes ou servidores conectados quando estão em execução. Existem na literatura diversas ferramentas destinadas ao monitoramento de performance, recursos, depuração, auxílio, manutenção de tais sistemas, etc. Porém, as ferramentas encontradas na literatura são restritas a linguagens ou plataformas que possam processar os agentes de monitoramento vinculados às mesmas. Neste trabalho, é proposta uma estrutura para a concepção de ferramentas para o monitoramento de sistemas de objetos distribuídos baseados em comunicações descritas em documentos XML, o que permite independência de linguagem ou plataforma na concepção de tais sistemas. Além da estrutura que é teoricamente fundamentada, a concepção de uma ferramenta nos moldes estruturados é descrita e provada no monitoramento de um estudo de caso.

Orientador : Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T11:36:11Z (GMT). No. of bitstreams: 1 Pinto_RossanoPablo_M.pdf: 4038055 bytes, checksum: 081c94230d9ae2f24d47fc5d2f8c3fc0 (MD5) Previous issue date: 2001 / Resumo: Pinto, Rossano Pablo, "Sessão de Acesso TINA com Suporte à Adaptação de Serviços Através de Agentes Móveis". Tese de Mestrado - DCA/FEEC/UNICAMP, Campinas, SP. Julho 2001. Esta dissertação apresenta a implementação de uma protótipo que faz uso da Arquitetura de Serviço TINA e de um modelo para adaptação de serviços em domínios visitados (MASDV) visando prover ubiqüidade de serviços. TINA apresenta conceitos importantes para a área de telecomunicações como a separação do acesso e uso de serviços. Estas separações são chamadas de sessões. A arquitetura de serviço define três sessões: acesso, serviço e comunicação. MASDV supri algumas deficiências encontradas em TINA e faz uso de agentes móveis "inteligentes" (autônomos) na adaptação de serviços para uso em domínios que um usuário não possui contrato / Abstract: This dissertation presents the implementation of a prototype that is based upon the TINA ServiceArchitecture and upon a model for service adaptation under visited domains (SAVD) in order to provide service ubiquity. TINA offers important concepts to the telecommunications area, like separation between the access and use of services. These separations are called sessionso The service architecture defines three sessions: access, service and communication. SAVD completes TINA where some desireble features lacko SAVD uses Intelligent (Autonomous) Mobile Agents to adapt services for use in domains which a user hasn't signed a contract / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica