Experience report on designing and developing control components using formal methods

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publicationFM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings)
EditorsD. Giannakopolou, D. Méry
Place of PublicationBerlin
PublisherSpringer
Pages341-355
ISBN (Print)978-3-642-32758-2
DOIs
Publication statusPublished - 2012
Event18th 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 201231 Aug 2012
http://fm2012.cnam.fr/

Publication series

NameLecture Notes in Computer Science
Volume7436
ISSN (Print)0302-9743

Conference

Conference18th International Symposium on Formal Methods (FM 2012), August 27-31, 2012, Paris, France
Abbreviated titleFM 2012
CountryFrance
CityParis
Period27/08/1231/08/12
Internet address

Fingerprint Dive into the research topics of 'Experience report on designing and developing control components using formal methods'. Together they form a unique fingerprint.

  • 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