Experiences with incorporating formal techniques into industrial practice
article
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. © 2013 Springer Science+Business Media New York.
Topics
TNO Identifier
507111
ISSN
15737616
Source
Empirical Software Engineering, 19(4), pp. 1169-1194.
Publisher
Kluwer Academic Publishers
Pages
1169-1194
Files
To receive the publication files, please send an e-mail request to TNO Repository.