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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

66 Downloads (Pure)

Samenvatting

Formal methods are extensively being applied to the development of control software units, of highly sophisticated X-ray machines, at Philips Healthcare. One of the early units incorporating formal methods is the Front-end client (FEClient), which was developed under the control of formal technologies, supported by the Analytical Software Design (ASD) method. As a result, only eleven coding errors were detected during the construction of 28 thousands lines of code. Team members attribute the ultimate quality of the software to the rigor of the formal technologies supplied by the ASD method. In this paper we report about the experience of applying ASD to the development of the FEClient, and we show how formal methods substantially enhanced its quality. We also discuss the nature of the errors found during the construction of the unit.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's16
StatusGepubliceerd - 2011

Publicatie series

NaamComputer science reports
Volume1113
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Experience report on developing the Front-end Client unit under the control of formal methods'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groote, J. F., Osaiweran, A. A. H., & Wesselius, J. H. (2011). Experience report on developing the Front-end Client unit under the control of formal methods. (Computer science reports; Vol. 1113). Technische Universiteit Eindhoven.