Show simple item record

dc.contributor.authorPredut, S.*
dc.contributor.authorIpate, F.*
dc.contributor.authorGheorghe, Marian*
dc.contributor.authorCampean, I. Felician*
dc.date.accessioned2018-08-28T15:24:45Z
dc.date.available2018-08-28T15:24:45Z
dc.date.issued2018-06-28
dc.identifier.citationPredut S, Ipate F, Gheorghe M and Campean IF (2018) Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. [Proceedings of the] 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems. IEEE. ISBN: 978-1-5386-6614-2.en_US
dc.identifier.urihttp://hdl.handle.net/10454/16555
dc.descriptionnoen_US
dc.description.abstractFormal 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 vehicle and electric bicycle (e-Bike). Our work uses the EventB method, a formal approach for reliable systems specification and verification, being supported by the Rodin platform, based on theorem proving, allowing a stepwise specification process based on refinement. We also use, from the same platform, the ProB model checker for the verification of the B-Machine and iUML plug-in to visualize our model. This approach shows the benefits of using a formal modelling platform, in the context of cyberphysical systems, which provides multiple ways of analysing a system.en_US
dc.description.sponsorshipRomanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-III-P4-ID-PCE-20160210.en_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttps://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8605812
dc.subjectEvent-Ben_US
dc.subjectFormal verificationen_US
dc.subjectFormal validationen_US
dc.subjectProBen_US
dc.subjectVisualizationen_US
dc.subjectiUML-Ben_US
dc.subjectCruise control systemen_US
dc.subjectHybrid propulsion vehicleen_US
dc.subjectElectric bicycle (e-Bike)en_US
dc.subjectFormal modellingen_US
dc.titleFormal Modelling of Cruise Control System Using Event-B and Rodin Platformen_US
dc.status.refereedYesen_US
dc.typeConference paperen_US
dc.type.versionNo full-text in the repositoryen_US
refterms.dateFOA2018-08-28T15:24:58Z


Item file(s)

Thumbnail
Name:
EDMA_EventB_June18.pdf
Size:
1.400Mb
Format:
PDF
Description:
Keep suppressed - published version

This item appears in the following Collection(s)

Show simple item record