Analyzing a controller of a power distribution unit using formal methods

J.F. Groote, A.A.H. Osaiweran, J.H. Wesselius

Research output: Book/ReportReportAcademic

53 Downloads (Pure)

Abstract

This paper reports on the steps to formally verify the behavior of a controller of a power distribution unit (PDU) using the Analytical Software Design (ASD) method. The controller of the underlying PDU mainly controls the distribution of power and related network messages to a number of attached PCs and devices of X-ray systems. The behavioral correctness of the controller is critical in order to provide the clinical users the expected behavior of the system. As a result of the behavioral verification, two previously unrevealed errors were identified within the design of the PDU controller. According to the development team of the PDU the work has had a major benefit, locating errors that would have been hard to find otherwise by traditional testing.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages20
Publication statusPublished - 2011

Publication series

NameComputer science reports
Volume1114
ISSN (Print)0926-4515

Fingerprint Dive into the research topics of 'Analyzing a controller of a power distribution unit using formal methods'. Together they form a unique fingerprint.

  • Cite this

    Groote, J. F., Osaiweran, A. A. H., & Wesselius, J. H. (2011). Analyzing a controller of a power distribution unit using formal methods. (Computer science reports; Vol. 1114). Technische Universiteit Eindhoven.