In the past decade, the role of radiofrequency ablation (RFA), microwave ablation (MWA), and cryoablation in interventional oncology has undergone rapid growth. Treatment is based upon the principle that precise alterations in tissue temperature induce irreversible changes at the molecular level resulting in cellular death accomplished by the application of cytotoxic levels of heat or tissue fr...

We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. SCCharts [vHDM14] use a statechart notation [Har87] and provide determinate concurrency, based on a synchronous model of com...

A CMOS harmonic signal LC oscillator driver for automotive applications working in a harsh environment with high safety critical requirements is described. The driver can be used with a wide range of external components parameters (LC resonance network of a sensor). Quality factor of the external LC network can vary two decades. Amplitude regulation of the driver is digitally controlled and the...

................................................................................................................. 3 CONTENTS.................................................................................................................. 5 LIST OF FIGURES ................................................................................................... 13 LIST OF TABLES .........................

Two factors influencing the design and development of avionics software are 1) the cost of verification, validation and certification 2) migration of avionics functionality from hardware to software, to decrease the weight and power consumption of the avionics. These two factors are inherently at odds. Lowering the development costs of engineering software for safety critical systems, while pro...

In this paper, we present our research on using computer-vision analysis for vehicular safety applications. Our research has potential applications for both autonomous vehicles and connected vehicles. In particular, for connected vehicles, we propose three image analysis algorithms that enhance the quality of a vehicle’s on-board video before inter-vehicular information exchange takes place. Fo...

Preterm labor (PTL) is a major cause of neonatal morbidity and mortality worldwide. Among the available tocolytics, indomethacin, a prostaglandin synthetase inhibitor, has been in use since the 1970s. Recent studies have suggested that prostaglandin synthetase inhibitors are superior to other tocolytics in delaying delivery for 48 hours and 7 days. However, increased neonatal complications incl...

• J Penny, A. Eaton, P. Bishop and R. Bloomfield, “The Practicalities of Goal-Based Safety Regulation”, paper in Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 6-8 February 2001, Felix Redmill and Tom Anderson (eds.), Springer, 2001, ISBN: 1-85233-411-8, pages 35-48 • P.G. Bishop, R.E Bloomfield, P.D.F. Froome “Justifying the use of softwa...