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

J.F. Groote, A.A.H. Osaiweran, J.H. Wesselius

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)
109 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011)
PublisherInstitute of Electrical and Electronics Engineers
Pages467-472
ISBN (Print)978-1-4577-0663-9
DOIs
Publication statusPublished - 2011

Fingerprint Dive into the research topics of 'Analyzing the effects of formal methods on the development of industrial control software'. Together they form a unique fingerprint.

Cite this