Benefits of applying formal methods to industrial control software

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

Research output: Book/ReportReportAcademic

39 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 machines. In this paper we analyze the effects of applying ASD in the development of various control software units. 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 results in better quality code.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages10
Publication statusPublished - 2011

Publication series

NameComputer science reports
Volume1104
ISSN (Print)0926-4515

Fingerprint Dive into the research topics of 'Benefits of applying formal methods to industrial control software'. Together they form a unique fingerprint.

  • Cite this

    Groote, J. F., Osaiweran, A. A. H., & Wesselius, J. H. (2011). Benefits of applying formal methods to industrial control software. (Computer science reports; Vol. 1104). Technische Universiteit Eindhoven.