• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 4
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 25
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Cassiano Dal Pozzo und die Archäologie des 17. Jahrhunderts /

Herklotz, Ingo. January 1900 (has links)
Disputats, Universität Konstanz, 1996. / "Veröffentlichungen der Bibliotheca Hertziana (Max-Planck-Institut) in Rom". Literatur: s. 410-428.
2

Analise fitoquimica de Platymiscium floribundum var.latifolium e Lonchocarpus montanus : isolamento, determinação estrutural e atividade biologica

Sannomiya, Miriam 31 July 2018 (has links)
Orientador: Eva Gonçalves Magalhães / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-07-31T14:54:14Z (GMT). No. of bitstreams: 1 Sannomiya_Miriam_D.pdf: 14598743 bytes, checksum: f6ebefd0f4a66ae4bd472ebe461fb5c1 (MD5) Previous issue date: 2001 / Resumo: Platymiscium floribundum va. latifolium e Lanchocarpus montanus são duas espécies de plantas nativas, fitoquimicamente inéditas que pertencem à família Leguminosae e sub-família Papilionoideae. A análise do extrato hexânico do cerne das raízes de P. floribundum var. latifolium resultou no isolamento e/ou identificação de uma mistura de triglicerídeos 19, mistura de cis e trans-3,4-dimetoxicinamato de metila 21 e 20, mistura de b-osina 27, tomentina 11, escoparona 10, isoscopoletina 33, formononetina 34, odoratina 35, além da mistura 21 e 20. Análises cromatográficas por CCP de uma alíquota do extrato diclorometânico metilado com diazometano resultou no isolamento da afrormosina 27, 7-O-metilafrormosina 28, 6,7,8,4'-tetrametoxi-isoflavona 29, 7,8,4'-trimetoxi-isoflavona 30, 5,6,7-trimetoxicumarina 31 e 7,4'-di-O-metildaidzeína 32. A reação de acetilação da tomentina 11 produziu o respectivo derivado acetilado que é inédito. Analogamente, no extrato éter de petróleo das raízes de L. montanus, foi possível isolar e/ou identificar 24 compostos. Lonchocarpina 49, pongamol 177, derriobtusona A 47, isolachocarpina 79, 4'-metóxi-isolonchocarpina 80, 6-metóxi-isolonchocarpina 97, lanceolatina B 109, 2'',2''-dimetilcromeno-(5'',6'':8,7)-flavona 112, 4'-metóxi-furano-(2'',3'':7,8)-flavona 182, 2'-metóxi-8-(a,a-dimetilalil)-furano-(2'',3'':4',5')-dibenzoilmetano 55, variabilina 184, anidrovariabilina 185, purpurenona 60, medicarpina 143, isopongaflavona 188, mistura de b-sitosterol 186 e estigmasterol 187 e uma mistura de ácidos graxos 190 são conhecidos, enquanto 2'-hidróxi-furano-(2'',3'':3',4')-dibenzoilmetano 178, 2'-hidróxi-8-(a,a-dimetilalil)-2'',2''-dimetilcromeno (5'',6'':3',4')-dibenzoimetano 179,2'-metóxi-8- (a,a-dimetilalil)-2'',2''-dimetilcromeno (5'',6'':3',4')-dibenzoilmetano 181, 4'-metóxi-2'',2''-dimetilcromeno-(5'',6'':8,7)-flavona 183, [2-metóxi-furano-(2'',3'':3:4)-fenil]-fenil-metanona 180 e 2''-(1-hidróxi-1-metiletil)-furano-(2,3:8,7)-flavona 189 são inéditos na literatura. Uma fração do extrato diclorometânico forneceu 4'-metóxi-furano-(2'',3'':7,8)-flavona 182, enquanto o lupeol 22 também foi isolado do extrato metanólico. As estruturas moleculares das substâncias inéditas 178-181,183 e 189 foram determinadas através da análise dos dados espectrais de UV, IV EM RMN (de H, de C, DEPT, diferença de NOE) e RMN-2D (COSY, HSQC e HMBC). As substâncias conhecidas foram identificadas pela comparação com os dados da literatura. Análises por CLAE permitiram amirina 18 e lupeol 22, olean-12-en-3b-acetoxi-28-oato de metila 23 e misturas de ácidos graxos 24 e 25. O extrato diclorometânico forneceu trans-ferulato de metila 26, afrorm a identificação dos flavonóides 177, 47, 79, 109 e 143 nos cromatogramas referentes aos extratos éter de petróleo e diclorometânico além, da quantificação dos flavonóides mais abundantes nos extratos destacando-se o pongamol 177, um dibenzoilmetano anti-cancerígeno que ocorre em alta concentração (19%) no extrato éter de petróleo e é raramente encontrado na natureza. Durante a análise das duas espécies, novos dados espectroscópicos foram obtidos para algumas das substãncias conhecidas. Os extratos de P. floribundum var. latifolium e L. montanus e algumas substâncias mostraram resultados positivos no teste de letalidade contra Artemia salina. Tanto os extratos como o pongamol 177 foram submetidos ao ensaio para avaliação da atividade inseticida contra larvas de Musca domestica. Os resultados sugerem que os flavonóides são os responsáveis pela maior atividade observada para o extrato éter de petróleo. Os extratos e as substâncias 20 e 21, 27, 31, 10, 11, 49, 177, 179, 47, 79, 109, 112, 182, 60 e 143 também foram submetidos ao teste de bioautografia, mostrando que o extrato diclorometânico de P. floribundum var. latifolium, os extratos éter de petróleo e diclorometânico de L. montanus juntamente com as substâncias 177, 47, 79, 109 e 143 apresentaram atividade bactericida contra Staphylococcus aureus. O extrato metanólico de P. floribundum var. latifolium apresentou atividade fungicida contra Aspergillus fumigatus, enquanto os compostos 11, 179, 112 e 182 apresentaram atividade contra o fungo Fusarium oxysporium. O flavonóide 112 apresentou atividade fungicida contra Rhizopus oryzae. O composto 177 também foi ativo contra a bactéria Bacillus subtilis e o fungo Cladosporium cladosporioides. / Abstract: Platymiscium floribundum var. latifolium and Lonchocarpus montanus are native species belonging to Leguminosae family and Papilionoideae sub-family. Both are phytochemically unknown. The analysis of hexane extract from the roots of P. floribundum var. latifolium resulted in the isolation and/or identification of a triglycerides 19, a mixture of cis/trans methyl 3,4-dimethoxycinnamte 21 and 20, a mixture of b-amyrin 18 and lupeol 22, methyl olean-12-en-3b-acetoxy-28-oate 23, the mixture of fatty acids 24 and 25. The corresponding dichloromethane extract furnished methyl trans-ferulate 26, afrormosin 27, tomentin 11, scoparone 10, isoscopoletin 33, formonetin 34, odoratin 35, besides the mixture of 21 and 20. A sample of dichloromethane extract (previously methylated with diazomethane) was submitted to preparative layer chromatography resulting in the isolation of afrormosin 27, 7-O-methylafrormosin 28, 6,7,8,4'-tetramethoxyisoflavone 29, 7,8,4'-trimetoxyisoflavone 30, 5,6,7-trimethoxycoumarin 31 and 7,4' -di-O-methyldaidzein 32. The acetoxy derivative of tomentin 11 is now being described for the first time. Analogously in the petrol extract of L. montanus roots 24 metabolites were isolated and/or identified. Lonchocarpin 49, pongamol 177, derriobtusone A 47, isolonchocarpin 79, 4'-methoxyisolonchocarpin 80, 6-methoxyisolonchocarpin 97, lanceolatin B 109, 2",2"-dimethylcromene-(5",6":8,7)-flavone 112, 4'-methoxy-furan-(2",3":7,8)-flavone 182, 2'-methoxy-8-(a,a-dimethylallyl)-furan-(2",3":4',5')-dibenzoylmethane 55, variabilin 184, anhydrovariabilin 185, purpurenone 60, medicarpin 143, isopongaflavone 188, mixture of b-sitosteroI186 and stigmasterol 187 and the mixture of fatty acids 190 are all known in the literature while 2'-hydroxy- furan-(2",3":3',4')-dibenzoylmethane 178, 2'-hydroxy-8-(a,a-dimethylallyl)-2",2"-dimethylcromene (5",6":3',4')-dibenzoylmethane 179, 2'-methoxy-8-(a,a-dimethylallyl)-2",2"-dimethylcromene (5",6":3',4')-dibenzoylmethane 181, 4'-methoxy-2",2" -dimethylcromene-(5",6":8,7)-flavone 183, [2-methoxy-furan-(2",3":3:4)-phenyl]-phenyl-methanone 180 e 2"-(1-hydroxy-1-methylethyl)-furan-(2,3:8,7)-flavone 189 are new compounds. A fraction obtained from dichloromethane extract furnished 182 while 22 was also isolated from the methanol extract. The molecular structures of the new compounds (178-181, 183 and 189) were determined through the analysis of the corresponding spectral data UV, IV, MS, NMR (H, C, DEPT, NOE) and 2D-NMR (COSY, HSQC and HMBC). The known substances were identified through the comparison of the respective spectral data with those in the literature. HPLC analysis allowed the identification of 177, 47, 79, 109 and 143 in the chromatograms corresponding to petrol and dichloromethane extracts. The most abundant compounds (177, 47 and 109) were also quantified where pongamol 177 an anti cancer dibenzoylmethane rarely found in nature corresponds to 19% of the petrol extract. During the analysis of the two species mentioned above, spectral data of some known compounds were added to those already published. P. floribundum varo latifolium and L. montanus extracts and some substances showed positive results in the Artemia salina lethality bioassay. The extracts and pongamol 177 were submitted to insecticide activity with Musca domestica larva. The results suggesting the flavonoids are responsable to the petrol extract activity. The extracts and 20 and 21, 27, 31, 10, 31, 49, 177, 179, 47, 79, 109, 112, 182, 60 and 143 were tested through the bioautography method. P. floribundum var. latifolium dichloromethane extrac, L. montanus petrol and dichloromethane extracts and compounds 177, 47, 79, 109 e 143 showed bactericide activity against Staphylococcus aureus. P. floribundum var. latifolium methanol extract showed fungicide activity against Aspergillus fumigatus, while compounds 11, 179, 112 e 182 showed activity against fungi Fusarium oxysporium. The flavonoid 112 showed fungicide activity against Rhizopus oryzae. The compound 177 was active against bacteria Bacillus subtilis and fungi Cladosporium cladosporioides. / Doutorado
3

Untersuchungen über die Struktur einer Bergföhrenbestockung im Schweizerischen Nationalpark /

Hauenstein, Pius. January 1998 (has links)
Diss. Nr. 12971 techn. Wiss. ETH Zürich. / Fotokopie. Literaturverz.
4

Aspects of seicento patronage Cassiano dal Pozzo and the amateur tradition /

Goldman, Jean. January 1978 (has links)
Thesis (Ph. D.)--University of Chicago, 1978. / "Thesis no. T26988"--first page. Includes bibliographical references (p. 329-337).
5

Sob o signo da posse: o tramado interdiscursivo na lírica de Maria Lúcia Dal Farra

Silva, Ivo Falcão da 04 June 2013 (has links)
Submitted by Cynthia Nascimento (cyngabe@ufba.br) on 2014-09-18T10:54:31Z No. of bitstreams: 1 Ivo Falcão da Silva.pdf: 14140548 bytes, checksum: 37f12b60081a23a88b6fe05f2b62a08f (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2014-10-03T18:47:31Z (GMT) No. of bitstreams: 1 Ivo Falcão da Silva.pdf: 14140548 bytes, checksum: 37f12b60081a23a88b6fe05f2b62a08f (MD5) / Made available in DSpace on 2014-10-03T18:47:31Z (GMT). No. of bitstreams: 1 Ivo Falcão da Silva.pdf: 14140548 bytes, checksum: 37f12b60081a23a88b6fe05f2b62a08f (MD5) / O presente trabalho discute a interdiscursividade na lírica da escritora paulista de Botucatu,Maria Lúcia Dal Farra, com destaque para a sua segunda coletânea de poemas, publicada em 2002, o Livro de Possuídos. Inicialmente, rastreamos o perfil autoral da poetisa, levando em consideração as suas múltiplas atuações: docente, crítica, intelectual e ficcionista. Nesse momento, observamos por meio de entrevistas, depoimentos, textos teóricos e poesias como os vários discursos da escritora estão entrecruzados em suas diferentes produções. No segundo momento da dissertação, adentrando com maior acuidade em nosso objeto de pesquisa eleito, o Livro de Possuídos, apresentamos os trânsitos intertextuais que estão presentes entre a obra da escritora e a do poeta latino Virgílio. Além disso, na seção desse livro denominada Vergilianas, levamos em conta também o diálogo que é estabelecido com a tradição literária, uma postura da poetisa em revisar os discursos do passado e imprimir outras possibilidades de leitura. Na última parte da dissertação, focalizamos a relação entre poesia e pintura, considerando as interlocuções presentes entre essas duas linguagens. A poetisa, ainda no referido livro, apropria-se de algumas obras plásticas dos artistas Gustav Klimt e Vincent Van Gogh (nomes que dão título aos últimos dois blocos da referida publicação) para construir os seus textos poéticos. Com isso, pode-se perceber que a poesia de Dal Farra utiliza dos diálogos entre textos e imagens para, além de reler a tradição, expor o seu pensamento sobre a arte e a literatura.
6

Caligrafias alquímicas: corpo e transmutação na lírica de Maria Lúcia Dal Farra

Silva, Ivo Falcão da January 2016 (has links)
Submitted by Roberth Novaes (roberth.novaes@live.com) on 2018-07-11T12:31:36Z No. of bitstreams: 1 TESE-arquivo completo-ficha.pdf: 3744532 bytes, checksum: 28be5a19f2e7b266726985f848a05d3d (MD5) / Approved for entry into archive by Rosevânia Machado (rosevaniamachado.s@gmail.com) on 2018-07-11T14:24:08Z (GMT) No. of bitstreams: 1 TESE-arquivo completo-ficha.pdf: 3744532 bytes, checksum: 28be5a19f2e7b266726985f848a05d3d (MD5) / Made available in DSpace on 2018-07-11T14:24:09Z (GMT). No. of bitstreams: 1 TESE-arquivo completo-ficha.pdf: 3744532 bytes, checksum: 28be5a19f2e7b266726985f848a05d3d (MD5) / A presente tese – “Caligrafias alquímicas: corpo e transmutação na lírica de Maria Lúcia Dal Farra” – tem como hipótese central de trabalho que a produção literária de Dal Farra (1994/2012), professora, crítica, teórica e poetisa, apresenta como elemento motriz da sua escrita os princípios da transmutação. Atravessando os pressupostos da transformação por diferentes vias, investigamos os três livros de poesias publicados até então pela escritora: Livro de Auras (1994); Livro de Possuídos (2002) e Alumbramentos (2012). Desta análise, seccionamos o nosso trabalho em quatro partes (ou quatro capítulos) com o objetivo de construir o nosso estudo. No primeiro deles – “A alquimia do corpo” – apostamos que a primeira instância que se posiciona como estando predisposta à transformação é o corpo da escritora. Sempre se apresentado ao público com indumentária roxa, acreditamos que esse retrato corporal desemboca em um aspecto caro à estética dalfarreana: o esoterismo. Ao se trajar dessa maneira, a autora põe em xeque os corpos de feiticeiras, quiromancistas e mulheres que sempre estiveram em situação de reclusão na sociedade. Por fim, o corpo assim trajado, em conformidade com a nossa leitura, coloca-se em estado reivindicatório de liberdade. No segundo momento da tese, “A alquimia das letras”, verificamos como o processo de transformação incide nos escritores da tradição literária ocidental na poesia de Dal Farra. Um conjunto de escritores é incorporado em seu texto, seja de modo mais explícito ou sub-reptício, buscando, por meio do uso das expressões literárias desses autores, confrontá-los, reverenciá-los e, principalmente, recriá-los em sua letra. Para isso, nomes de escritores como Anne Sexton, Mariana Alcoforado, Lorca e Rilke são mobilizados no texto dalfarreano para que entrem em estado de transmutação, haja vista que a escrita criativa de Dal Farra usa-os de modo reconfigurado. Já no terceiro capítulo da tese, “A alquimia do olhar”, investimos em verificar como o olhar da escritora se mostra dotado de forte potência transformadora. Sob esse objetivo, de início, trazemos várias expressões da crítica literária que comumente retrata a escritora como detentora de um olhar diferencial, apurado e sensível. Apostamos que esse olhar é responsável pelo processo de leitura poética recriadora de uma série de telas de pinturas de artistas como: Van Gogh, Salvador Dali, Gustav Klimt e Max Ernst. Os textos pictóricos são apropriados pela escritora para que ela construa seus próprios textos poéticos, mas eles são inseridos no texto sob o signo da mudança. O mesmo acontece com a série de tapeçarias “La dame à la licorne”, alocada no Museu de Cluny, em Paris, e sem autoria determinada. Ao se colocar como leitora dessas peças tapeçais, Dal Farra mais uma vez investe fortemente em utilizar elementos da alquimia e do esoterismo na construção do próprio texto, denunciando, portanto, a proeminência dos procedimentos alquímicos transmutacionais da escrita poética dela. Partindo para o último capítulo da tese, “A alquimia dalfarreana”, mostramos neste momento quais as especificidades que existem na produção de Dal farra que nos fazem validar a hipótese de “uma poética da transmutação”. Nesta seção apresentamos como a problematização da alquimia, transformação e metamorfose não se faz presente somente na escrita poética dalfarreana, mas atravessa outros campos de atuação da autora, tais como: a crítica, as entrevistas e os depoimentos. Por meio da verve teórico-crítica de Dal Farra, escritoras como Florbela Espanca e Gilka Machado tiveram a possibilidade de ter seus nomes revistos no cenário da crítica literária, sendo transformadas, portanto. Além disso, parece-nos que essa série de transformações que se fazem presentes na literatura dalfarreana desemboca num desejo utópico de renascimento e recriação de um “mundo novo”, fundamentado em paradigmas humanistas. Com isso, a tese se pauta em mostrar uma leitura da produção da escritora em diálogo com teóricos como Jacques Derrida, Deleuze, Giorgio Agamben e Georges Didi-Huberman (dentre outros), com a finalidade de trazer uma possível clave de leitura para a estética da autora. / This thesis - " Caligrafias alquímicas: corpo e transmutação Maria Lucia Dal Farra " - has as its central hypothesis that the literary production Dal Farra (1994/2012) , teacher , critical , theoretical and poet , presented as part driving your writing the principles of transmutation. Traversing the assumptions of transformation in different ways , we investigated the three books of poetry published so far by the writer : Livro de Auras (1994); Livro de Possuídos (2002) and Alumbramentos ( 2012). In this analysis , we resect our work in four parts in order to build our study. In the first of them - " A alquimia do corpo" - we bet that the first instance that is positioned to be predisposed to transformation is the body of the writer. Always presented to the public with purple dress , we believe that this body picture ends in an expensive aspect to dalfarreana aesthetics esotericism . By dressing this way , the author calls into question the bodies of sorceresses , Palm Readers and women who have always been in seclusion situation in society. Finally, the body thus dressed in accordance with our reading , is placed in the state set of claims of freedom . In the second part of the thesis , " A alquimia das letras" , we see how the transformation process focuses on the writers of Western literary tradition in poetry of Dal Farra . A set of writers is incorporated in its text , is more explicitly or surreptitious , seeking , through the use of literary expressions of these authors , confront them , revere them , and especially recreate them in your letter. For this, writers names like Anne Sexton , Mariana Alcoforado , Lorca and Rilke are mobilized in dalfarreano text to enter into transmutation of state , given that creative writing Dal Farra uses the reset mode. In the third chapter of the thesis, "A alquimia do olhar" ,we invest in to see how the look of the writer shown endowed with strong processing power . Under this goal , initially , we bring various expressions of literary criticism that often portrays the writer as having a differential look , refined and sensitive . We believe that this view is responsible for recreative poetic reading process of a series of paintings of artists screens such as Van Gogh, Salvador Dali , Gustav Klimt and Max Ernst. The same happens with the series of tapestries " La Dame à la licorne " allocated in the Cluny Museum in Paris, and without particular authorship. When you stand as a reader of these tapeçais parts, Dal Farra once again invests heavily in use elements of alchemy and esotericism in the construction of the text itself, denouncing therefore the prominence of transmutational alchemical procedures of poetic writing it. Moving on to the last chapter of the thesis, " A alquimia dalfarreana " show at this point that the specifics that exist in the production of Dal spree that make us validate the hypothesis " a poetics of transmutation”. In this section we present as the questioning of alchemy, transformation and metamorphosis is not present only in dalfarreana poetic writing , but through other fields of activity of the author, such as criticism, interviews and testimonials. Through the theoretical -critical Dal Farra verve , writers like Florbela Espanca and Gilka Machado had the opportunity to have their names reviewed in literary criticism scenario, being transformed so . Moreover , it seems that this series of transformations that are present in dalfarreana literature leads a utopian desire of rebirth and recreation of a "new world" , based on humanistic paradigms. Thus, the thesis is guided to show a writer's production of reading with theoretical dialogue as Jacques Derrida , Deleuze , Giorgio Agamben and Georges Didi- Huberman ( among others) , with the purpose of bringing a possible reading key to the aesthetic the author
7

Webová aplikace pro odevzdávání studentských prací / Web interface for submitting student projects

Hill, Tomáš January 2011 (has links)
This master thesis deals with the description of web framework Web2py. The web frameworks are designed to facilitate the development of web applications. Selected web framework, Web2py, is written in Python programming language. The main purpose of this thesis is to create web application able to manage student projects and also manage students attendance. Created application is optimised for special needs of laboratory PA126.
8

Miljöpolitiska budskap i Nausicaä från Vindarnas dal och Prinsessan Mononoke av Hayao Miyazaki

Artois, Malin January 2016 (has links)
I uppsatsen behandlas två filmer av filmskaparen Hayao Miyazaki: Nausicaä från vindarnas dal och Prinsessan Mononoke. Uppsatsen börjar med en kort bakgrundsbeskrivning av Miyazaki för att sedan gå in på dennes tankar kring naturen, filmerna, framtiden och den värld som vi lever i idag. Därefter följer analyser av de två filmerna som innehåller handling, viktiga karaktärer, teman, motiv, budskap och diskussion. I denna del tar jag också upp det visuella i Nausicaä från Vindarnas dal och Prinsessan Mononoke. Jag tittar även på vad andra har sagt om filmerna och skriver om kraften i det visuella med utgångspunkt i artikeln The ecological and consumption themes of the films of Hayao Miyazaki av Kozo Mayumi, Barry D. Solomon och Jason Chang. Uppsatsen avslutas med en slutdiskussion.
9

The development of DAL and DAPL languages for building distributed applications.

Dew, Robert, mikewood@deakin.edu.au January 2002 (has links)
A common characteristic among parallel/distributed programming languages is that the one language is used to specify not only the overall organisation of the distributed application, but also the functionality of the application. That is, the connectivity and functionality of processes are specified within a single program. Connectivity and functionality are independent aspects of a distributed application. This thesis shows that these two aspects can be specified separately, therefore allowing application designers to freely concentrate on either aspect in a modular fashion. Two new programming languages have been developed for specifying each aspect. These languages are for loosely coupled distributed applications based on message passing, and have been designed to simplify distributed programming by completely removing all low level interprocess communication. A suite of languages and tools has been designed and developed. It includes the two new languages, parsers, a compilation system to generate intermediate C code that is compiled to binary object modules, a run-time system to create, manage and terminate several distributed applications, and a shell to communicate with the run-tune system. DAL (Distributed Application Language) and DAPL (Distributed Application Process Language) are the new programming languages for the specification and development of process oriented, asynchronous message passing, distributed applications. These two languages have been designed and developed as part of this doctorate in order to specify such distributed applications that execute on a cluster of computers. Both languages are used to specify orthogonal components of an application, on the one hand the organisation of processes that constitute an application, and on the other the interface and functionality of each process. Consequently, these components can be created in a modular fashion, individually and concurrently. The DAL language is used to specify not only the connectivity of all processes within an application, but also a cluster of computers for which the application executes. Furthermore, sub-clusters can be specified for individual processes of an application to constrain a process to a particular group of computers. The second language, DAPL, is used to specify the interface, functionality and data structures of application processes. In addition to these languages, a DAL parser, a DAPL parser, and a compilation system have been designed and developed (in this project). This compilation system takes DAL and DAPL programs to generate object modules based on machine code, one module for each application process. These object modules are used by the Distributed Application System (DAS) to instantiate and manage distributed applications. The DAS system is another new component of this project. The purpose of the DAS system is to create, manage, and terminate many distributed applications of similar and different configurations. The creation procedure incorporates the automatic allocation of processes to remote machines. Application management includes several operations such as deletion, addition, replacement, and movement of processes, and also detection and reaction to faults such as a processor crash. A DAS operator communicates with the DAS system via a textual shell called DASH (Distributed Application SHell). This suite of languages and tools allowed distributed applications of varying connectivity and functionality to be specified quickly and simply at a high level of abstraction. DAL and DAPL programs of several processes may require a few dozen lines to specify as compared to several hundred lines of equivalent C code that is generated by the compilation system. Furthermore, the DAL and DAPL compilation system is successful at generating binary object modules, and the DAS system succeeds in instantiating and managing several distributed applications on a cluster.
10

Fuzz testing for design assurance levels

Gustafsson, Marcus, Holm, Oscar January 2017 (has links)
With safety critical software, it is important that the application is safe and stable. While this software can be quality tested with manual testing, automated testing has the potential to catch errors that manual testing will not. In addition there is also the possibility to save time and cost by automating the testing process. This matters when it comes to avionics components, as much time and cost is spent testing and ensuring the software does not crash or behave faulty. This research paper will focus on exploring the usefulness of automated testing when combining it with fuzz testing. It will also focus on how to fuzzy test applications classified into DAL-classifications.

Page generated in 0.0151 seconds