Learn More
This paper describes a project to develop a network-centric RTOS from scratch using formal methods. The (initial) purposes of the project was to get acquainted with the use of formal methods for software engineering and to obtain a trustworthy RTOS as a component for building networked embedded systems. The work was done by a small, distributed team that(More)
—Developing software for non SMP multi-core systems such as the 48 core Intel-SCC or the TI-TMS320C6678 is a complex task, and will become even harder with the emerging heterogeneous multi-core systems combining different architectures on a single chip. To tackle this issue, Altreonic has adopted a formalized approach to embedded systems development. Of(More)
OBJECTIVES To determine whether gaps exist in published cost-utility analyses as measured by their coverage of topics addressed in current HIV guidelines from the Department of Health and Human Services (DHHS). DESIGN A systematic review of US-based cost-effectiveness analyses of HIV/AIDS prevention and management strategies, based on original, published(More)
OBJECTIVES Spinal cord stimulation (SCS) has been used for almost 40 years to treat refractory neuropathic pain after failed back surgery. Fully implantable non-rechargeable pulse generators have a battery life of between 2 and 5 years. A new SCS system with a rechargeable power source may last 10 to 25 years, or longer. The potential economic implications(More)
PURPOSE Partial Coherence Interferometry (PCI) is a fast, noncontact method to calculate lens implant power for cataract surgery. It has been reported as a potentially more accurate method than ultrasound biometry. Prospective study of the refractive outcomes of a consecutive series of patients undergoing phacoemulsification surgery with preoperative(More)
Background: Embedded DSPS and CPUS are tieady commonplace in board-level systems and are becoming increasingly popular on systems-on-sificon. As embedded software grows in size and complexity, red-time operating systems @TOSs) are required to manage the embedded processor and ensure rerd-time response. This tutorird wi~ introduce tie attendee to red-time(More)
OBJECT Presentation of a 34-year-old pregnant woman with skew deviation due to peripheral vestibular dysfunction caused by herpes zoster oticus. METHODS A multidisciplinary approach (neuroophthalmology, otorhinolaryngology, neuroradiology) revealed the diagnosis of Ramsey-Hunt syndrome. CASE REPORT The patient presented with painful herpes zoster(More)
Available solutions for fault tolerance in embedded automation are often based on strong customisation, have hn-pacts on the whole life-cycle, and require highly specialised design teams, thus making dependable embedded svstenis costly and difficult to develop and maintain. The TIRf4u1r project develops a fraineivork which provides fault tolerance(More)