Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

In recent days, the complexity of software has increased significantly in embedded products in such a way that the verification of Embedded Software (ESW) now plays an important role to ensure the product's quality. Embedded systems engineers usually face the problems of verifying properties that have to meet the application's deadline, access the memory region, handle concurrency, and control the hardware registers. This work proposes a semiformal verification approach that combines dynamic and static verification to stress and cover exhaustively the state space of the system. We perform a case study on embedded software used in the medical devices domain. We conclude that the proposed approach improves the coverage and reduces substantially the verification time

An a priori shift in non-reductionist accounts of testimony

Non-reductionism is the main framework in the epistemology of testimony. It states that absence of negative evidence is sufficient to justify testimonial acceptance. Lackey (2006; 2008) has put forward the strongest objection to non-reductionism. A case where in the total absence of negative evidence, one is still unjustified in accepting the speaker’s testimony. The goal of this research is to assess if, and how, non-reductionism can reply to the case. I will argue that most non-reductionist accounts appeal to background information to enable prima facie entitlement. I will argue that this is a structural flaw of a posteriori non-reductionist accounts, falling under Faulkner (1998)’s description of reductionism. Given the appeal to background information, such accounts are unable to successfully reply to the alien case. I will argue that the only account that is able to avoid both the charges of reductionism and to successfully reply to Lackey’s case, is Tyler Burge (1993)’s a priori account. I will argue, additionally, that a priori non-reductionism, exemplified by Burge, is the only kind of non-reductionism available to proponents of non-reductionism. An a priori shift in non-reductionist accounts of testimony must take place

Lesões Ósseas Fibrosas Benignas na Criança

Procedeu-se à revisão dos Tumores Ósseos e Lesões Pseudotumorais Benignos diagnosticados na Consulta de Ortopedia do Hospital de Dona Estefânia no período de Janeiro de 1988 e Janeiro de 1995. Seleccionaram-se 130 crianças com esse diagnóstico. Cinquenta e quatro desses (42%) doentes apresentavam Tumores Fibrosos Benignos. Fez-se seguidamente uma revisão clínica, radiológica, histológica e de abordagem terapêutica dos Tumores Fibrosos Benignos encontrados na população estudada

A vida dupla das coisas: perturbando arqueologias intangíveis

A afirmação de que a arqueologia trata da relação entre pessoas e coisas não é de se causar espanto para a maioria dos arqueólogos. Entretanto, dentro desta declaração generalizada, caberiam inúmeras ressalvas e numerosos modos distintos de se tratar ora as pessoas, ora as coisas, ora a própria relação entre os termos. Portanto, natureza e sociedade, material e social, coisas e pessoas são dualismos que acompanharam a própria constituição da arqueologia (e, por que não, das ciências sociais como um todo) enquanto matriz científica moderna

Cooperative 3D printing platform

A 3-D printing system comprising a plurality of printers. The printers are motorized to allow movement in X and Y directions or to rotate freely. Each printer may have one or more printheads. Also provided is a surface independent from said printers adapted to receive a printed object

Cooperative 3D printing platform

A 3-D printing system comprising a plurality of printers. The printers are motorized to allow movement in X and Y directions or to rotate freely. Each printer may have one or more printheads. Also provided is a surface independent from said printers adapted to receive a printed object