Orientador : Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-01T02:39:02Z (GMT). No. of bitstreams: 1 Senra_RodrigoDiasArruda_M.pdf: 5692776 bytes, checksum: 1742fa697ada7ad703a7f170be9c32f7 (MD5) Previous issue date: 2001 / Resumo: Esta dissertação traz contribuições teóricas e práticas. No plano teórico, apresentamos uma unificação da terminologia de Reflexão Computacional, onde introduzimos o termo para-objeto. Após a compilação de uma série de critérios para se classificar protocolos de meta-objetos (MOPs), analisamos comparativamente os MOPs mais expressivos até o ano 2000 utilizando a terminologia e os critérios propostos por nós. Enfatizamos os MOPs implementados sobre a Máquina Virtual Java. Na fronteira entre o plano teórico e prático, analisamos detalhadamente o MOP de Gua raná, utilizando a terminologia e critérios propostos. O MOP de Guaraná é um protocolo de meta-objetos (MOP), idealizado por Alexandre Oliva, Luiz Eduardo Buzato e Islene Calciolari Garcia, que almeja simplicidade, flexibilidade, reuso de código de meta-nível e independência de linguagem de programação. Nesta dissertação também propomos um modelo de programação para o meta-nível. Segundo este modelo, enunciamos os problemas típicos na programação de meta-nível, a partir dos quais numeramos técnicas para contorná-los. No plano prático é descrita a implementação de GDK: Guaraná Development Kit, constituído por um conjunto de ferramentas que implementam as técnicas propostas e que auxiliam a programação de meta-nível. Entre os componentes do GDK, existem utilitários para depuração e composição de meta-objetos / Abstract: This dissertation brings theoretical and practical contributions. In the theoretical sphere, we propose a unified terminology for Computational Reflection, introducing the term para-object. Moreover, we have compiled cri teria to classify meta-object protocols (MOPs), which is used in a comparative analysis of the most expressive MOPs published till the year 2000. We give emphasis on those implemented on top of a Java Virtual Machine. In the frontier of both theoretical and practical spheres, we make a detailed analysis of the Guaraná MOP, in which we apply the same terminology and criteria that we have previously defined. The Guaraná MOP is a language independent meta-object protocol that aims at simplicity, flexibility and code reuse. It was conceived by Alexandre Oliva, Luiz Eduardo Buzato and Islene Calciolari Garcia. Besides, we propose a meta-programming conceptual model, in which meta-leveI programming issues are raised, and followed by the techniques to tackle them. In the practical sphere, we describe the implementation of GDK: Guaraná Development Kit, which consists of a set of tools that implement the proposed techniques and aid metaleveI programming. Amongst GDK's components, there are tools to aid debugging and meta-object composition / Mestrado / Mestre em Ciência da Computação

Orientador : Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T22:10:33Z (GMT). No. of bitstreams: 1 Siqueira_MarcosAntoniode_M.pdf: 1826752 bytes, checksum: fcc471591edd0b2ec550cc053af568f7 (MD5) Previous issue date: 2002 / Mestrado

Orientadores: Mario Jino, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-24T11:53:46Z (GMT). No. of bitstreams: 1 Ternes_Sonia_M.pdf: 4855023 bytes, checksum: ff6dd907e8bb92d70f2977be4e324c02 (MD5) Previous issue date: 1992 / Resumo: A atividade de evolução de software requer medidas que indiquem o esforço a ser aplicado em uma mudança qualquer no sistema de software. As Matrizes de Probabilidades de Mudanças (Pf e Pc) e as Matrizes de Esforços de Mudanças (Ef e Ec) enfocam a interface entre os módulos que compõem o sistema de software, possibilitando a análise quantitativa dos efeitos colaterais produzidos. Dessas matrizes são obtidas várias medidas de complexidade nos escopos modular e do software que podem indicar, por exemplo, os módulos problemáticos para a atividade de evolução do software. Baseado nessas medidas foram propostos critérios objetivos que podem indicar a necessidade de particíonamento de módulos, redesenho do sistema de software e reimplementacão de módulos ou até mesmo de todo o sistema de software. Esses critérios podem ser utilizados numa metodologia de gerência de um ambiente de desenvolvimento e evolução de software, como apresentado neste trabalho. Finalmente, idéias básicas de um processo de particionamento de software são propostas, tendo como objetivo discutir o processo de obtenção das medidas de complexidade sobre partições de software e reduzir o esforço computacional da atividade de obtenção de métricas. Ferramentas foram produzidas para automatizar o processo de obtenção dessas medidas e critérios / Abstract: Software evolution activities require measures for the prediction of the amount of effort to be applied in any software system change. Probability Matrices (Pf and Pc) and Effort Matrices (Ef and Ec) focus on the interface between modules in the software system and allow a quantitative analysis of the side effects produced by a change. From these matrices, complexity measures are obtained in the modules and system scopes which may indicate, for example, the most troublesome modules for software evolution activities. Criteria based on those measures were proposed to indicate the need of module partitioning, software system redesign and module or software system reimplementation. These criteria can be used in a management methodology of software development and evolution environment which is presented in this work. Finally, basic ideas of a software partition process are proposed with the purpose of examining the process of extracting complexity measures on software partitions and reducing the computational effort in the measures extraction activity. Tools were produced for automation of the process to obtain these measures and criteria / Mestrado / Mestre em Engenharia Elétrica

Orientador: Paulo Licio de Geus / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T12:49:00Z (GMT). No. of bitstreams: 1 Compagno_Ronaldo_M.pdf: 495402 bytes, checksum: 3d3c2861b5212b1ac34cff658c490501 (MD5) Previous issue date: 2005 / Resumo: Atualmente, os sistemas comp utacionais sofrem de vulnerabilidades que exigem de seus mantenedores a aplicação de diversos mecanismos de provisão de segurança. Entre esses mecanismos encontram se os Sistemas de Detecção de Intrus ão (IDS ¿ Intrusion Detection System) que serão explorados neste texto. Este trabalho apresentará uma ferramenta chamada APoGer, desenvolvida em C, que extrai perfis comportamentais de processos através da análise de chamadas ao sistema operacional e os armazena sob forma de políticas de monitoramento. As políticas geradas por APoGer visam alimentar um protótipo de IDS baseado em evidências de ataques e inspirado no sistema imunológico humano. Esse protótipo (ADenoIDS) foi concebido no Laboratório de Administração e Segurança de Sistemas do Instituto de Computação da Universidade Estadual de Campinas (LAS-IC-UNICAMP). Entre as contribuições deste trabalho estão o auxílio no entendimento dos mecanismos de detecção de intrusão e a colaboração com um sistema maior e inovador de detecção de intrusão baseado em evidências de ataque. Isso foi alcançado através da automatização na geração de políticas de comportamento de processos / Abstract: Today¿s computing systems suffer from vulnerabilities that require from their administrators the use of several security mechanisms. Among the most common ones are the Intrusion Detection Systems (IDSs - Intrusion Detection Systems) that will be explored on this paper. This paper will present a tool called APoGer, developed in C, that extracts process behavioral through an analysis of the operating system calls and stores them in monitoring policies. The policies APoGer generates are meant to feed an IDS prototype based on attack evidence and inspired in the human immunological system. This prototype (ADenoIDS) was conceived in the Laboratory of System Administration and Security at the Institute of Computing, State University of Campinas (LAS-IC-UNICAMP). Among the contributions of this work are the understanding of intrusion detection mechanisms and collaboration with a large, innovative intrusion detection project based on attack evidences. This was achieved through the automatic generation of process behavior policies / Mestrado / Redes de Computadores / Mestre em Computação

Orientador: Elnathan Chagas Ferreira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T19:53:26Z (GMT). No. of bitstreams: 1 Sousa_AntonioHeronaldode_M.pdf: 6755137 bytes, checksum: c0c534a5d717e88561ed87d82d76898f (MD5) Previous issue date: 1995 / Resumo: o ONAGROéum sistema tradutor que reconhece uma linguagem gráfica de descrição de algoritmos e possibilita a geração de código em Assembly para microcontroladores. Além do tradutor propriamente dito, ele incorpora um editor gráfico para a entrada do programa-fonte, que se assemelha a um algoritmo descrito em linguagem de fluxogramas. Ele também possui um editor de identificadores que permite a descrição dos símbolos identificadores usados no programa. O sistema ONAGRO opera em ambiente Microsoft Windows, oferecendo uma interface amigável com o usuário. Esta interface baseia-se em estruturas gráficas: ícones, janelas, menus e diálogos que o usuário pode ativar através da utilização do mal/se ou, se preferir, do próprio teclado. O sistema foi desenvolvido para trabalhar em computadores compatíveis com o IBM-PC AT e foi implementado em linguagem Visual C++, usando metodologia orientada ao objeto. Diferentemente dos compiladores tradicionais, ele interage com o usuário através de diálogos logo na entrada das instruções, a fim de diminuir erros posteriores de compilação. Além disso, o ONAGRO permite uma maior rapidez na entrada do programa, pois ele é orientado a ícones e não a textos, como nas linguagens convencionais. A programação em ONAGRO é feita com um elevado nível de abstração dos detalhes de hardware. Entretanto, há mecanismos disponíveis para total controle das características fisicas das aplicações. Os testes realizados mostraram que o ambiente proposto é bastante intuitivo e amigável. A documentação dos programas é feita em tempo-real, visto que o próprio programa-fonte se constitui em uma ótima ferramenta de inspeção. Outro aspecto importante, observado nos testes, foi que o código gerado se mostrou relativamente compacto / Abstract: ONAGRO is a translation system that recognizes an algorithm description graphical language and allows the code generation in Assembly for microcontrollers. Besides, it incorporates a graphic editor for the source-program input that is similar to an algorithm described in flowchart language. ONAGRO has also an identifier editor that allows the identifier symboldescription used on the programo ONAGRO is a fully Microsoft Windows compatible software offering a friendly interface with user. This interface is based on graphical structures: icons, windows, menus and dialogues that the user might activate through the mouse or, if he wishes, through the keyboard. ONAGRO was developed to work on IBM-PC AT compatible computers. It was implementedin Visual C++ language by using object oriented methodology. Differently from the traditional compilers, it interacts with the user through the dialogues immediately in the instructions input to reduce later compiler errors. Besides, ONAGRO allows a major quickness in the program input since it is icon oriented and not text oriented like in the conventional languages. The ONAGRO programming is made with high level abstraction of the hardware details. However, there are available mechanisms for full control of physical characteristics applications. The accomplished tests showed that the proposed environment is very intuitive and friendly. The program documentation is made in real-time since the proper source-program is a good inspection too1. Another important aspect observed in the tests was that the generated code proved to be relatively compact / Mestrado / Mestre em Engenharia Elétrica

Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:12:52Z (GMT). No. of bitstreams: 1 Marana_AparecidoNilceu_M.pdf: 2954078 bytes, checksum: 8e532b96c0182ed58beb59f380d39ea0 (MD5) Previous issue date: 1990 / Resumo: TEX é um sistema de composição computadorizada de textos desenvolvido por Donald E. Knuth que apresenta excelentes resultados a.o compor textos, especialmente textos matemáticos. Com o intuito de auxiliar os usuários de TEX, Leslie Lamport desenvolveu sobre ele o sistema LATEX. Infelizmente, TEX- não dispõe de recursos gráficos e aqueles existentes em LATEX são muito restritos. Descreve-se, neste trabalho, a integração da linguagem FIG ao sistema LATEX. A partir desta integração, o usuário passa a especificar as figuras em FIG no próprio texto, no local onde deseja inseri-Ia. Tais figuras são convertidas em comandos LATEX ou PostScript. No final do processamento, obtêm-se as figuras automaticamente inseridas no texto que, então, pode ser submetido a LATEX. / Abstract: TEX is a computerized typesetting system developed by Donald E. Knuth designed to handle especially well mathematical texts. Leslie Lamport's LATEX system as developed as its extension for relatively all experienced users. TEX does not indude any facilities for drawillg pictures, and those existing in LATEX are very restricted. It's described in this work the integration of the language FIG into the LATEX system wruch allows the user to place the specifications of rus drawings within the LATEX text. These specifications are automatically translated into LATEX or PostScript commands, so that the drawings are inserted into the resulting text / Mestrado / Mestre em Ciência da Computação

Orientadores: Mario Jino, Jose Carlos Maldonato / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T22:24:11Z (GMT). No. of bitstreams: 1 LeitaoJunior_PliniodeSa_M.pdf: 8961188 bytes, checksum: faab8704e2ed32132f9fc88097241a4f (MD5) Previous issue date: 1992 / Resumo: Neste trabalho são discutidos os aspectos de aplicação de teste estrutural baseado em análise de fluxo de dados em programas COBOL. Com esse propósito, uma ferramenta denominada POKE-TOOL [MAL89,CHA91b], que apóia a utilização dos critérios Potenciais Usos [MAL88, MAL91], foi configurada para a linguagem COBOL. São abordados: a caracterização de unidade em programas COBOL; a abstração das estruturas de controle que compõem essa linguagem; o fluxo de dados presente em programas COBOL; e aspectos referentes à Instrumentação de programas COBOL. A discussão ressalta a não trivialidade dessas tarefas: por exemplo, a inexistência de estrutura de bloco na linguagem COBOL dificulta a atividade de Instrumentação de código fonte. Como produto principal desta dissertação, a versão operacional da POKE-TOOL para a linguagem COBOL constitui uma contribuição importante no sentido de apoiar o teste estrutural de unidades escritas em linguagem COBOL / Abstract: This work explores the issues involved in applying data flow based structural testing in COBOL programs; a tool named POKE-TOOL [MAL89,CHA91b] that supports Potential Uses Criteria appllcation [MAL88, MAL91] was configured for the COBOL programming language. The following topics are discussed: characterization of units in COBOL; abstraction of control flow structures; data flow in COBOL and program instrumentation. The presentation points out that these tasks are non-trivial: for example, the lack of block structuring in COBOL makes difficult the instrumentation of source code. As the main product of this thesis, the operational version of the POKE-TOOL for COBOL language constitute an important contribution to structural testing of units implemented in COBOL / Mestrado / Mestre em Engenharia Elétrica

Orientador : Wagner C. Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-16T01:51:41Z (GMT). No. of bitstreams: 1 Ludwig_Artemio_D.pdf: 9026847 bytes, checksum: bf0003b28c02857c43931feb4b9729d1 (MD5) Previous issue date: 1992 / Resumo: A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não sacrifique sua usabilidade. A linguagem de programação para a LOS utiliza os conceitos do À-cálculo e os recursos de tipificação de Russel. Sua sintaxe é portanto mais complexa do que aquela da Lógica de Primeira Ordem (LPO). A técnica de derivação de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que é chamada de resolução. Qualquer sistema de provas em LOS deve atender a restrições de uma linguagem fortemente tipada e a unificação, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-determinística e faz com que a derivação contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programação em LPO. Este trabalho expõe e analisa a implementação de um interpretador para a LOS sujeita a sentenças definidas positivas as quais contêm propriedades adequadas à mecanização semelhantes àquelas das cláusulas de HORN da LPO. Problemas de indecidibilidade são contornados e os vários aspectos computacionais são descritos como a formação da base de conhecimento, sua gramática e a P-derivação, que é o método de obtenção de provas sobre a base. Central a estes procedimentos encontra-se a unificação que apresenta complexidade elevada e cujo processamento é razão de depauperação na qualidade do sistema. Uma proposta de enfoque alternativa é oferecida com o propósito de atenuar os efeitos sobre a lentidão do sistema. O algoritmo resultante indica ganhos no desempenho e apresenta uma interpretação mais facilitada do mecanismo da unificação / Abstract: Efficient Interpreter implementations for Righer Order Logic (ROL) programming language still remain as a challenge that can be splitted into two classes: (a) to make the language friendlier in order to stimulate the user to adopt it, and (b) to provi de the interpreter with a performance that does not damage its usability. This paper resulted from an ROL interpreter prototypation, called À-PROLOG. Only the positive definite sentençes are used in the language. They are similar to those of the First Order Logic (FOL) programing language and present some apropriate mechanization properties. One kind of implementation is discribed and its computational aspects are analysed. They include the knowledgernent base formation, the grarnrnar of the sentences and the P-derivation, which is the method of deriving proofs over the base. The unification is the most important interpreter procedure and has high complexity. Its processing is one of the reazons for the depaupering of system quality. In this paper the analisies of the MATCR and SIMPL algorithms that were developed for this purpose are used to supply a new unification algorithm which, in contrast to MATCR, shows initial performance gains and an easier procedural interpretation oí the unification mechanism / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador : Carlos Ignacio Zamitti Mammana / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T09:45:43Z (GMT). No. of bitstreams: 1 Affonso_MauriciodeVasconcelos_M.pdf: 11582129 bytes, checksum: 0d0d694f25a6a14238193d01d686b43d (MD5) Previous issue date: 1993 / Resumo: Visando contribuir para o enriquecimento dos meios disponíveis para a formação de recursos humanos na área de eletrônica, foi proposto o desenvolvimento de um Sistema de Aquisição de Dados - SAD que, atuando de forma integrada com o Sistema Didático de Projetos - SDP utilizado nos laboratórios de Microeletrônica da Escola Brasileiro-Argentina de Informática, tem como objetivo compor um ambiente completo - com baixo custo - voltado a laboratórios de ensino de eletrônica. Este trabalho, inserido nos objetivos mais amplos propostos para o SAD, abrange: a) a especificação de linguagens textuais para a descrição de experimentos em circuitos eletrônicos, baseadas em linguagens de descrição de simulações; b) a descrição da implementação dos protótipos de duas ferramentas computacionais, a primeira delas voltada à análise gráfica de resultados de simulações e medidas analógicas e paramétricas e a segunda voltada à programação, execução e análise de resultados de testes funcionais de circuitos de lógica digital. Através dessas ferramentas será possível não só a comparação entre os resultados experimentais e de simulação como também a extração de parâmetros de dispositivos e circuitos eletrônicos / Mestrado / Mestre em Engenharia Elétrica

Orientador : Mauricio Ferreira Magalhães / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T14:21:10Z (GMT). No. of bitstreams: 1 AdanCoello_JuanManuel_D.pdf: 7801665 bytes, checksum: 75491186891931ccf8c0145598347736 (MD5) Previous issue date: 1993 / Resumo: Um sistema de tempo-real deve atender às restrições temporais das aplicações a que está associado, e ser facilmente reconfigurável para adaptar-se às mudanças que deverão ocorrer ao longo da sua vida útil. Isto é, um sistema de tempo-real deve ser previsível e flexível. Esta tese procura contribuir para a concepção de ambientes de desenvolvimento de sistemas distribuídos de tempo-real, mostrando que a produção de sistemas flexíveis e previsíveis é viável. Para isso, é proposto um modelo de programação suportado por duas linguages de programação (a LPM-RC e a LCM-RC) integradas a uma estratégia de escalonamento. No modelo de programação proposto, aplicações são construídas combinando módulos de "software" reusáveis, o que lhes confere um alto grau de reconfigurabilidade. As restrições temporais de um módulo (periodicidade e prazo de término) não são parte do módulo propriamente dito, e sim do contexto onde é usado (das aplicações). Módulos podem compartilhar recursos usando os serviços oferecidos por servidores. Estes últimos, diferenciam-se dos demais módulos (clientes) por não terem restrições temporais próprias; eles herdam as restrições temporais dos clientes que estão atendendo. Uma interação cliente-servidor pode incluir tanto a execução de um único serviço como a execução de uma seqüência de serviços em exclusão mútua (relativamente aos demais clientes do servidor). Para mostrar a viabilidade do modelo e das linguagens propostas, do ponto de vista do cumprimento das restrições temporais de aplicações, é proposta uma estratégia de escalonamento, integrada às linguagens, em três níveis: 1) escalonamento "off-line" para os módulos periódicos, 2) escalonamento dinâmico dirigido por tempo para os módulos aperiódicos e 3) escalonamento dinâmico de módulos sem restrições de tempo, usando os períodos em que não há módulos com restrições de tempo para executar. Como parte da validação da estratégia de escalonamento, mostra-se como extrair de um programa as informações relevantes para fins de escalonamento e propõe-se um algoritmo para o escalonamento de módulos com restrições temporais críticas (periódicos). Este algoritmo, baseado em outro disponível na literatura, além de buscar um escalonamento que atenda às restrições de tempo, recursos e localização dos módulos periódicos, procura facilitar o escalonamento dinâmico de módulos aperiódicos. Isto é feito balanceando a carga do sistema e determinando "janelas de escalonamento" para os módulos periódicos, em lugar de instantes rígidos de início. O algoritmo "off-line" foi avaliado através de simulações. Procurou-se, nas simulações, determinar a eficácia do algoritmo em encontrar escalonamentos factíveis usando diversas heurísticas. Em cada caso, foram medidas as taxas de sucesso do algoritmo e o custo computacional associado. Experimentos específicos foram conduzidos para avaliar a eficácia e o custo das estratégias de balanceamento de carga, assim como o seu impacto nas taxas de sucesso do algoritmo / Abstract: A real-time system should meet the timing requirements imposed by the application it implements, i.e., it should be predictable. A real-time system should also be easy to reconfigure in order to adapt to the changes that are likely to occur during its life time, i .e, it should be flexible. The main objective of this thesis is to contribute to the design of distributed real-time systems development environments. Particularly, it is intended to show that the production of flexible and yet predictable systems is feasible. To reach this objective it is proposed a programming model, supported by two programming languages (LPM-RC and LCM-RC) integrated to a scheduling strategy. In the proposed model, applications are constructed combining reusable modules of software, leading to highly reconfigurable systems. Modules' temporal restrictions (periodicity and deadline) are not attributes of the modules themselves, but instead depend on the context in which they are used (the applications). Modules can share resources with the aid of servers. Servers do not have their own timing requirements, but inherit their clients' timing constraints. A client-server interaction may involve the execution of a single service or the execution of a sequence of services in mutual exclusion from other clients. The objective of the scheduling strategy integrated to the languages is to try to meet applications' timing constraints. The scheduling strategy is structured into three levels: 1) off-line scheduling of periodic modules, 2) time driven dynamic scheduling of aperiodic modules, and 3) dynamic scheduling of modules without timing constraints, when there are no periodic or aperiodic modules running. As part of the validation of the scheduling strategy, it is shown how to extract from a program the information needed for its scheduling, and proposed an algorithm to schedule periodic modules. This algorithm is based on an off-line heuristic algorithm available in the literature, extended to support the peculiarities of the proposed mode!. The extended algorithm, searchs for a schedule that meets the timing, resource and placement constraints of periodic modules. Besides that, the algorithm also tries to balance the system load, in the time and space domains, in order to improve its fault tolerance and, particularly, the schedulability of aperiodic modules. The off-line scheduling algorithm was evaluated applying to it sets of periodic modules with a wide range of time related characteristics. The conducted experiments aimed at determine the success rates and computational costs of the algorithm, using different heuristics. Specific experiments were also conducted to investigate the effectiveness and cost of the load balance strategies, as well as its influence on the success rate of the algorithm in finding feasible schedules / Doutorado / Doutor em Engenharia Elétrica