Experiences with incorporating formal techniques into industrial practice

Ammar Osaiweran; Mathijs Schuts; Jozef Hooman

doi:10.1007/s10664-013-9251-2

Experiences with incorporating formal techniques into industrial practice

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

Research output: Contribution to journal › Article › Academic › peer-review

7 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	1169-1194
Number of pages	26
Journal	Empirical Software Engineering
Volume	19
Issue number	4
DOIs	https://doi.org/10.1007/s10664-013-9251-2
Publication status	Published - 1 Jan 2014

Keywords

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

Access to Document

10.1007/s10664-013-9251-2

Cite this

@article{1d06a01a8ab348d0955369432508d665,

title = "Experiences with incorporating formal techniques into industrial practice",

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

keywords = "Analytical software design, Component-based development, Formal methods, Software quality, Test-driven development",

author = "Ammar Osaiweran and Mathijs Schuts and Jozef Hooman",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/s10664-013-9251-2",

language = "English",

volume = "19",

pages = "1169--1194",

journal = "Empirical Software Engineering",

issn = "1382-3256",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Experiences with incorporating formal techniques into industrial practice

AU - Osaiweran, Ammar

AU - Schuts, Mathijs

AU - Hooman, Jozef

PY - 2014/1/1

Y1 - 2014/1/1

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

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

KW - Analytical software design

KW - Component-based development

KW - Formal methods

KW - Software quality

KW - Test-driven development

UR - http://www.scopus.com/inward/record.url?scp=84901856917&partnerID=8YFLogxK

U2 - 10.1007/s10664-013-9251-2

DO - 10.1007/s10664-013-9251-2

M3 - Article

AN - SCOPUS:84901856917

SN - 1382-3256

VL - 19

SP - 1169

EP - 1194

JO - Empirical Software Engineering

JF - Empirical Software Engineering

IS - 4

ER -

Experiences with incorporating formal techniques into industrial practice

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this