Abstract
Formal methods are extensively being applied to the development of control software units, of highly sophisticated Xray 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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 27th ACM Symposium on Applied Computing (SAC'12, Riva del Garda, Italy, March 25-29, 2012) |
| Place of Publication | New York NY |
| Publisher | Association for Computing Machinery, Inc |
| Pages | 1183-1190 |
| Number of pages | 8 |
| ISBN (Print) | 978-1-4503-0857-1 |
| DOIs | |
| Publication status | Published - 2012 |
| Event | 27th ACM Symposium on Applied Computing (SAC 2012) - Riva del Garda Congress Center, Riva del Garda, Italy Duration: 26 Mar 2012 → 30 Mar 2012 Conference number: 27 http://www.sigapp.org/sac/sac2012/ |
Conference
| Conference | 27th ACM Symposium on Applied Computing (SAC 2012) |
|---|---|
| Abbreviated title | SAC 2012 |
| Country/Territory | Italy |
| City | Riva del Garda |
| Period | 26/03/12 → 30/03/12 |
| Internet address |