| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422413 | Electronic Notes in Theoretical Computer Science | 2013 | 15 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
