Experiences with incorporating formal techniques into industrial practice

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

    Research output: Contribution to journalArticleAcademicpeer-review

    6 Citations (Scopus)


    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.

    Original languageEnglish
    Pages (from-to)1169-1194
    Number of pages26
    JournalEmpirical Software Engineering
    Issue number4
    Publication statusPublished - 1 Jan 2014


    • Analytical software design
    • Component-based development
    • Formal methods
    • Software quality
    • Test-driven development


    Dive into the research topics of 'Experiences with incorporating formal techniques into industrial practice'. Together they form a unique fingerprint.

    Cite this