The MED project team: Thies Arens, Peter Lindsay, David Hemer (standing); Trudy Weibel, Keith Harwood and Frances Collis (sitting).
The CARE method and toolset was originally developed as part of the Medical Embedded Devices (MED) project, a collaboration between the SVRC and Telectronics Pty Ltd, a Sydney-based company which develops and manufactures implantable medical devices such as heart pacemakers and defibrillators. The project ran from August 1992 until April 1996 and was funded by a Generic Technology (GIRD) Grant from the Industry Research and Development Board of the Australian Government's Department of Industry, Science and Technology. Ongoing work has been funded by an enabling grant from the University of Queensland and an ARC Small Grant.
The primary motivation for the MED project was Telectronics' interest in achieving and communicating the highest possible assurance of correctness for the software used in its products. Telectronics develops and manufactures implantable medical devices and exports them to an increasingly competitive international market in which regulatory approval to market can take many months or even years. By the way in which they improve assurance of product quality, formal methods of software development are expected to:
The MED project team: Thies Arens, Peter Lindsay, David Hemer
(standing); Trudy Weibel, Keith Harwood and Frances Collis (sitting).