Incorporating formal techniques into industrial practice

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

Research output: Book/ReportReportAcademic

52 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

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

  • Cite this

    Osaiweran, A. A. H., Schuts, M. T. W., & Hooman, J. J. M. (2012). Incorporating formal techniques into industrial practice. (Computer science reports; Vol. 1214). Technische Universiteit Eindhoven.