Formal Modelling of Cruise Control System Using Event-B and Rodin Platform

Formal Modelling of Cruise Control System Using Event-B and Rodin Platform

no === Formal modelling is essential for precisely defining, understanding and reasoning when designing complex systems, such as cyberphysical systems. In this paper we present a formal specification using Event-B and Rodin platform for a case study of a cruise control system for a hybrid propulsion v...

Full description

Bibliographic Details
Main Authors: Predut, S., Ipate, F., Gheorghe, Marian, Campean, I. Felician
Language:en
Published: 2018
Subjects:
Event-B
Formal verification
Formal validation
ProB
Visualization
iUML-B
Cruise control system
Hybrid propulsion vehicle
Electric bicycle (e-Bike)
Formal modelling
Online Access:http://hdl.handle.net/10454/16555

Internet

http://hdl.handle.net/10454/16555

Similar Items