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

Related

Distinct frombeek2024formal
Distinct fromdobrovic2013application
Distinct fromjilissen2023formal
Distinct fromrosenblum1996formal
Distinct fromsewell2026escaping

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.