An Industrial Application of Model Checking to a Vessel Control System (2011)
Type of ContentConference Contributions - Published
PublisherUniversity of Canterbury. Electrical and Computer Engineering
AuthorsKeating, D.M., McInnes, A.I., Hayes, M.P.show all
Model checking allows an abstracted finite state system to be developed and a set of mathematically defined correctness properties, based on the design specifications, to be defined. The model checker performs an exhaustive state space search of the model, checking the correctness properties hold at each step. This paper describes how model checking has been applied to find and correct problems in the software design of a distributed vessel control system currently under development at a control systems specialist in New Zealand.
CitationKeating, D.M., McInnes, A.I., Hayes, M.P. (2011) An Industrial Application of Model Checking to a Vessel Control System. Queenstown, New Zealand: IEEE 6th International Symposium on Electronic Design, Test and Application (DELTA 2011), 17-19 Jan 2011.
This citation is automatically generated and may be unreliable. Use as a guide only.