Benefits of applying formal methods to industrial control software

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

Onderzoeksoutput: Boek/rapportRapportAcademic

39 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's10
StatusGepubliceerd - 2011

Publicatie series

NaamComputer science reports
Volume1104
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Benefits of applying formal methods to industrial control software'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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.