Formal verification of a space system's user Interface with the IVY workbench

This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical aerospace system. The operation manual of the system was used as a requirement document, and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display, and how they are interrelated. Usability-related property specification patterns were then used to derive relevant properties for verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed.EPSRC - Engineering and Physical Sciences Research Council(EP/G059063/1)This work was partly funded by project ref. NORTE-07-0124-FEDER-000062, co-financed by the North Portugal Regional Operational Programme (ON.2 O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT)

Ética, Códigos de Conduta e Integridade na Administração Pública Brasileira

Objective: examine the concepts of ethics and morals in the context of integrity programs on the rise in the Brazilian publicadministration, highlighting challenges and potential.Theoretical framework: defines public administration as a field in formation and transdisciplinary in the treatment of its objectsof investigation. It is based on the philosophy of how to do philosophical from problems and whose essential function is theproduction of contextualized concepts. It approaches ethics from deontological, utilitarian and virtues perspectives, also exploringthe concept of integrity from philosophy.Results: demonstrates the imprecision and limits regarding the appropriation of the concepts of ethics and moral conduct in theirexpression applied in public service, with the consequent weakening of efforts to codify conduct and the performance of ethicscommittees in integrity programs.Originality: proposes the philosophical work for the conceptual purification of ethics in relation to the meanings and potentialsof its different aspects in the process of appropriation of codes of conduct and performance of ethics committees in integrityprograms in public service.Theoretical and practical contributions: highlights the potential of philosophy as a philosophical practice based on problemssuch as an approach to appropriating ethics applied in a substantive way, transcending the current instrumentality in relation tothe established codes that are now more in line with a new element of bureaucracy with significant formalistic potential. It offersa conceptual perspective capable of supporting the reorientation of integrity policies, especially in content and form of codes ofconduct and the performance of ethics commissions as spaces for formulation, deliberation and education.Objetivo de la investigación: examinar los conceptos de ética y de moral en el contexto de los programas de integridad en auge enla administración pública brasileña, destacando desafíos y potencialidades.Marco teórico: define la administración pública como un campo en formación y transdisciplinario en el tratamiento de sus objetosde investigación. Se basa en la filosofía de cómo hacer filosóficos a partir de problemas y cuya función esencial es la producciónde conceptos contextualizados. Aborda la ética desde la perspectiva deontológica, utilitaria y de virtudes, explorando también elconcepto de integridad desde la filosofía.Resultado: Demuestra la imprecisión y los límites en relación a la apropiación de los conceptos de ética y conducta moral ensu expresión aplicada en el servicio público, con el consiguiente debilitamiento de los esfuerzos por codificar la conducta y eldesempeño de los comités de ética en los programas de integridad.Originalidad: propone la práctica filosófica para la depuración conceptual de la ética en relación a los significados y potencialidadesde sus diferentes aspectos en el proceso de apropiación de códigos de conducta y desempeño de los comités de ética en programasde integridad en el servicio público.Aportes teóricos y prácticos: destaca el potencial de la filosofía como práctica filosófica basada en problemas como la apropiaciónde la ética aplicada de manera sustantiva, trascendiendo la instrumentalidad actual en relación a los códigos establecidos queahora están más alineados con un nuevo elemento de la burocracia con importante potencial formalista. Ofrece una perspectivaconceptual capaz de apoyar la reorientación de las políticas de integridad, especialmente en cuanto al contenido y forma de loscódigos de conducta y el desempeño de los comités de ética como espacios de formulación, deliberación y educación.Objetivo da pesquisa: examinar os conceitos de ética e de moral no contexto dos programas de integridade em ascensão naadministração pública brasileira, destacando desafios e potencialidades.Enquadramento teórico: define a administração pública como campo em formação e transdisciplinar no tratamento dos seusobjetos de investigação. Assenta-se na filosofia como fazer filosófico a partir de problemas e que tem como função essencial aprodução de conceitos contextualizados. Aborda a ética a partir das vertentes deontológica, utilitarista e das virtudes, explorandotambém o conceito de integridade a partir da filosofia.Resultado: demonstra a imprecisão e os limites em relação à apropriação dos conceitos de ética e de conduta moral em sua expressãoaplicada no serviço público, com a consequente fragilização dos esforços de codificação das condutas e de atuação das comissõesde ética nos programas de integridade.Originalidade: propõe o fazer filosófico para a depuração conceitual da ética em relação aos significados e potenciais de suasdiferentes vertentes no processo de apropriação dos códigos de conduta e atuação das comissões de ética nos programas deintegridade no serviço público.Contribuições teóricas: destaca o potencial da filosofia como fazer filosófico a partir de problemas como abordagem de apropriaçãoda ética aplicada de modo substantivo, transcendendo a instrumentalidade vigente em relação aos códigos instituídos que oramais se alinham a um novo elemento de burocracia com significativo potencial formalístico. Oferece perspectiva conceitual capazde subsidiar a reorientação das políticas de integridade, em especial em conteúdo e forma dos códigos de conduta e atuação dascomissões de ética, como espaços de formulação, deliberação e educação

INFLUENCE OF MEDIA ON SELF-OBJECTIFICATION, BODY IMAGE, AND RAPE MYTHS ACCEPTANCE AMONG COLLEGE STUDENTS

This study is an investigation of how exposure to different media content influences self-objectification, body image, and rape myths acceptance (RMA) in female college students. The purpose of this study was to further explore the effects of immediate media exposure on body image, self-objectification, and RMA, as well as address the gap in the literature regarding the relationship between these variables (Dakanalis et al., 2015; Fox et al., 2015). One hundred and one students that identified as female were randomly assigned to three experimental conditions using a partially blind design. The students watched a short video pertaining to the condition they were assigned (i.e. sexualized content, consent content, control content) and then completed a survey, which included measures of self-objectification, negative body image, positive body image, rape myths acceptance, and demographic variables. Results indicate here was no difference between self-objectification, body image, and RMA scores among participants that were assigned to different experimental conditions. Body image was found to be directly related to RMA, and there was a difference in RMA scores among participants that remembered the university training and those who did not. The present study’s finding expands the knowledge of body image and RMA, and supports the need for interventions targeting attitudes and beliefs regarding rape and consent in college female students. Key words: media, self-objectification, body image, rape myths acceptance, college students

A perspectiva paleontológica no ensino da História Natural e em áreas afins

A Paleontologia possui abordagens significativamente diferentes nas Geociências e nas Biociências e seu ensino assume, geralmente, uma perspectiva instrumental. Na proposta de ensino aqui discutida, a qual baseia-se na transversalidade e no chamado Diagrama de Lipps, a Paleontologia é assumida como um tema e não uma disciplina. Além disso sustenta-se que a perspectiva paleontológica pode transcender a História Natural e abranger um espectro mais amplo de conhecimentos.  Esta proposta de ensino baseia-se na análise dos principais atributos adotados classicamente para a definição dos fósseis, ou seja, a idade e o tamanho. Suas influências na Paleontologia são discutidas principalmente em relação à criação de disciplinas como a micropaleontologia, paleontologia de vertebrados, paleobotânica e paleontologia de invertebrados. A proposta apresentada neste trabalho sustenta que a ampliação da perspectiva paleontológica na educação superior, não apenas na História Natural mas em áreas onde não é usualmente abordada atualmente, como a Astronomia e a Ecologia, pode promover reflexões úteis ao aperfeiçoamento do ensino de ciências

Ethics and the decision-making inertia of the public agent in discretionary spaces

This essay addresses the ethical dimension of the phenomenon of decision-making inertia in public administration, characterized by the agent's option to give up the power to deliberate in the spaces of discretion for fear of possible liability, even if the means and the need to act consistent with the public interest are present. The analysis takes place in a scenario of intensification of the actions of control bodies, generating a reaction in agents to seek personal safety. The process of deliberation about whether to act or not is explored, according to an exercise in critical-reflective thinking, radical and based on the foundations of action. It is concluded that, even if it is possible from a legal point of view to stop acting in the field of discretion, having examined the reasons for decision-making inertia in its foundations, this may not be sustained and justified from an ethical perspective

Contribuições da problematização filosófica para o estudo da administração pública

O ensaio aborda a filosofia como um fazer crítico-reflexivo e radical e sua contribuição para o estudo da administração pública. Explicita a natureza transdisciplinar dos problemas neste campo e o enraizamento das suas ciências conformadoras até a filosofia. Assinala o processo em curso de assentamento da administração pública como disciplina, movimento este que endereça também a singular importância da filosofia e sua função de produção de conceitos. Propõe a problematização de natureza filosófica como recurso para a depuração e ressignificação de conceitos permitindo compreensões e ações distintas da prática convencional. Sinaliza um recorte de temas e conceitos da administração pública a serem examinados e refletidos, enfatizando a necessidade de um olhar para a sociedade e a administração pública brasileira. Finaliza com a proposição de elementos para uma metodologia de problematização conceitual a ser implementada na forma de oficinas de pensamento filosófico

O (não) lugar do(a) negro(a) e a educação étnico-racial como prática da liberdade: uma análise sobre os impactos da Lei n.º 10.639/2003, no espaço escolar em São Luís – MA

136 f. Dissertação (Mestrado Profissional em Educação) - Universidade Estadual do Maranhão,São Luís,2022. Orientadora: Profa. Dra. Márcia Cristina GomesA inserção dos conteúdos pertencentes à história e cultura da população negra, afrodescendente e africana, é, sem dúvida, um processo que vem sendo discutido há muito tempo pelos movimentos negros\as e diligentes das relações raciais e educacionais no Brasil. A articulação da população negra, a partir de muita luta e resistência, fez com que medidas fossem tomadas por parte do Estado para reverter um quadro de desigualdades que recaíam e ainda recaem sobre os grupos étnicos raciais, no caso deste estudo, a população negra. A Lei Federal nº 10.639/2003 é uma medida que determina a obrigatoriedade do ensino de História e Cultura Afrobrasileira e Africana nos espaços educacionais formais de ensino das instituições pública e particular em todo território brasileiro. Nessa direção, foi aprovado, pelo Conselho Nacional de Educação em 2004, o Parecer CNE/CP 03/2004 e a Resolução CNE/CP 01/2004 que estabelecem e regulamentam as Diretrizes Curriculares Nacionais para a Educação das Relações Étnico-Raciais e para o ensino de História e Cultura Afro-brasileira e Africana. Em face do exposto, determinamos nessa dissertação investigar se a gestão educacional desenvolve um trabalho curricular que contemple os conteúdos sobre a história e cultura Afrobrasileira e Africana, em observância à efetivação da supracitada Lei, que objetiva a execução de uma proposta voltada para a diversidade étnico racial no espaço escolar. O aporte teórico está fundamentado em extensa revisão de literatura com autores\as que estão aliançados\as com a temática racial e corroboram para uma educação antirracista e libertadora. A abordagem metodológica é qualitativa alinhada à pesquisa bibliográfica e documental e as técnicas de pesquisa foram entrevistas semiestruturadas aplicadas com (02) duas gestoras e (04) quatro professores\as de uma escola pública estadual de nível médio localizada no Bairro Liberdade em São Luís – MA. Os resultados obtidos, apresentados e analisados estão separados em 11 (onze) unidades temáticas e revelaram um processo de inclusão na escola da temática racial, em particular relacionada à população negra, verificamos que os\as professores\as entendem a importância da Lei e observamos que práticas são desenvolvidas para a superação do racismo e do preconceito racia

Formal Verification of a Space System's User Interface With the IVY Workbench

This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical aerospace system. The operation manual of the system was used as a requirement document, and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display, and how they are interrelated. Usability-related property specification patterns were then used to derive relevant properties for verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed

New oligocene cyprididae species (crustacea, ostracoda) from the tremembé formation, Taubaté Basin, Brazil, and their paleolimnological significance

Two new Oligocene ostracod species, Eucypris lobatoi sp. nov. and Potamocypris taubatensis sp. nov., are herein proposed. This is the first fossil record of these genera in Brazil, and the species identified occur in two distinct phases of the Tremembé Paleolake. It is assumed that Eucypris lobatoi sp. nov. has lived in the oldest and more stable phase of the lake, Potamocypris taubatensis sp. nov., in the youngest and more unstable phase. These data support a previous ostracod-based paleolimnological interpretation which sustains a shallowing trend in the paleolake during the final deposition of the Tremembé Formation.Duas novas espécies de ostracodes, Eucypris lobatoi sp. nov. e Potamocypris taubatensis sp. nov., são propostas neste trabalho. Este é o primeiro registro fóssil destes gêneros no Brasil, cujas espécies identificadas ocorrem em duas fases distintas do Paleolago Tremembé. Eucypris lobatoi sp. nov. ocorre durante a fase mais antiga e estável do paleolago, enquanto Potamocypris taubatensis sp. nov., na fase mais recente e instável. Estes dados corroboram uma interpretação paleolimnológica prévia baseada em ostracodes que sustenta uma tendência de raseamento do paleolago durante o final da deposição da Formação Tremembé