Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.
Abderrahim Ait WakrimeRahma Ben AyedSimon Collart DutilleulYves LedruAkram IdaniPublished 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