115 research outputs found
Strategies for preventing group B streptococcal infections in newborns: A nation-wide survey of Italian policies
Get PDFProdutividade e composição bromatológica do capim-marandu a fontes e doses de nitrogênio
Full text linkTreatment of lean and diet-induced obesity (DIO) mice with a novel stable obestatin analogue alters plasma metabolite levels as detected by untargeted LC–MS metabolomics
Get PDF
Acúmulo de massa seca e nutrientes pelo tomateiro 'SM-16' cultivado em solo com diferentes coberturas
Full text linkMonoallelic expression and epigenetic memory sustained by a Trypanosoma brucei variant surface glycoprotein exclusion complex
Get PDFLâminas de irrigação e doses de nitrogênio em pastagem de capim-elefante no período seco do ano no norte de Minas Gerais
Full text linkGenome-wide analysis and expression profiling of calcium-dependent protein kinases in potato (Solanum tuberosum)
Get PDFHow to assure correctness and safety of medical software: the hemodialysis machine case study
No full textMedical devices are nowadaysmore and more software dependent, and software malfunctioning can lead to injuries or death for patients. Several standards have been proposed for the development and the validation of medical devices, but they establish general guidelines on the use of common software engineering activities without any indication regarding methods and techniques to assure safety and reliability. This paper takes advantage of the Hemodialysis machine case study to present a formal development process supporting most of the engineering activities required by the standards, and provides rigorous approaches for system validation and verification. The process is based on the Abstract State Machine formal method and its model refinement principle
- …
