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: Book/ReportReportAcademic

4 Citations (Scopus)
85 Downloads (Pure)

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
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages19
Publication statusPublished - 2012

Publication series

NameComputer science reports
Volume1204
ISSN (Print)0926-4515

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. (Computer science reports; Vol. 1204). Technische Universiteit Eindhoven.