Details

Autor(en) / Beteiligte

• Osaiweran, Ammar
• Schuts, Mathijs
• Hooman, Jozef

Titel

Experiences with incorporating formal techniques into industrial practice

Ist Teil von

• Empirical software engineering : an international journal, 2014-08, Vol.19 (4), p.1169-1194

Ort / Verlag

Boston: Springer US

Erscheinungsjahr

2014

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• 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.