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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

7 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	1169-1194
Aantal pagina's	26
Tijdschrift	Empirical Software Engineering
Volume	19
Nummer van het tijdschrift	4
DOI's	https://doi.org/10.1007/s10664-013-9251-2
Status	Gepubliceerd - 1 jan. 2014

Toegang tot document

10.1007/s10664-013-9251-2

Andere bestanden en links

Link to publication in Scopus

Citeer dit

@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

Samenvatting

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit