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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)
85 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011)
PublisherInstitute of Electrical and Electronics Engineers
Pages467-472
ISBN (Print)978-1-4577-0663-9
DOIs
Publication statusPublished - 2011

Fingerprint

Formal methods
Software design
X rays
Defects

Cite this

Groote, J. F., Osaiweran, A. A. H., & Wesselius, J. H. (2011). Analyzing the effects of formal methods on the development of industrial control software. In Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011) (pp. 467-472). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICSM.2011.6081983
Groote, J.F. ; Osaiweran, A.A.H. ; Wesselius, J.H. / Analyzing the effects of formal methods on the development of industrial control software. Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, 2011. pp. 467-472
@inproceedings{af8b763608e44083869cc5e314a531d6,
title = "Analyzing the effects of formal methods on the development of industrial control software",
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.",
author = "J.F. Groote and A.A.H. Osaiweran and J.H. Wesselius",
year = "2011",
doi = "10.1109/ICSM.2011.6081983",
language = "English",
isbn = "978-1-4577-0663-9",
pages = "467--472",
booktitle = "Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

Groote, JF, Osaiweran, AAH & Wesselius, JH 2011, Analyzing the effects of formal methods on the development of industrial control software. in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, pp. 467-472. https://doi.org/10.1109/ICSM.2011.6081983

Analyzing the effects of formal methods on the development of industrial control software. / Groote, J.F.; Osaiweran, A.A.H.; Wesselius, J.H.

Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, 2011. p. 467-472.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

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

AU - Groote, J.F.

AU - Osaiweran, A.A.H.

AU - Wesselius, J.H.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1109/ICSM.2011.6081983

DO - 10.1109/ICSM.2011.6081983

M3 - Conference contribution

SN - 978-1-4577-0663-9

SP - 467

EP - 472

BT - Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011)

PB - Institute of Electrical and Electronics Engineers

ER -

Groote JF, Osaiweran AAH, Wesselius JH. Analyzing the effects of formal methods on the development of industrial control software. In Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers. 2011. p. 467-472 https://doi.org/10.1109/ICSM.2011.6081983