An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

CONSOLIDAÇÃO OU MUDANÇA? UMA ANÁLISE FEMINISTA DA PASTORAL DA CRIANÇA

O objetivo central desta tese é investigar o potencial de transformação social da organização não-governamental, ligada a CNBB(Confederação Nacional dos Bispos do Brasil).- Pastoral da Criança - para a libertação de mulheres que lá atuam, das relações de dominação e opressões inerentes ao contexto kyriarchal. Esta pesquisa procura considerar o espaço religioso subjacente à organização em decorrência das influências das CEBs (Comunidades Eclesiais de Base) e do MRCC (Movimento de Renovação Católica Carismática). É feita pesquisa de campo na região de Curitiba com observações e entrevistas semi-estruturadas com doze mulheres atuando na Pastoral da Criança, valorizando-se a relação intersubjetiva entre pesquisadora e pessoas envolvidas na pesquisa. A análise qualitativa de dados em relação ao marco teórico feminista desenvolvido em Ciências Sociais pela sociologia, psicanálise e também a teologia, mostra o discurso das representações sociais das mulheres envolvidas, a percepção de suas próprias identidades e a importância da organização na construção de suas vidas. Nos traz a conclusão que a organização reproduz o perfil tradicional de mulheres na função materna e facilita a formação de redes comunitárias. Averigua-se que a Pastoral da Criança está vinculada ao sistema neoliberal de pensamento que reproduz os discursos de dominação do sistema kyriarchal da hierarquia da Igreja Católica e da medicina higienista. Essas instituições de apropriam da vida e dos corpos das mulheres e os reduzem às suas funções meramente biológicas, reprodutivas e de cuidados. A Pastoral da Criança é caracterizada por atividades que não consideram as causas estruturais da pobreza, mas apenas tentam amenizar os seus efeitos e conseqüências. Em suas capacitações, a organização usa a forma bancária de educação que reproduz as relações de dominação e dependência de mulheres pobres. A organização, mesmo com a estrutura da ideologia religiosa analisada, não está vinculada sistematicamente em um espaço religioso. Sugere-se em relação à situação da organização, a abertura das idéias e valores feministas nos campos da saúde e religião a fim de promover a libertação e empoderamento reais de mulheres pobres. Esta recomendação está ligada com a abertura, a necessidade de reflexão e de conhecimento, mostradas pelas mulheres entrevistadas durante a pesquisa de campo. Considera-se como limitação aos resultados da pesquisa, o local pesquisado por não ter influências de movimentos sociais.(AU)

A SOTERIOLOGIA SOCIAL DE JOHN WESLEY com consideração especial de seus aspectos comunitários, sinergéticos e públicos

Este estudo investiga os elementos da soteriologia de John Wesley e seus aspectos dinamizantes. Em vez de favorecer um determinado período da vida de Jonh Wesley, a biografia teológica de John Wesley é desenvolvida a partir do conceito da sedimentação de experiência. Dessa forma, a theologia viatorum de John Wesley é desenvolvida com foco nos seus elementos transversais e os crescentes desdobramentos dos mesmos segundo os seus aspectos comunitários, sinergéticos e públicos. Segundo esta tese, a theologia viatorum de John Wesley ganha em profundidade e vitalidade com a sua crescente e consciente aprendizagem e compromisso com o povo inglês e, em especial, com os pobres da Inglaterra. Acompanhado por uma cuidadosa auto-análise, Wesley parte para a análise do efeito de diversas soteriologias dos seus dias no cotidiano, as quais são marcadas pela demorada transição entre a época medieval e a modernidade. Surge uma re-construção característica da soteriologia, designado por nós como soteriologia social. Entendemos esta soteriologia social como o eixo principal da teologia de John Wesley que se manifesta numa típica antropologia, cristologia, pneumatologia, escatologia e eclesiologia soteriológica. Os aspectos comunitários, sinergéticos e públicos desta soteriologia social são vistos e desenvolvidos por Wesley a partir da auto-experiência e da convivência com o povo, suas dinâmicas, sua cultura, suas necessidades e suas competências. Tais aspectos levam, passo a passo, a uma práxis que começa a contemplar o entrelaçamento entre a reforma da igreja, da nação e a transformação de pessoas. Este movimento é comotivado por um horizonte soterioló gico utópico que prevê a continuação da theologia viatorum até na transformação do cosmo inteiro. A soteriologia social é parecida com a um tecido que acompanha a topografia socio-econômica e religiosa da época, procurando caminhos para a superação dos seus impasses, da sua desesperança e irresponsabilidade em relação aos pobres.(AU)

JUVENTUDE, RELIGIÃO E PODER: UM ESTUDO DOS CONFLITOS GERACIONAIS NA IGREJA PENTECOSTAL DEUS É AMOR NA PERIFERIA DE GOIÂNIA

A presente pesquisa, situada no âmbito teórico das Ciências Sociais e Religião, linha de pesquisa em Instituições e Movimentos Religiosos, analisa os conflitos geracionais na Igreja Pentecostal Deus é Amor (IPDA), em regiões periféricas de Goiânia. O objeto da pesquisa é o jovem e sua possível influência nos processos internos de conflitos geracionais dentro desta instituição. A IPDA é um importante ramo do pentecostalismo clássico, com ampla atuação em diferentes capitais e cidades brasileiras, e com significativo exercício em regiões periféricas de grandes centros urbanos. Além da inserção em território nacional, a Igreja Pentecostal Deus é Amor (IPDA), tem presença notória em diferentes países da América Latina e representantes em todos os continentes. Considerando sua existência além do território brasileiro, estima-se que a Igreja Pentecostal Deus é Amor, atinja ao número de 136 países, totalizando 11 mil templos. O método utilizado na investigação cientifica é a Análise Sociológica, para isso privilegia metodologias de entrevistas semi estruturadas e pesquisa bibliográfica. A relevância da pesquisa esta na sua intencionalidade de apontar fatores novos na compreensão do complexo fenômeno religioso bem como suas implicações no cenário religioso da sociedade brasileira. Também é contribuir para o debate acadêmico de estudiosos da área da sociologia da religião com o interesse em realizar estudos comparativos de conflitos geracionais existentes no segmento pentecostal e outras instituições religiosas, bem como do tema pentecostalismo e periferia.(AU)

O PROCESSO EDUCACIONAL DA CULTURA INDÍGENA TICUNA NA REGIÃO DO ALTO SOLIMÕES

Esse trabalho busca analisar o sistema educacional na tribo Ticuna, localizada na região do Alto Solimões, estado do Amazonas, onde estou há 21 anos em contato permanente com os índios Ticuna. Com o passar dos anos tenho observado que a cada dia, e de forma mais intensa, a manutenção de sua cultura vem sofrendo com o processo de influência da cultura não índia. Nesse trabalho realiza-se um levantamento histórico referente à possível existência de duas correntes educacionais entre os professores Ticuna. Uma considera importante um ensino bilíngue, o estudo dos mitos e costumes para preservação da cultura; a outra acredita que é inócuo estudar os mitos e outros aspectos culturais, que podem ser apreendidos no dia a dia, defendem que os índios precisam de uma educação igual a dos não indígenas, para competir no mercado em condições de igualdade. Inicialmente propõe-se uma busca histórica sobre o processo educacional relacionado à cultura Ticuna fora da escola, procurando verificar as relações entre o que é transmitido pela escola e o que se evidencia no cotidiano Ticuna. Em seguida, realiza-se uma análise de como se processa a educação implantada no meio Ticuna sob o título Educação Indígena . Destacam-se os fatores que influenciaram a fundação da escola, sua localização e aspectos relacionados ao meio físico, econômico, social e cultural, bem como, o ambiente humano e de aprendizagem, dados esses que subsidiam o objetivo proposto para este trabalho. Procura-se verificar se a educação desenvolvida na escola indígena cumpre o papel de estar constantemente buscando alternativas para uma educação que seja apropriada à sobrevivência da cultura Ticuna, uma educação adequada à realidade cultural. A pesquisa baseia-se em levantamento de dados através de documentos, como também em entrevistas com lideranças, professores e idosos da Tribo Ticuna; também na observação direta, com anotações feitas em caderno de campo. O processo de assimilação e influência da cultura não índia predomina na região do Alto Solimões e tem esmagado a cultura Ticuna, fazendo com que muitos já não queiram mais pescar, caçar ou viver como produtores ou coletores. É necessário buscar alternativas educacionais para a escola indígena Ticuna, em uma educação que seja apropriada para a sobrevivência de sua cultura e ao mesmo tempo minimize o preconceito enfrentado por esse povo. As lideranças e professores Ticuna esperam que a escola ajude na preservação e valorização de sua cultura. O prejuízo causado à educação cultural dos índios Ticuna é grande, a maioria dos jovens e crianças não são conhecedores dos significados dos rituais religiosos, mitos, lendas e crenças. Muitas vezes sabem até realizar o ritual, mas parece mais uma imitação de gestos, que se desvincula do seu real sentido. Espera-se que ao final dessa pesquisa sejamos capazes de utilizar o material desenvolvido para reflexão e que ela talvez possa servir como ponto de partida para os professores Ticuna na elaboração de diretrizes e desenvolvimento de um novo paradigma educacional que valorize mais a cultura.

A RELIGIÃO NO CONFLITO ENTRE ISRAEL E PALESTINA NO CONTEXTO DA CRIAÇÃO DO ESTADO JUDAICO: ASPECTOS HISTÓRICOS (1896-1948)

O presente trabalho analisa o papel da religião no conflito entre Israel e Palestina, principalmente no contexto da implantação do Estado de Israel, em 1948. A análise toma como delimitação histórica do conflito o período de 1896 a 1948, quando ocorre a migração das primeiras levas de judeus para os territórios palestinos. A pergunta inicial é sobre como judeus e muçulmanos se relacionavam nos primeiros anos de imigração até a criação do Estado de Israel. O problema principal a ser esclarecido é como a construção cultural ocidental em relação aos palestinos interferiu no conflito, principalmente no que tange à tomada da terra e à construção de um novo país dentro de um já existente, socialmente, religiosamente e culturalmente. Finalmente a pesquisa pergunta pela repercussão do conflito entre israelenses e palestinos no campo religioso protestante, principalmente entre grupos conservadores e fundamentalistas deste ramo do cristianismo. A pesquisa é totalmente bibliográfica e toma como referência as teorias pós-coloniais para debater a história do território, no que se refere aos aspectos religiosos do conflito.

Orthodoxy and the Cold War:religion and political power in Romania, 1947-65

This book examines the unique dynamics between Orthodoxy and politics in Romania. It provides an accessible narrative on church-state relations in the early Cold War period within a wider timeframe, from the establishment of the state in 1859 to the rise of Nicolae Ceausescu in 1965. In the 1950s Romania began to distance itself from Moscow's influence, developing its own form of communism. Based on new archival resources, the book argues that Romanian national communism, outside Moscow's influence, had an ally in a strong Church. It addresses the following questions: How did the Church, which openly opposed communism in the interwar period, survive the atheist regime? How did the regime use religion to its political advantage? What was the Church's influence on Romanian politics? The book analyses the political interests of the Romanian Orthodox Church and its religious diplomacy with actors in the West, in particular with the Church of England.

Cultural value systems of East European countries:a gender based analysis

This study examines the cultural value systems of employees working in major industrial and commercial centers of six ex-communist Central and Eastern European countries (CEEC) and the former Soviet Republics (FSR). The study throws light on how human resources are managed in these countries and has key messages for overseas operators who are already doing business or planning to start on in these countries.