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

The work

AuthorsJan Friso Groote; Ammar Osaiweran; Jacco Wesselius
Editors
Typeinproceedings
Year2011
Citekeygroote2011analyzing

Where it appeared

Published in2011 27th IEEE International Conference on Software Maintenance (ICSM)
PublisherIEEE
Pages467--472

Identifiers

DOI10.1109/icsm.2011.6081983
OpenAlexW2073040551

Access

Landing pagehttps://doi.org/10.1109/icsm.2011.6081983
Free full texthttps://pure.tue.nl/ws/files/3443068/731730232514457.pdf

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.

A copy is held

pdf, 501.8 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-07 19:53 UTC

Filed under

do-formal-methods-pay groote lectures

Cite it as

@inproceedings{groote2011analyzing,
  title        = {Analyzing the effects of formal methods on the development of industrial control software},
  author       = {Jan Friso Groote and Ammar Osaiweran and Jacco Wesselius},
  year         = {2011},
  booktitle    = {2011 27th IEEE International Conference on Software Maintenance (ICSM)},
  publisher    = {IEEE},
  pages        = {467--472},
  doi          = {10.1109/icsm.2011.6081983},
}

This record lives at https://refs.drheap.org/groote2011analyzing/ and will keep doing so.