Formalizing hybrid systems with Event-B and the Rodin Platform

Wen Su; Jean Raymond Abrial; Huibiao Zhu

doi:10.1016/j.scico.2014.04.015

Formalizing hybrid systems with Event-B and the Rodin Platform

Wen Su
, Jean Raymond Abrial
, Huibiao Zhu^*

^*此作品的通讯作者

软件工程学院

Shanghai University

科研成果: 期刊稿件 › 文章 › 同行评审

49 引用（Scopus）

摘要

This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B.

源语言	英语
页（从-至）	164-202
页数	39
期刊	Science of Computer Programming
卷	94
期	P2
DOI	https://doi.org/10.1016/j.scico.2014.04.015
出版状态	已出版 - 15 11月 2014

访问文件

10.1016/j.scico.2014.04.015

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{8bddf2a705be446abb05f8c8eda332ac,

title = "Formalizing hybrid systems with Event-B and the Rodin Platform",

abstract = "This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B.",

keywords = "Action, Event-B, Hybrid systems, Simulink stateflow, Systems",

author = "Wen Su and Abrial, \{Jean Raymond\} and Huibiao Zhu",

note = "Publisher Copyright: {\textcopyright} 2014 Elsevier B.V. Allrights reserved.",

year = "2014",

month = nov,

day = "15",

doi = "10.1016/j.scico.2014.04.015",

language = "英语",

volume = "94",

pages = "164--202",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "P2",

}

TY - JOUR

T1 - Formalizing hybrid systems with Event-B and the Rodin Platform

AU - Su, Wen

AU - Abrial, Jean Raymond

AU - Zhu, Huibiao

PY - 2014/11/15

Y1 - 2014/11/15

N2 - This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B.

AB - This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B.

KW - Action

KW - Event-B

KW - Hybrid systems

KW - Simulink stateflow

KW - Systems

UR - https://www.scopus.com/pages/publications/84908231222

U2 - 10.1016/j.scico.2014.04.015

DO - 10.1016/j.scico.2014.04.015

M3 - 文章

AN - SCOPUS:84908231222

SN - 0167-6423

VL - 94

SP - 164

EP - 202

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - P2

ER -

Formalizing hybrid systems with Event-B and the Rodin Platform

摘要

访问文件

其它文件与链接

指纹

引用此