Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime Rahma Ben Ayed Simon Collart Dutilleul Yves Ledru Akram Idani

Published in: MEDI (2018)

Keyphrases

event detection
modeling language
conceptual modeling
object oriented
software engineering
object oriented modeling
database design
databases

formal methods
software systems
event recognition
complex events
uml class diagrams
metamodel
class diagram

software architecture
software development
uml profile
state machine
data sets
uml activity diagrams
sequence diagrams

event driven
specification language
temporal patterns
temporal information
business process
knowledge base
neural network