Analyzing the effects of formal methods on the development of industrial control software
The work
| Title | Analyzing the effects of formal methods on the development of industrial control software |
|---|---|
| Authors | Jan Friso Groote; Ammar Osaiweran; Jacco Wesselius |
| Type | conference paper |
| Year | 2011 |
| Citekey | groote2011analyzing |
Where it appeared
| Published in | 2011 27th IEEE International Conference on Software Maintenance (ICSM) |
|---|---|
| Publisher | IEEE |
| Pages | 467--472 |
Identifiers
| DOI | 10.1109/icsm.2011.6081983 |
|---|---|
| OpenAlex | W2073040551 |
Access
| Landing page | https://doi.org/10.1109/icsm.2011.6081983 |
|---|---|
| Free full text | https://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.
Copy held
| Kind | PDF, 513.9 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
| Opens at | page 2 |
| Where it came from | https://pure.tue.nl/ws/files/3443068/731730232514457.pdf |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
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)},
pages = {467--472},
publisher = {IEEE},
doi = {10.1109/icsm.2011.6081983},
url = {https://pure.tue.nl/ws/files/3443068/731730232514457.pdf},
}
This record lives at https://refs.drheap.org/groote2011analyzing/ and will keep doing so.