| タイトル | Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B |
| 本文（外部サイト） | http://hdl.handle.net/2060/20100018556 |
| 著者（英） | Butler, Michael; Yeganefard, Sanaz; Rezazadeh, Abdolbaghi |
| 著者所属（英） | Southampton Univ. |
| 発行日 | 2010-04-01 |
| 言語 | eng |
| 内容記述 | Recently a set of guidelines, or cookbook, has been developed for modelling and refinement of control problems in Event-B. The Event-B formal method is used for system-level modelling by defining states of a system and events which act on these states. It also supports refinement of models. This cookbook is intended to systematize the process of modelling and refining a control problem system by distinguishing environment, controller and command phenomena. Our main objective in this paper is to investigate and evaluate the usefulness and effectiveness of this cookbook by following it throughout the formal modelling of cruise control system found in cars. The outcomes are identifying the benefits of the cookbook and also giving guidance to its future users. |
| NASA分類 | Computer Systems |
| 権利 | Copyright, Distribution as joint owner in the copyright |
|
