Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Code Complete, Second Edition
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing the effects of formal methods on the development of industrial control software
ICSM '11 Proceedings of the 2011 27th IEEE International Conference on Software Maintenance
ASD case notes: costs and benefits of applying formal methods to industrial control software
FM'05 Proceedings of the 2005 international conference on Formal Methods
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Formal methods are extensively being applied to the development of control software units, of highly sophisticated X-ray machines, at Philips Healthcare. One of the early units incorporating formal methods is the Front-end client (FE-Client), 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 FE-Client, 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.