Nous proposons dans cette thèse plusieurs contributions relatives à la vérification quantitative des systèmes. Cette discipline vise à évaluer les propriétés fonctionnelles et les performances d'un système. Une telle vérification requiert deux ingrédients : un modèle formel de représentation d'un système et une logique temporelle pour exprimer la propriété considérée. L'évaluation est alors faite par une méthode statistique ou numérique. La complexité spatiale des méthodes numériques, proportionnelle à la taille de l'espace d'états, les rend impraticables si les systèmes présentent une combinatoire importante. La méthode de comparaison stochastique basée sur les chaînes de Markov censurées réduit la mémoire occupée en restreignant l'analyse à un sous-ensemble des états de la chaîne originale. Dans cette thèse nous fournissons de nouvelles bornes dépendant de l'information disponible relative à la chaîne. Nous introduisons une nouvelle logique temporelle quantitative appelée Hybrid Automata Stochastic Logic (HASL), pour la vérification des processus stochastiques à événements discrets (DESP).HASL emploie les automates linéaires hybrides (LHA) pour sélectionner des préfixes de chemins d'exécution d'un DESP. LHA permet de collecter des informations élaborées durant la génération des chemins, fournissant ainsi à l'utilisateur un moyen d'exprimer des mesures sophistiquées. HASL supporte donc des raisonnements temporels mixés avec une analyse à base de récompenses. Nous avons aussi développé COSMOS, un outil qui implémente la vérification statistique de formules HASL pour des réseaux de Petri stochastiques. Les ateliers flexibles (FMS) ont souvent été modélisés par des réseaux de Petri. Cependant le modélisateur doit avoir une bonne connaissance de ce formalisme. Afin de faciliter cette modélisation nous proposons une méthodologie de modélisation compositionnelle orientée vers les applications qui ne requiert aucune connaissance des réseaux de Petri. / We propose in this thesis several contributions related to the quantitative verification of systems. This discipline aims to evaluate functional and performance properties of a system. Such a verification requires two ingredients: a formal model to represent the system and a temporal logic to express the desired property. Then the evaluation is done with a statistical or numerical method. The spatial complexity of numerical methods which is proportional to the size of the state space of the model makes them impractical when the state space is very large. The method of stochastic comparison with censored Markov chains is one of the methods that reduces memory requirements by restricting the analysis to a subset of the states of the original Markov chain. In this thesis we provide new bounds that depend on the available information about the chain. We introduce a new quantitative temporal logic named Hybrid Automata Stochastic Logic (HASL), for the verification of discrete event stochastic processes (DESP). HASL employs Linear Hybrid Automata (LHA) to select prefixes of relevant execution paths of a DESP. LHA allows rather elaborate information to be collected on-the-fly during path selection, providing the user with a powerful mean to express sophisticated measures. In essence HASL provides a unifying verification framework where temporal reasoning is naturally blended with elaborate reward-based analysis. We have also developed COSMOS, a tool that implements statistical verification of HASL formulas over stochastic Petri nets. Flexible manufacturing systems (FMS) have often been modelized by Petri nets. However the modeler should have a good knowledge of this formalism. In order to facilitate such a modeling we propose a methodology of compositional modeling that is application oriented and does not require any knowledge of Petri nets by the modeler.

Title: Data Processing in a Generic Benchmarking Environment Author: Radek Mácha Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Andrej Podzimek, Department of Distributed and Dependable Systems Abstract: In September 2013, at the Charles University in Prague, Faculty of Mathematics and Physics, a software project implementing the third incarnation of a generic bench- marking environment aimed at performance evaluation of networked applications was presented: EverBEEN. Despite significant advancements achieved by this incarnation in both reliability and ease of use, EverBEEN still came out somewhat wanting in terms of commercial usability. One of its major shortcomings was the absence of a standardized way of data extraction and processing. The want of such means in EverBEEN laid foundation to the central question of this thesis: How to extract and process data from a framework like EverBEEN, with no prior knowledge of the structure of said data? Albeit centered on the creation of a common, reusable data extraction and aggregation codebase for said framework, this thesis also strives to analyze means of automating EverBEEN control-flow and incorporating the framework, and its data processing, into continuous integration. Keywords: performance evaluation, data processing,...

More and more so-called soft real-time traffic is being sent over IP-based networks. The bursty, data-limited traffic pattern as well as the latency requirements from this traffic present challenges to the traditional communication techniques, designed for bulk traffic without considering latency. To meet the requirements from soft real-time traffic, in particular from telephony signaling, the Stream Control Transmission Protocol (SCTP) was designed. Its support for connectivity to multiple networks, i.e., multihoming, provides robustness and opens up for concurrent multipath transfer (CMT) over multiple paths. Since SCTP is a general transport protocol, it also enables for handover of media sessions between heterogeneous networks. Migrating an ongoing session to a new network, as well as CMT with minimal latency, requires tuning of several protocol parameters and mechanisms. This thesis addresses latency reduction for soft real-time traffic using SCTP multihoming from three perspectives. The first focus is on latency for signaling traffic in case of path failure, where a path switch, a failover, occurs. We regard quick failure detection as well as rapid startup on the failover target path. The results indicate that by careful parameter tuning, the failover time may be significantly reduced. The second focus in the thesis is on latency for signaling traffic using CMT. To this end, we address sender-side scheduling. We evaluate some existing schedulers, and design a dynamic stream-aware scheduler. The results indicate that the dynamic stream-aware scheduler may provide significantly improved latency in unbalanced networks. Finally, we target multihomed SCTP to provide for handover of a media session between heterogeneous wireless networks in a mobile scenario. We implement a handover scheme and our investigation shows that SCTP could provide for seamless handover of a media session at walking speed. / So-called soft real-time traffic may be sent over IP-based networks. The bursty, data-limited traffic pattern and the latency requirements from this traffic present a challenge to traditional communication techniques. The Stream Control Transmission Protocol (SCTP), with support for multihoming, was designed to better meet the requirements from soft-real time traffic. Multihoming provides for robustness and for concurrent multipath transfer (CMT) as well as for handover of sessions between heterogeneous networks. Still, to meet the timeliness requirements, tuning of protocol parameters and mechanisms is crucial. This thesis addresses latency reduction for soft real-time traffic using SCTP multihoming. The first focus is on signaling traffic in case of path failure, where a path switch, a failover, occurs. We show that careful parameter tuning may reduce the failover time significantly. The second focus is on signaling traffic using CMT. We address sender-side scheduling and show that dynamic stream-aware scheduling may reduce latency when data is transmitted over asymmetric network  paths. The third focus is multihomed SCTP for handover between heterogeneous networks, where we show that SCTP could provide for seamless handover of a media session at walking speed. / <p>Paper 3 (Efficient Scheduling to Reduce Latency...) ingick i avhandlingen som manuskript med samma namn.</p>

O agronegócio é um dos principais setores da economia brasileira, por meio do ganho de produtividade e da expansão das áreas cultivadas, o qual provoca maior adoção de máquinas nas operações agrícolas. A maior parte desses equipamentos é comercializada em concessionárias, que prestam serviços aos clientes e fabricantes, desempenhando papel fundamental, a partir da captação de informações como a percepção e as necessidades dos consumidores. Dessa forma, é importante definir o perfil de atendimento que essas empresas devem oferecer, visando a obtenção de vantagem competitiva perante os seus concorrentes e a sustentabilidade do negócio. Assim, o objetivo do trabalho é definir um conjunto de atributos técnicos relacionados aos produtos e serviços de concessionárias de máquinas agrícolas, e ao trator agrícola, que atenda às necessidades dos clientes e possa ser utilizado como ferramenta na tomada de decisão. Para isso, o método QFD, que integra as normas ISO e visa assegurar satisfação e valor aos produtos e serviços, foi aplicado em uma concessionária localizada na região Centro-Norte de São Paulo, a partir da constituição de uma equipe e a realização de entrevistas com produtores rurais clientes das concessionárias. Obteve-se como resultado duas matrizes da qualidade, contendo as principais exigências dos consumidores quanto aos produtos e serviços desses estabelecimentos, bem como ao trator agrícola, e os requisitos técnicos da empresa para atender essas necessidades. Também comparou-se o desempenho da concessionáriaalvo com as suas concorrentes, e dos atributos relacionados ao trator-alvo com outros fabricantes. Entre as principais necessidades para os produtos e serviços, destacaram-se os itens relacionados a boa execução do serviço, o bom preço e a disponibilidade de peças. No caso do trator, os itens prioritários foram \"bom desempenho do trator\", \'baixo consumo de combustível\" e \"manutenção barata\". Entre os itens melhor avaliados em relação à concessionária, dois se referem diretamente aos produtos: \"comercialização de produtos com tecnologia adequada ao perfil do produtor\" e \"comercialização de produtos com qualidade\". Para o trator, entre os atributos de melhor desempenho, estão itens relacionados à regulagem do equipamento, como \"fácil de regular a bitola\". Quanto às exigências relacionadas à manutenção do equipamento, consideradas importantes, embora o trator-alvo tenha desempenho superior aos concorrentes em termos de necessidade e facilidade de manutenção, ele foi considerado o pior em custo de manutenção. \"Porcentagem de fidelização de clientes\" foi o requisito técnico relacionado à concessionária prioritário, estando associada a 94% das exigências dos clientes. Outros quatro requisitos considerados prioritários foram \"tempo médio de capacitação profissional dos vendedores e mecânicos\", \"pontualidade na entrega do trator comprado\", \"densidade de mecânicos treinados\" e \"quantidade de reclamações referentes ao atendimento\". A definição dos parâmetros técnicos entre a concessionária-alvo e as concorrentes permitirá o estabelecimento de medidas para a criação de vantagem competitiva à empresa, da mesma forma como a definição dos requisitos técnicos do trator agrícola, por meio do envolvimento do fabricante. / Agribusiness is one of the main sectors of the Brazilian economy, through productivity gain and expansion of cultivated areas, which causes greater adoption of machines in agricultural operations. Most of these equipment are marketed in dealerships, providing services to customers and manufacturers, performing a key role, from the capture of information as the perception and the needs of the consumers. Thus, it is important to define the profile of service that these companies should offer, aiming to obtain competitive advantage towards their competitors and the sustainability of the business. Therefore, the objective of this study is to define a set of attributes and related products and services to dealerships of agricultural machinery, and agricultural tractor, which meet the needs of customers and can be used as a tool in decision-making. For this purpose, the QFD method, which comprises the ISO standards and ensures satisfaction and value to products and services, was applied in a dealership located in the Central-North of São Paulo, from forming a team and conducting interviews with rural producers, clients of the dealerships. As a result, two arrays of quality was obtained, containing the main demands of the consumers about the products and services of these establishments, as well as the tractor, and the technical requirements of the company to meet those needs. The performance of dealership-target with their competitors and attributes related to tractor-target with other manufacturers were also compared. Among the main needs for products and services are items related to good implementation of the service, the good price and the availability of parts. In the case of tractor, priority items were \"good performance of the tractor\", \"low fuel consumption\" and \"cheap maintenance.\" Among the best evaluated items in the dealership, two refers directly to the products: \"marketing of products with adequate technology to producer profile\" and \"marketing of quality products\". For the tractor, between the attributes of better performance, there are items related to regulation of the equipment, as \"easy to regulate the gauge\". The requirements related to the maintenance of the equipment are considered important, though the tractor-target has outperformed competitors in terms of need and ease of maintenance, it was considered the worst in cost of maintenance. \"Percentage of customer loyalty\" was the technical requirement related to dealership priority, being associated with 94% of the customers\' requirements. Other four requirements were considered priorities: \"average of training professional vendors and mechanics\", \"punctuality in delivery of tractor bought\", \"density of trained mechanics\" and \"amount of complaints regarding service\". The definition of technical parameters between dealership-target and the competitors will allow the establishment of measures for the creation of competitive advantage to the company, the same way as the definition of the technical requirements of the agricultural tractor, through involvement of the manufacturer.

Este trabalho analisa os efeitos das propriedades dinâmicas de sistemas distribuídos de larga escala e seu impacto no desempenho, e introduz uma abordagem para o planejamento de experimentos de referência capazes de expor essa influência. Especialmente em aplicações complexas com múltiplas camadas de software (multi-tier), o efeito total de pequenos atrasos introduzidos por buffers, latência na comunicação e alocação de recursos, pode resultar gerando inércia significativa ao longo do funcionamento do sistema. A fim de detetar estas propriedade dinâmica, o experimento de execução do benchmark deve excitar o sistema com carga de trabalho não-estacionária sob um ambiente controlado. A presente pesquisa discorre sobre os elementos essenciais para este fim e ilustra a abordagem de desenvolvimento com um estudo de caso. O trabalho também descreve como a metodologia de instrumentação pode ser explorada em abordagens de modelagem dinâmica para sobrecargas transientes devido a distúrbios na carga de trabalho. / This work examines the effects of dynamic properties of large-scale distributed systems and their impact on the delivered performance, and introduces an approach to the design of benchmark experiments capable of exposing this influence. Specially in complex, multi-tier applications, the net effect of small delays introduced by buffers, communication latency and resource instantiation, may result in significant inertia along the input-output path. In order to bring out these dynamic property, the benchmark experiment should excite the system with non-stationary workload under controlled conditions. The present research report elaborates on the essentials for this purpose and illustrates the design approach through a case study. The work also outlines how the instrumentation methodology can be exploited in dynamic modeling approaches to model transient overloads due to workload disturbances.

A World Wide Web é um meio de comunicação em constante crescimento, agregando diversos componentes e serviços em um ritmo acelerado. Os novos tipos de sites, tais como, o comércio eletrônico (e-commerce), notí?cia/informação (Web-publishing), vídeo sob demanda exigem ainda mais recursos do servidor. Nesse contexto, visando adequar a avaliação de desempenho aos novos ambientes da Web, o presente trabalho apresenta um estudo caracterizando diversos traces de servidores Web Apache, permitindo coletar dados importantes que definem a forma como os usuários e servidores interagem. Com esses dados, quatro tipos de categorias de sites foram analisados: Padrão (composto da média de todos os traces analisados), Acadêmico, Notícia/Informação e Tradicional. Nessa análise avaliam-se quatro aspectos: o intervalo de chegada, o código de resposta, o tipo objeto e o tamanho do objeto e ao final, modelos matemáticos são propostos para representar essas características. Além disso, este trabalho também desenvolveu um gerador de cargas de trabalho sintéticas, o W4Gen(World Wide Web Workload Generator). Com uma interface gráfica amigável, ele permite aos seus usuários gerar novas cargas com base nos modelos matemáticos. Além disso, ele também permite modificar as características essenciais para simular novos tipos de cargas. Para validar os resultados deste trabalho, utilizou-se o modelo de servidor Web com diferenciação de serviços (SWDS), verificando o desempenho em situações de sobregarga / World Wide Web is a media in constant growth, joining several components and services in an accelerated evolution. The new kinds of sites, such as, E-commerce, Web-publishing and demand video still uses more servers resources. In this context, adapting the newWeb environment to performance evaluation, the present work accomplished a characterization study of several Apache Web servers traces, allowing collect important data that define the form as users and servers interact. With these data, four types of sites categories were analyzed: Default (composed of all trace), Academic, Web-publishing and Traditional. In this analysis, it was evaluated four aspects: the arrival time, the status code, the object class and the object size and at the end, mathematical models are proposed to represent those characteristics. Furthermore, a synthetic workload generator was also developed. With a graphical interface, the W4Gen (World WideWebWorkload Generator), as called, allows the users to generate new workloads based on mathematical models. Besides, it also allows to modify the four essential aspects preseted above to simulate new types of workloads. Finally, to validate the results, the Web server model with differentiated services was used, verifying the performance in overload situations

Esta tese propõe um ambiente automático para desenvolvimento de simulação distribuída ASDA (Ambiente de Simulação Distribuída Automático), que tem como objetivo principal facilitar a utilização e desenvolvimento de simulação distribuída. As funcionalidades definidas no ASDA tornam-o diferente de todos os outros ambientes encontrados na literatura. A especificação do ASDA foi realizada através de um diagrama modular composto por sete módulos e também com o auxílio da ferramenta UML (Unified Modelling Language), através da utilização de três de seus diagramas: de casos de uso, de classes e de atividades. O ASDA permite aos usuários a utilização de simulação distribuída através da definição de uma nova simulação ou da replicação de um programa de simulação já desenvolvido. Se a opção for pelo desenvolvimento de um novo programa de simulação, o usuário deve fornecer o modelo e os parâmetros e o ambiente se encarrega de gerar o código do programa de simulação utilizando a abordagem que proporciona o melhor desempenho, levando em consideração as características do modelo e da plataforma. Além da especificação do ASDA, esta tese definiu um protótipo do ambiente com o objetivo de mostrar sua viabilidade de utilização. Neste protótipo, três módulos foram implementados, destacando-se o módulo Replicador, que utiliza a abordagem MRIP (Multiple Replication in Parallel). Esta tese contribui também com a definição de algumas diretrizes para a utilização da abordagem MRIP. A base para essa definição foram os resultados obtidos com a utilização do módulo Replicador / This thesis proposes an automatic environment for the development of distributed simulation ASDA (Ambiente de Simulação Distribuída Automático (in Portuguese), whose main goal is to make easier the use and development of distributed simulation. The ASDA functionality makes it different from all other environments found in the literature. The ASDA has been specified through a modular diagram, composed of seven modules built with the help of the UML (Unified Modelling Language) tool, using three of its diagrams: use case, class and activity. ASDA users can define the distributed simulation by means of the specification of a new simulation program or the replication of a simulation program already developed. If the user chooses to develop a new simulation program, he must only provide the model and the parameters. The environment will then generate the simulation program code using the approach that provides the best performance considering the model and platform characteristics. Besides the specification, this thesis presents a prototype of the ASDA environment with the goal of showing its viability. Three modules have been implemented for the prototype, highlighting the Replication module, which uses the MRIP (Multiple Replication in Parallel) approach. Another contribution of this thesis is the definition of a set of guidelines to the utilization of the MRIP approach. The basis to define these procedures was the results obtained with the utilization of the Replication module

O desempenho global dos sistemas computacionais é limitado, geralmente, pelo componente de menor desempenho. Os processadores e a memória principal têm experimentado um aumento de desempenho bem maior que o da memória secundária, como os discos magnéticos. Em 1984, Johnson introduziu o conceito de fragmentação, onde um dado é gravado em uma matriz de discos, de forma que os seus fragmentos podem ser recuperados em paralelo e, por conseqüência, de forma mais rápida. O principal problema da fragmentação é a redução da confiabilidade da matriz pois, a falha de um dos discos torna o dado inacessível. Patterson, Gibson e Katz propuseram, em 1988, 5 formas de armazenar informação redundante na matriz de discos e, dessa forma, aumentar sua confiabilidade. A essas formas foi dado o nome de RAID - Redundant Arrays of Independent Disks. Com o passar do tempo, outras formas de armazenamento de redundância foram criadas, tornando complexa a taxonomia da área. Além disso, alterações de parâmetros na matriz implicam em variações de desempenho nem sempre fáceis de se perceber em um primeiro momento. Com o objetivo de facilitar a compreensão da taxonomia e permitir que sejam feitos experimentos na matriz buscando um melhor desempenho, esta dissertação propõe um ambiente de simulação e aprendizado para RAID, onde o usuário pode interagir com diversos modelos de RAID, ou até criar o seu próprio, para avaliar seu desempenho em várias situações, além de oferecer ao usuário acesso ao conhecimento da área, agindo como um tutor. Esta dissertação apresenta, ainda, um protótipo de um simulador de discos magnéticos que pode ser utilizado como base para o desenvolvimento de um simulador de RAID para ser utilizado pelo ambiente. / The component with the worst performance usually limits the overall performance of a computing system. The performance of processors and main memory has improved faster than the secondary memory, such as magnetic disks. Johnson, in 1984, introduced the concept of fragmentation, in which a data file is written into a disk array, in a way that its stripes can be recovered in parallel and therefore, in a faster way. The main problem with fragmentation is the reduction of the reliability. If one disk fails, all data file becomes inaccessible. Patterson, Gibson and Katz proposed, in 1988, five ways to store redundant information in the array, increasing the reliability, comprising the main RAID (Redundant Array of Independent Disks) configurations. Some other ways to store the redundant information have been proposed over the years, making the RAID taxonomy more complex. Furthermore, changes in the array parameters takes to performance variations that are not always understood. With the purpose of facilitating the comprehension of the taxonomy and allowing the execution of experiments looking forward to improve performance, this MSc Dissertation proposes an Intelligent Simulation and Learning Environment for RAID, where the user can interact with several RAID models, or even create his/her own models, in order to evaluate their performance under different situations. The environment also allows the user to interact with the knowledge of the area, acting as a tutor. This Dissertation also presents a prototype of a magnetic disk simulator, that can be used as the kernel for the development of a RAID simulator to be used by the environment.

Este projeto de mestrado tem como objetivo principal construir Web services de modo a permitir a avaliação de desempenho de uma arquitetura denominada WSARCH. A arquitetura WSARCH foi proposta de modo a prover uma infra-estrutura de Web services considerando aspectos de qualidade de serviço (QoS). Este projeto contribui diretamente com o desenvolvimento desta arquitetura, além de auxiliar na sua validação e na realização de estudos de desempenho de suas funcionalidades. Trabalhos preliminares de pesquisa foram desenvolvidos de forma que, além de auxiliar no desenvolvimento da WSARCH, também contribuíram em pesquisas relacionadas com a área de Web services. Destacam-se estudos realizados com anexos em Web services (WS-Attachments) e estudos com operações de pesquisa e publicação em repositórios UDDI. Por fim, foram realizados estudos de avaliação de desempenho com diferentes tipos de aplicação implantados em provedores que compõem a arquitetura WSARCH / This masters degree project has as main objective to build Web services to evaluate the performance of the WSARCH architecture. The WSARCH architecture was proposed aiming at providing Web services infrastructure implementation considering quality of services aspects. This project contributed directly with the development of this architecture, in addition to helping in validation and performance studies of WSARCHs features. Preliminary research work have been developed in order to contribute in research related to Web services besides helping in the development of WSARCH. Among them there are studies of attachments in Web services (WS-Attachments) and studies in research and publishing operations in UDDI repositories. Finally, studies of performance evaluation with different types of applications deployed on service providers that compose the architecture WSARCH

Desde as últimas décadas do século XX o tema da reabilitação de edifícios antigos para o uso habitacional passa a ser corrente em algumas cidades brasileiras. Em São Paulo, por exemplo, o tema se insere no contexto da reabilitação do centro da cidade como maneira de reintrodução do uso habitacional no local, sendo que ações públicas e privadas estão sendo desenvolvidas. Porém edifícios antigos foram construídos segundo tecnologias e regulamentos conhecidos e aplicados e os modos de vida à época de sua construção. Sempre as questões legais e normativas atuais devem ser verificadas no seu atendimento, ou as possibilidades de atualização dos sistemas e equipamentos dos edifícios a serem reabilitados. Esta Tese propõe um roteiro para análise de edifícios de apartamentos antigos, diagnosticando suas potencialidades e limitações nas adaptações às novas exigências normativas brasileiras e demandas domésticas contemporâneas. Foram selecionados itens da edificação e propostos requisitos, critérios e métodos de análise, adotando-se procedimentos para desenvolvimento, ajustes e aplicação do roteiro, como a análise física de edifícios de apartamentos antigos ainda em uso no centro de São Paulo e consulta aos seus síndicos e usuários, assim como a busca pela opinião de especialistas dos itens abordados. Igualmente o roteiro foi aplicado em edifícios de apartamentos antigos ainda em uso no centro da capital paulista e verificadas suas limitações e virtudes, a partir do diagnóstico oriundo destas aplicações. Deste modo concluiu-se que o roteiro proposto poderá se constituir em importante instrumento de apoio à fase de estudo de viabilidade dos processos de reabilitação, orientando e balizando decisões projetuais e construtivas para profissionais envolvidos nesses processos. / Since the last decades of the 20th century, the rehabilitation of old buildings for housing purposes has become a current theme in some Brazilian cities. In São Paulo, for example, the topic is part of the context of rehabilitation of the city center as a means of reintroducing housing in the area, where governmental and private actions are being developed. However, old buildings were built according to the way of life and the technologies and regulations known and applied at the time of their construction. Current legal and normative issues or the update potential of the systems and facilities of the buildings to be rehabilitated should always be verified in these conditions. This thesis proposes a script for the analysis of old apartment buildings to diagnose their potentials and limitations in the adaptation to new Brazilian normative requirements and contemporary housing demands. Construction items were selected and analysis requirements, criteria and methods were proposed. Procedures adopted for the development, adjustment and application of the script included the physical analysis of old apartment buildings still in use in the city center of São Paulo and point of view of their managers and users, as well as the consultation with experts in the topics under analysis. The script was also applied in old apartment buildings still in use in the city center of São Paulo and their limitations and virtues were verified based on the resulting diagnosis. It was concluded that the proposed script may become an important support tool in the feasibility study phase of rehabilitation processes, by guiding and mapping out design and construction decisions for professionals involved in these processes.