Incorporating formal techniques into industrial practice

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

Incorporating formal techniques into industrial practice

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

Research output: Book/Report › Report › Academic

92 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 language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	27
Publication status	Published - 2012

Publication series

Name	Computer science reports
Volume	1214
ISSN (Print)	0926-4515

Access to Document

738961Final published version, 2.84 MB

Cite this

@book{efc88728519746ce82a5c2d689562f0c,

title = "Incorporating formal techniques into industrial practice",

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.",

author = "A.A.H. Osaiweran and M.T.W. Schuts and J.J.M. Hooman",

year = "2012",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Incorporating formal techniques into industrial practice

AU - Osaiweran, A.A.H.

AU - Schuts, M.T.W.

AU - Hooman, J.J.M.

PY - 2012

Y1 - 2012

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

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

M3 - Report

T3 - Computer science reports

BT - Incorporating formal techniques into industrial practice

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Incorporating formal techniques into industrial practice

Abstract

Publication series

Access to Document

Fingerprint

Cite this