Automatic allocation of safety requirements to components of a software product line

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design

Recent advances in the understanding and management of polycystic ovary syndrome [version 1; peer review: 3 approved]

Polycystic ovary syndrome (PCOS) is a multifaceted condition characterized by chronic anovulation and excess ovarian activity, in contrast to other causes of anovulation that involve ovarian dormancy or primary insufficiency. Recent studies indicated that PCOS is associated with low-grade chronic inflammation and that women with PCOS are at increased risk of non-alcoholic fatty liver disease. The inflammatory and metabolic derangements associated with PCOS are explained in part by the coexistence of insulin resistance and obesity but are further fueled by the androgen excess. New insights into the regulation of hormones and cytokines in muscle and fat tissue support the concept that PCOS is a systemic syndrome. The therapeutic plan should be tailored to the patient phenotype, complaints, and reproductive desire. Of note, the aromatase inhibitor letrozole seems to be more effective than the reference drug clomiphene citrate to treat infertility due to PCOS. Integral management by a multidisciplinary team may help the patients to adhere to lifestyle interventions and thereby reduce body adiposity and recover their metabolic and reproductive health

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016

Mundos mesclados, espaços segregados: cultura material, mestiçagem e segmentação no sítio Aldeia em Santarém (PA)

This article discusses the processes of cultural exchange between Portuguese, Portuguese-Brazilian, Amerindians, and mestizos based on the analysis of the material culture from households of Santarém (PA), occupied during the eighteenth and nineteenth centuries,. Although these social groups manipulated material culture aiming to express different values, related to hierarchy, social segmentation, and affirmation of identities, ambiguity also characterizes these assemblages. This material ambiguity informs about the mixtures of both practices and cultural references that brought about the building of a mestizo society.Com base na análise da cultura material proveniente de unidades domésticas do núcleo urbano de Santarém (PA), ocupadas nos séculos XVIII e XIX, o presente artigo discute os processos de trocas culturais entre portugueses, luso-brasileiros, indígenas e mestiços. Embora esses grupos sociais tenham manipulado a cultura material visando expressar diferentes valores, relacionados à hierarquia, segmentação social e afirmação de identidades, a ambigüidade é uma característica das amostras analisadas, informando sobre as misturas de práticas e de referenciais culturais que levaram à construção de uma sociedade mestiça

Catálogo Taxonômico da Fauna do Brasil: setting the baseline knowledge on the animal diversity in Brazil

The limited temporal completeness and taxonomic accuracy of species lists, made available in a traditional manner in scientific publications, has always represented a problem. These lists are invariably limited to a few taxonomic groups and do not represent up-to-date knowledge of all species and classifications. In this context, the Brazilian megadiverse fauna is no exception, and the Catálogo Taxonômico da Fauna do Brasil (CTFB) (http://fauna.jbrj.gov.br/), made public in 2015, represents a database on biodiversity anchored on a list of valid and expertly recognized scientific names of animals in Brazil. The CTFB is updated in near real time by a team of more than 800 specialists. By January 1, 2024, the CTFB compiled 133,691 nominal species, with 125,138 that were considered valid. Most of the valid species were arthropods (82.3%, with more than 102,000 species) and chordates (7.69%, with over 11,000 species). These taxa were followed by a cluster composed of Mollusca (3,567 species), Platyhelminthes (2,292 species), Annelida (1,833 species), and Nematoda (1,447 species). All remaining groups had less than 1,000 species reported in Brazil, with Cnidaria (831 species), Porifera (628 species), Rotifera (606 species), and Bryozoa (520 species) representing those with more than 500 species. Analysis of the CTFB database can facilitate and direct efforts towards the discovery of new species in Brazil, but it is also fundamental in providing the best available list of valid nominal species to users, including those in science, health, conservation efforts, and any initiative involving animals. The importance of the CTFB is evidenced by the elevated number of citations in the scientific literature in diverse areas of biology, law, anthropology, education, forensic science, and veterinary science, among others

Quantificação computadorizada dos índices de placa e cálculo dentais da imagem digital da superfície vestibular dos dentes de cães

A doença periodontal é causada pelo acúmulo de placa bacteriana sobre os dentes e estruturas adjacentes. Para sua mensuração têm sido formulados índices que consideram a quantidade e intensidade de placa bacteriana (PB) e de cálculo dental (CD) existentes na superfície dentária por meio de avaliação visual subjetiva. O presente estudo tem como objetivo avaliar o método de análise computadorizada para medição de área de PB e CD nos dentes de cães através da comparação com a avaliação visual. Foram utilizados 10 cães Beagles, três machos e sete fêmeas, com similares características e mantidos sob o mesmo manejo e dieta alimentar. As avaliações das superfícies vestibulares dos dentes ocorreram antes da profilaxia dentária, que foi realizada sob anestesia geral inalatória, e após sete dias para PB e após 28 dias para CD. A avaliação computadorizada da área de CD demonstrou ser estatisticamente melhor em relação à avaliação visual antes e após a profilaxia; entretanto, não demonstrou diferença significante na avaliação da PB. Concluiu-se que a avaliação computadorizada é vantajosa em relação à visual por conferir maior precisão na obtenção da proporção entre área total do dente e área acometida, mostrando-se estatistticamente superior na quantificação do CD após 28 dias