Incorporating Formal Techniques into Industrial Practice: an Experience Report

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, and Jacco Wesselius

Proceedings 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012), Electronic Notes in Theoretical Computer Science (ENTCS), volume 295, pages 49-63, 2013.

ABSTRACT

We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.

Also appeared as Technical report: ICIS-R13003, March, Radboud University Nijmegen, 2013.