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.
|Place of Publication||Eindhoven|
|Publisher||Technische Universiteit Eindhoven|
|Number of pages||19|
|Publication status||Published - 2012|
|Name||Computer science reports|
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. (Computer science reports; Vol. 1204). Technische Universiteit Eindhoven.