print · login   

An Interventional X-Ray System of Philips

Source publication: [SHV16]


Model learning and equivalence checking are used by [SHV16] to improve a new implementation of a legacy control component. Model learning is applied to both the old and the new implementation of the Power Control Service (PCS) of an interventional X-ray system. The resulting models are compared using an equivalence check of a model checker. The authors report about our experiences with this approach at Philips. By gradually increasing the set of input stimuli, they obtained implementations of the PCS for which the learned behaviour is equivalent.