Experience report on designing and developing control components using formal methods

A.A.H. Osaiweran; T. Fransen; J.F. Groote; B.J. Rijnsoever, van

doi:10.1007/978-3-642-32759-9_29

Experience report on designing and developing control components using formal methods

A.A.H. Osaiweran, T. Fransen, J.F. Groote, B.J. Rijnsoever, van

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Abstract

This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard.

Original language	English
Title of host publication	FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings)
Editors	D. Giannakopolou, D. Méry
Place of Publication	Berlin
Publisher	Springer
Pages	341-355
ISBN (Print)	978-3-642-32758-2
DOIs	https://doi.org/10.1007/978-3-642-32759-9_29
Publication status	Published - 2012
Event	18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France - Conservatoire National des Arts et Metiers (CNAM), Paris, France Duration: 27 Aug 2012 → 31 Aug 2012 http://fm2012.cnam.fr/

Publication series

Name	Lecture Notes in Computer Science
Volume	7436
ISSN (Print)	0302-9743

Conference

Conference	18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France
Abbreviated title	FM 2012
Country/Territory	France
City	Paris
Period	27/08/12 → 31/08/12
Internet address	http://fm2012.cnam.fr/

Access to Document

10.1007/978-3-642-32759-9_29

Cite this

Osaiweran, A. A. H., Fransen, T., Groote, J. F., & Rijnsoever, van, B. J. (2012). Experience report on designing and developing control components using formal methods. In D. Giannakopolou, & D. Méry (Eds.), FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings) (pp. 341-355). (Lecture Notes in Computer Science; Vol. 7436). Springer. https://doi.org/10.1007/978-3-642-32759-9_29

@inproceedings{47783911a3cd4181a722f01b005d08cc,

title = "Experience report on designing and developing control components using formal methods",

abstract = "This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard.",

author = "A.A.H. Osaiweran and T. Fransen and J.F. Groote and {Rijnsoever, van}, B.J.",

year = "2012",

doi = "10.1007/978-3-642-32759-9_29",

language = "English",

isbn = "978-3-642-32758-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "341--355",

editor = "D. Giannakopolou and D. M{\'e}ry",

booktitle = "FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings)",

address = "Germany",

note = "18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France, FM 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

url = "http://fm2012.cnam.fr/",

}

Osaiweran, AAH, Fransen, T, Groote, JF & Rijnsoever, van, BJ 2012, Experience report on designing and developing control components using formal methods. in D Giannakopolou & D Méry (eds), FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings). Lecture Notes in Computer Science, vol. 7436, Springer, Berlin, pp. 341-355, 18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France, Paris, France, 27/08/12. https://doi.org/10.1007/978-3-642-32759-9_29

Experience report on designing and developing control components using formal methods. / Osaiweran, A.A.H.; Fransen, T.; Groote, J.F. et al.
FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings). ed. / D. Giannakopolou; D. Méry. Berlin: Springer, 2012. p. 341-355 (Lecture Notes in Computer Science; Vol. 7436).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Experience report on designing and developing control components using formal methods

AU - Osaiweran, A.A.H.

AU - Fransen, T.

AU - Groote, J.F.

AU - Rijnsoever, van, B.J.

PY - 2012

Y1 - 2012

N2 - This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard.

AB - This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard.

U2 - 10.1007/978-3-642-32759-9_29

DO - 10.1007/978-3-642-32759-9_29

M3 - Conference contribution

SN - 978-3-642-32758-2

T3 - Lecture Notes in Computer Science

SP - 341

EP - 355

BT - FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings)

A2 - Giannakopolou, D.

A2 - Méry, D.

PB - Springer

CY - Berlin

T2 - 18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France

Y2 - 27 August 2012 through 31 August 2012

ER -

Osaiweran AAH, Fransen T, Groote JF, Rijnsoever, van BJ. Experience report on designing and developing control components using formal methods. In Giannakopolou D, Méry D, editors, FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings). Berlin: Springer. 2012. p. 341-355. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-32759-9_29

Experience report on designing and developing control components using formal methods

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this