Archaeometallurgical study of artefacts from Castro de Vila Nova de São Pedro (Azambuja, Portugal)

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro

Estudo da delaminação em compósitos

As excelentes propriedades mecânicas, associadas ao seu baixo peso, fazem com que os materiais compósitos sejam atualmente dos mais interessantes da nossa sociedade tecnológica. A crescente utilização destes materiais e a excelência dos resultados daí provenientes faz com que estes materiais sejam utilizados em estruturas complexas de responsabilidade, pelo que a sua maquinagem se torna necessária de forma a possibilitar a ligação entre peças. O processo de furação é o mais frequente. O processo de maquinagem de compósitos terá como base os métodos convencionais utilizados nos materiais metálicos. O processo deverá, no entanto, ser convenientemente adaptado, quer a nível de parâmetros, quer a nível de ferramentas a utilizar. As características dos materiais compósitos são bastante particulares pelo que, quando são sujeitos a maquinagem poderão apresentar defeitos tais como delaminação, fissuras intralaminares, arrancamento de fibras ou dano por sobreaquecimento. Para a detecção destes danos, por vezes a inspeção visual não é suficiente, sendo necessário recorrer a processos específicos de análise de danos. Existem já, alguns estudos, cujo âmbito foi a obtenção de furos de qualidade em compósitos, com minimização do dano, não se podendo comparar ainda com a informação existente, no que se refere à maquinagem de materiais metálicos ou ligas metálicas. Desta forma, existe ainda um longo caminho a percorrer, de forma a que o grau de confiança na utilização destes materiais se aproxime aos materiais metálicos. Este trabalho experimental desenvolvido nesta tese assentou essencialmente na furação de placas laminadas e posterior análise dos danos provocados por esta operação. Foi dada especial atenção à medição da delaminação causada pela furação e à resistência mecânica do material após ser maquinado. Os materiais utilizados, para desenvolver este trabalho experimental, foram placas compósitas de carbono/epóxido com duas orientações de fibras diferentes: unidireccionais e em “cross-ply”. Não se conseguiu muita informação, junto do fornecedor, das suas características pelo que se levaram a cabo ensaios que permitiram determinar o seu módulo de elasticidade. Relativamente á sua resistência â tração, como já foi referido, a grande resistência oferecida pelo material, associada às limitações da máquina de ensaios não permitiu chegar a valores conclusivos. Foram usadas três geometrias de ferramenta diferentes: helicoidal, Brad e Step. Os materiais utilizados nas ferramentas, foram o aço rápido (HSS) e o carboneto de tungsténio para as brocas helicoidais de 118º de ângulo de ponta e apenas o carboneto de tungsténio para as brocas Brad e Step. As ferramentas em diamante não foram consideradas neste trabalho, pois, embora sejam reconhecidas as suas boas características para a maquinagem de compósitos, o seu elevado custo não justifica a sua escolha, pelo menos num trabalho académico, como é o caso. As vantagens e desvantagens de cada geometria ou material utilizado foram avaliadas, tanto no que diz respeito à delaminação como á resistência mecânica dos provetes ensaiados. Para a determinação dos valores de delaminação, foi usada a técnica de Raio X. Algum conhecimento já existente relativamente a este processo permitiu definir alguns parâmetros (por exemplo: tempo de exposição das placas ao liquido contrastante), que tornaram acessível o procedimento de obtenção de imagens das placas furadas. Importando estas imagens para um software de desenho (no caso – AutoCad), foi possível medir as áreas delaminadas e chegar a valores para o fator de delaminação de cada furo efetuado. Terminado este processo, todas as placas foram sujeitas a ensaios de esmagamento, de forma a avaliar a forma como os parâmetros de maquinagem afectaram a resistência mecânica do material. De forma resumida, são objetivos deste trabalho: - Caracterizar as condições de corte em materiais compósitos, mais especificamente em fibras de carbono reforçado com matriz epóxida (PRFC); - Caracterização dos danos típicos provocados pela furação destes materiais; - Desenvolvimento de análise não destrutiva (RX) para avaliação dos danos provocados pela furação; - Conhecer modelos existentes com base na mecânica da fratura linear elástica (LEFM); - Definição de conjunto de parâmetros ideais de maquinagem com o fim de minimizar os danos resultantes da mesma, tendo em conta os resultados provenientes dos ensaios de força, da análise não destrutiva e da comparação com modelos de danos existentes e conhecidos.

Caracterização de perfis pultrudidos Híbridos

A pultrusão é uma técnica já sobejamente conhecida de produção de perfis de secção constante, tais como barras, cantoneiras, perfis estruturais ou tubos, em materiais compósitos de matriz polimérica. A necessidade de, em determinadas aplicações, utilizar perfis que proporcionem melhor isolamento térmico, melhor isolamento acústico ou possuam um momento de inércia ligeiramente superior, sem que o peso próprio seja significativamente afectado, levou à produção de perfis pultrudidos híbridos, com núcleos baseados em pré-formas ou na alimentação contínua de resíduos. Realizados os protótipos seguindo as metodologias acima descritas, urge verificar se as propriedades dos perfis híbridos correspondem às expectativas inicialmente neles depositadas, através de testes destrutivos e não-destrutivos. Assim, foram realizados testes à tracção, à compressão e à flexão, no intuito de verificar os ganhos conseguidos e poder analisar o valor-acrescentado trazido por estes novos perfis em termos estruturais. Estes valores, depois de devidamente validados, permitirão a sua inserção em bases de dados agregadas a programas de cálculo estrutural, que efectuam de forma automática o dimensionamento de estruturas baseadas em perfis desta natureza. Complementarmente, foram realizados testes de isolamento térmico e acústico, com vista a quantificar a melhoria conseguida nestas propriedades, extremamente importantes em determinados tipos de aplicações ligadas à construção civil e obras públicas.

Implementation of a probabilistic based framework for safety assessment of existing timber elements

The assessment of existing timber structures is often limited to information obtained from non or semi destructive testing, as mechanical testing is in many cases not possible due to its destructive nature. Therefore, the available data provides only an indirect measurement of the reference mechanical properties of timber elements, often obtained through empirical based correlations. Moreover, the data must result from the combination of different tests, as to provide a reliable source of information for a structural analysis. Even if general guidelines are available for each typology of testing, there is still a need for a global methodology allowing to combine information from different sources and infer upon that information in a decision process. In this scope, the present work presents the implementation of a probabilistic based framework for safety assessment of existing timber elements. This methodology combines information gathered in different scales and follows a probabilistic framework allowing for the structural assessment of existing timber elements with possibility of inference and updating of its mechanical properties, through Bayesian methods. The probabilistic based framework is based in four main steps: (i) scale of information; (ii) measurement data; (iii) probability assignment; and (iv) structural analysis. In this work, the proposed methodology is implemented in a case study. Data was obtained through a multi-scale experimental campaign made to old chestnut timber beams accounting correlations of non and semi-destructive tests with mechanical properties. Finally, different inference scenarios are discussed aiming at the characterization of the safety level of the elements.

Mechanical characterization of old chestnut beams

The main objective of this work is to evaluate, by non-destructive techniques, seven old Chestnut beams. For that, after the geometric assessment and the detailed visual inspection that allowed to strength grade the beams, a series of non-destructive tests was setup. In a first step, non-destructive bending tests, under the elastic limit, were performed to quantify the modulus of elasticity in bending (MoE) of the seven beams. Then, Resistograph® and Pilodyn® tests were done to assess the superficial decay and to have aclearer idea of the voids dimensions. Then, two beams were tested in bending until failure to evaluate the bending strength. In a second step, end parts were cut from the beams, one per end of the beams, to perform Resistograph®, Pilodyn® and ultrasound tests, to quantify the density of the beams and to extract meso-specimens to be used in tension parallel to the grain tests

A simple and reliable method for the screening of transgenic tobacco plants

Even though much improvement has been made in plant transformation methods, the screening of transgenic plants is often a laborious work. Most approaches for detecting the transgene in transformed plants are still timeconsuming, and can be quite expensive. The objective of this study was to search for a simpler method to screen for transgenic plants. The infiltration of kanamycin (100 mg/mL) into tobacco leaves resulted in conspicuous chlorotic spots on the non-transgenic plant leaves, while no spots were seen on the leaves of transformed plants. This reaction occurred regardless of age of the tested plants, and the method has proven to be simple, fast, non-destructive, relatively cheap, and reliable. These results were comparable to those obtained by the polymerase chain reaction (PCR) amplification of the transgene using specific primers.

Assessment of Nondestructive Testing Technologies for Quality Control/Quality Assurance of Asphalt Mixtures, TR-653, 2015

Asphalt pavements suffer various failures due to insufficient quality within their design lives. The American Association of State Highway and Transportation Officials (AASHTO) Mechanistic-Empirical Pavement Design Guide (MEPDG) has been proposed to improve pavement quality through quantitative performance prediction. Evaluation of the actual performance (quality) of pavements requires in situ nondestructive testing (NDT) techniques that can accurately measure the most critical, objective, and sensitive properties of pavement systems. The purpose of this study is to assess existing as well as promising new NDT technologies for quality control/quality assurance (QC/QA) of asphalt mixtures. Specifically, this study examined field measurements of density via the PaveTracker electromagnetic gage, shear-wave velocity via surface-wave testing methods, and dynamic stiffness via the Humboldt GeoGauge for five representative paving projects covering a range of mixes and traffic loads. The in situ tests were compared against laboratory measurements of core density and dynamic modulus. The in situ PaveTracker density had a low correlation with laboratory density and was not sensitive to variations in temperature or asphalt mix type. The in situ shear-wave velocity measured by surface-wave methods was most sensitive to variations in temperature and asphalt mix type. The in situ density and in situ shear-wave velocity were combined to calculate an in situ dynamic modulus, which is a performance-based quality measurement. The in situ GeoGauge stiffness measured on hot asphalt mixtures several hours after paving had a high correlation with the in situ dynamic modulus and the laboratory density, whereas the stiffness measurement of asphalt mixtures cooled with dry ice or at ambient temperature one or more days after paving had a very low correlation with the other measurements. To transform the in situ moduli from surface-wave testing into quantitative quality measurements, a QC/QA procedure was developed to first correct the in situ moduli measured at different field temperatures to the moduli at a common reference temperature based on master curves from laboratory dynamic modulus tests. The corrected in situ moduli can then be compared against the design moduli for an assessment of the actual pavement performance. A preliminary study of microelectromechanical systems- (MEMS)-based sensors for QC/QA and health monitoring of asphalt pavements was also performed.

Mangaaniseosteisen duplex-teräksen hitsattavuus

Diplomityön tavoitteena oli selvittää mangaaniseosteisen LDX2101 duplex-teräksen ja LDX2101 hitsauslisäaineiden hitsausparametrit puikkohitsaus-, MAG-täytelankahitsaus- ja plasmahitsausprosessilla. Toisena tavoitteena oli selvittää lämmöntuonnin vaikutuksia hit-sausliitosten mekaanisiin ominaisuuksiin, iskusitkeyteen (-40 °C) ja ferriitti- / austeniittipitoi-suuksien jakaantumiseen. Tutkittavat hitsit olivat päittäishitsejä ja koelevyjen aineenpaksuus oli 6 mm. Koetulosten perusteella tehtiin hitsausohjeet kyseisille hitsausprosesseille. Työn kirjallisessa osassa on selvitetty yleisesti duplex-terästen käyttökohteita, mekaanisia ja kemiallisia ominaisuuksia sekä duplex-terästen korroosio-ominaisuuksia. Lisäksi on käsitelty eri hitsausprosesseja ja duplex-terästen hitsattavuutta, jossa selvitetään mm. terästen jähmet-tymistä, erkaumia ja faaseja, lämmöntuonnin vaikutuksia ja hitsausliitosten korroosionkestä-vyyttä. Teoriaosassa on kerrottu myös hitsausliitosten tarkastuksesta ja hitsiluokista. Työn kokeellisessa osassa esitellään kokeiden suoritus sekä ainetta rikkova ja ainetta rikko-maton tarkastus. Liitoksille suoritettava koestusohjelma noudatti pääosin menetelmäkoestan-dardin SFS-EN 15614-1 ohjetta. Hitseille tehtiin ainetta rikkomaton tarkastus, joka käsittää silmämääräisen tarkastuksen, pintatarkastuksen ja röntgentarkastuksen. Rikkovaa aineen-koetusta tehtiin sisältäen kovuusmittaukset, vetokokeet, taivutuskokeet jaiskusitkeyskokeet. Lisäksi valmistettiin metallografiset hieet, joita tutkimalla selvitettiin hitsausliitoksen metal-lurgiaa ja määriteltiin ferriitti- ja austeniittipitoisuudet. Kokeiden perusteella on laadittu hit-sausohjeet kullekin hitsausprosessille. Lisäksi kokeellisessa osassa on esitelty tulokset syö-pymäkokeesta, jossa selvitettiin eri materiaalien syöpymiskestävyyttä valkolipeäliuoksessa. Tutkimustuloksien perusteella LDX2102 duplex-materiaali onhyvin hitsattavaa laajalla hit-sausparametrialueella. Mekaaniset ominaisuudet, kuten lujuus- ja iskusitkeysarvot täyttävät materiaalistandardin SFS-EN10028-7 niille asettamat vaatimukset. Taivutussitkeys ja murto-venymät jäivät kuitenkin osalla koekappaleista vaatimustasoa alhaisemmiksi. Austeniitti- ja ferriittipitoisuudet vastaavat materiaalistandardin vaatimuksia.

Seostamattoman hitsausteräksen leimuhitsaus

Valssilangan valmistuksessa päättymättömällä valssausprosessilla voidaan parantaa tuotannon tuottavuutta ja joustavuutta. Menetelmän ansiosta myös valssilankakieppien kokoa voidaan vaihdella asiakkaan tarpeiden mukaan. Prosessin joustavuus ja tuottavuus perustuvat liikkuvaan leimuhitsauslaitteistoon, jolla austeniittialueelle kuumennetut teelmät hitsataan toisiinsa ennen valssausta. Koska leimuhitsausliitoksen hyvä laatu on valmistusprosessin kannalta erityisen tärkeää, tutkittiin tässä työssä hitsausparametrien vaikutusta liitoksen laatuun. Hitsausparametreista tärkeimpiä ovat leimutusaika ja -jännite sekä tyssäyksen voima ja määrä. Parametrien ollessa liian suuria muodostuvat liitospinnat liian plastisiksi ja sopivan tyssäysvoiman ylläpitäminen on vaikeaa. Liian pienillä parametreilla liitospintojen plastisoituminen jää kesken ja tyssäys jää puutteelliseksi. Leimuhitsauksen laatuun vaikuttaa myös liitospinta-alan koko. Kaikki nämä tekijät heikentävät liitoksia, joten parametrien optimaalisuus on liitoksen hyvän laadun kannalta välttämätön. Parametrikokeina hitsattujen koekappaleiden rakennetta ja ominaisuuksiatutkittiin ainetta rikkovilla kokeilla. Lyhyemmillä leimutusajoilla hitsatuistakoekappaleista löytyi virheitä, jotka heikensivät huomattavasti liitoksien laatua. Menetelmäkokeiden perusteella koekappaleet eivät kaikilta osin täyttäneet liitosten laatuvaatimuksia.

Methods to test gas tightness of packages

One of the primary goals for food packages is to protect food against harmful environment, especially oxygen and moisture. The gas transmission rate is the total gas transport through the package, both by permeation through the package material and by leakage through pinholes and cracks. The shelf life of a product can be extended, if the food is stored in a gas tight package. Thus there is a need to test gas tightness of packages. There are several tightness testing methods, and they can be broadly divided into destructive and nondestructive methods. One of the most sensitive methods to detect leaks is by using a non destructive tracer gas technique. Carbon dioxide, helium and hydrogen are the most commonly used tracer gases. Hydrogen is the lightest and the smallest of all gases, which allows it to escape rapidly from the leak areas. The low background concentration of H2 in air (0.5 ppm) enables sensitive leak detection. With a hydrogen leak detector it is also possible to locate leaks. That is not possible with many other tightness testing methods. The experimental work has been focused on investigating the factors which affect the measurement results with the H2leak detector. Also reasons for false results were searched to avoid them in upcoming measurements. From the results of these experiments, the appropriate measurement practice was created in order to have correct and repeatable results. The most important thing for good measurement results is to keep the probe of the detector tightly against the leak. Because of its high diffusion rate, the HZ concentration decreases quickly if holding the probe further away from the leak area and thus the measured H2 leaks would be incorrect and small leaks could be undetected. In the experimental part hydrogen, oxygen and water vapour transmissions through laser beam reference holes (diameters 1 100 μm) were also measured and compared. With the H2 leak detector it was possible to detect even a leakage through 1 μm (diameter) within a few seconds. Water vapour did not penetrate even the largest reference hole (100 μm), even at tropical conditions (38 °C, 90 % RH), whereas some O2 transmission occurred through the reference holes larger than 5 μm. Thus water vapour transmission does not have a significant effect on food deterioration, if the diameter of the leak is less than 100 μm, but small leaks (5 100 μm) are more harmful for the food products, which are sensitive to oxidation.

Avaliação do módulo de elasticidade da madeira com uso de método não-destrutivo de vibração transversal

Numerosas pesquisas têm estudado os métodos não-destrutivos de avaliação de materiais e sua aplicação àqueles de matrizes complexas, como é o caso da madeira. Um dos primeiros métodos não-destrutivos investigados para aplicação nesses casos foi o da vibração transversal. Apesar de sua concepção simples, e a despeito dos grandes avanços obtidos nessa área com outros métodos, como, por exemplo, o ultra-som, o método de vibração transversal para a determinação do módulo de elasticidade da madeira revela-se como de grande potencial de aplicação, sobretudo pela precisão do modelo matemático a ele associado e pela possibilidade de sua aplicação a peças de dimensões estruturais (in-grade testing). Neste trabalho, apresenta-se o uso desse método na determinação do módulo de elasticidade de três espécies de eucalipto. Foram ensaiados não-destrutivamente e por ensaios mecânicos convencionais de flexão corpos-de-prova de 2 cm x 2 cm x 46 cm de E. grandis, E. saligna e E. citriodora. Os ensaios não-destrutivos foram conduzidos com uso do sistema BING - Beam Identification by Non-destructive Grading, que permite a análise das vibrações do material nos domínios do tempo e da freqüência. Os resultados obtidos revelaram boa correlação entre os dois tipos de ensaios empregados, justificando o início dos ensaios com peças de dimensões estruturais, para a viabilização da técnica nas práticas de classificação estrutural.

Hitsaus- ja liimausmenetelmien mahdollisuudet puumuovikomposiittien liittämisessä

Diplomityössä tutkittiin puumuovikomposiittien liitettävyyttä hitsaamalla ja liimaamalla. Työn kirjallisessa osuudessa tutustuttiin aiheeseen liittyviin tutkimuksiin, jotta saatiin käsitys miten liittäminen voisi onnistua. Työn empiirisessä osuudessa tehtiin liitoskokeita valituilla materiaaleilla eri menetelmillä. Liitoksia tutkittiin sekä rikkovilla, että rikkomattomilla aineenkoestusmenetelmillä. Valitut materiaalit poikkesivat koostumuksellaan hieman toisistaan, joten tuloksista pystyttiin päättelemään, mitkä ominaisuudet vaikuttavat milläkin tavalla liitettävyyteen. Johtopäätöksinä tässä tutkimuksessa voidaan todeta, että komposiitit ovat sekä hitsattavissa, että liimattavissa, mutta materiaalin koostumus vaikuttaa merkittävästi siihen, millä tavoin kappaleet liittyvät toisiinsa. Pääasiassa kaikki materiaalit liittyivät kohtuullisella tavalla. Oikeanlaisten liittämisarvojen määrittäminen reseptikohtaisesti vaatii tarkempia tutkimuksia.

Sähkögeneraattoriosien hitsauksen tuottavuuden kehittäminen

Hitsauksen tuottavuuteen vaikuttavat hitsausmäärä, käytetyt prosessit ja laatu. Työn teoriaosuudessa tutustutaan hitsauksen tuottavuuteen sekä suunnittelullisesta että valmistuksellisesta näkökulmasta. Hitsauksen laadulliset asiat, kuten laatustandardit ja vaatimukset käydään läpi keskittyen standardin SFS-EN ISO 3834 kattaviin laatuvaatimuksiin. Rikkomaton ja rikkova aineenkoetus ja yleisimmät hitsausvirheet esitetään yleisellä tasolla. Hitsausprosesseista esitetään MIG/MAG- ja MAG-täytelankahitsauksen sekä pulssihitsauksen perusteet. Tässä diplomityössä tutkitaan pulssihitsauksen soveltuvuutta sähkögeneraattorin staattoripaketin eripariliitoksen hitsaukseen ja kykyä parantaa sekä tuottavuutta että laatua. Tutkimus perustuu koehitsauksiin ja niiden perusteella tehtyihin johtopäätöksiin. Lisäksi pohditaan sisätuulettimien hitsauksen kehittämistä ja annetaan kehitysehdotus valmistusprosessista. Koehitsauksien perusteella pulssihitsaus on hyvä prosessiparannus staattoripakettien hitsaukseen. Kohdistettu valokaari ja alhaisempi lämmöntuonti verrattuna perinteiseen MAG-hitsaukseen sekä hitsauksen yksinkertaisuus tuovat etuja eripariliitoksen hitsauksen laatuun. Kustannuslaskelmien myötä hitsausprosessin muutoksen odotetaan tuovan kustannussäästöjä. Hitsauslaadun parantuessa ja jälkityöstön määrän vähentyessä hitsausprosessin muutos on kannattava.

Tandem-MAG-welding of high strength steels for shipbuilding applications

Tämän työn tavoitteena oli hitsata tandem MAG –laitteistolla 25 mm paksua Ruukin E500 TMCP terästä. Työssä oli tarkoituksena vähentää railotilavuutta mahdollisimman paljon sekä suorittaa testihitsaukset 0.8 kJ/mm sekä 2.5 kJ/mm lämmöntuonneilla. Teoriaosuudessa käsiteltiin Tandem MAG-hitsaukseen, sen tuottavuuteen ja laatukysymyksiin liittyviä asioita sekä siinä perehdyttiin suurlujuusteräksien käyttöön hitsauksessa sekä laivanrakennuksessa. Kokeellisessa osuudessa perehdyttiin hitsauksessa huomattuihin etuihin, ongelmiin sekä ongelmien ratkaisumahdollisuuksiin. Hitsausliitoksen mekaaniset ominaisuudet tutkittiin rikkomattomin sekä rikkovin menetelmin. Alustavat hitsausohjeet luotiin kummallekin lämmöntuonnille. Testaukset aloitettiin 30 º railokulmalla pienentäen kulmaa mahdollisuuksien mukaan. Testauksissa ei saatu hitsattua onnistuneesti alle 30 º railokulmalla. Hitsaustestien aikana huomattiin magneettisen puhalluksen vaikutus hitsaustapahtumaan. Kaasunvirtausnopeuden tuli olla tietyn suuruinen jotta palkokerrokset onnistuivat ilman huokoisuusongelmaa. Pienemmällä lämmöntuonnilla hitsattaessa kaasunvirtausnopeudet olivat tärkeämpiä hitsatessa ylempiä palkokerroksia. Kääntämällä hitsauspoltinta sivuttaissuunnassa 7-10 astetta auttoi ehkäisemään reunahaavan syntymistä. Rikkovista menetelmistä testitulokset olivat hyväksyttyjä kaikkien muiden paitsi päittäishitsin sivutaivutuskokeen osalta.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.