An Industrial Application of Model Checking to a Vessel Control System

Simple item page
dc.contributor.authorKeating, D.M.
dc.contributor.authorMcInnes, A.I.
dc.contributor.authorHayes, M.P.
dc.date.accessioned2010-11-29T20:06:18Z
dc.date.available2010-11-29T20:06:18Z
dc.date.issued2011en
dc.description.abstractModel 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.en
dc.identifier.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.en
dc.identifier.urihttp://hdl.handle.net/10092/4954
dc.language.isoen
dc.publisherUniversity of Canterbury. Electrical and Computer Engineeringen
dc.rights.urihttps://hdl.handle.net/10092/17651en
dc.subjectmodel checkingen
dc.subjectSPINen
dc.subjectTTCANen
dc.subjectvehicle controlen
dc.subject.anzsrcField of Research::09 - Engineering::0906 - Electrical and Electronic Engineeringen
dc.titleAn Industrial Application of Model Checking to a Vessel Control Systemen
dc.typeConference Contributions - Published
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
12627579_keating-mcinnes-hayes-delta2011-final.pdf
Size:
292.83 KB
Format:
Adobe Portable Document Format
Download
Collections
Engineering: Conference Contributions