Analyzing the effects of formal methods on the development of industrial control software

Authors:
Jan Friso Groote;Ammar Osaiweran;Jacco H. Wesselius
Affiliations:
Eindhoven University of Technology, The Netherlands;Eindhoven University of Technology, The Netherlands;BU Interventional X-ray, Philips Healthcare, Best, The Netherlands
Venue:
ICSM '11 Proceedings of the 2011 27th IEEE International Conference on Software Maintenance
Year:
2011

Citing 0
Cited 5

Experience report on developing the Front-end client unit under the control of formal methods

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Experiences with a compositional model checker in the healthcare domain

FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Early fault detection in industry using models at various abstraction levels

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Incorporating Formal Techniques into Industrial Practice: an Experience Report

Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-automatic controller design of Java-like models

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of highly sophisticated X-ray equipments. In this paper we analyze the effects of applying ASD to the development of various control software units developed for the X-ray machines. We compare the quality of these units with other units developed in traditional development methods. The results indicate that applying ASD as a formal technology for developing control software could result in fewer defects.