TY - GEN
T1 - Complementary methodologies for developing hybrid systems with event-B
AU - Su, Wen
AU - Abrial, Jean Raymond
AU - Zhu, Huibiao
PY - 2012
Y1 - 2012
N2 - This paper contains a further contribution to the handling of hybrid systems as presented in [3]. This time we insist on the usage of multiple methodologies involving not only refinements and proofs as in Event-B and the Rodin Platform, but also Matlab simulation, Animation, and Invariant discovery. We believe that a successful understanding of hybrid systems has to be done in this way by involving several distinct methodologies that are complementary. The paper also presents many examples illustrating the approach.
AB - This paper contains a further contribution to the handling of hybrid systems as presented in [3]. This time we insist on the usage of multiple methodologies involving not only refinements and proofs as in Event-B and the Rodin Platform, but also Matlab simulation, Animation, and Invariant discovery. We believe that a successful understanding of hybrid systems has to be done in this way by involving several distinct methodologies that are complementary. The paper also presents many examples illustrating the approach.
UR - https://www.scopus.com/pages/publications/84871649223
U2 - 10.1007/978-3-642-34281-3_18
DO - 10.1007/978-3-642-34281-3_18
M3 - 会议稿件
AN - SCOPUS:84871649223
SN - 9783642342806
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 230
EP - 248
BT - Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Proceedings
T2 - 14th International Conference on Formal Engineering Methods, ICFEM 2012
Y2 - 12 November 2012 through 16 November 2012
ER -