Incorporating formal techniques into industrial practice

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

    Research output: Book/ReportReportAcademic

    71 Downloads (Pure)

    Abstract

    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
    Volume1214
    ISSN (Print)0926-4515

    Fingerprint

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

    Cite this