Incorporating formal techniques into industrial practice

A.A.H. Osaiweran, M.T.W. Schuts, J.J.M. Hooman

    Research output: Book/ReportReportAcademic

    98 Downloads (Pure)


    We report about experiences with component-based development supported by formal techniques at Philips Healthcare. 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
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages27
    Publication statusPublished - 2012

    Publication series

    NameComputer science reports
    ISSN (Print)0926-4515


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

    Cite this