UML/event-B-based modelling and verification of the car cruise control system.
Hemza MerouaniFateh BoutekkoukImad MerouaniPublished in: Int. J. Comput. Aided Eng. Technol. (2022)
Keyphrases
- control system
- formal methods
- uml profile
- software engineering
- closed loop
- unified modelling language
- metamodel
- event detection
- safety analysis
- database design
- model checking
- sequence diagrams
- control algorithm
- software systems
- verification method
- conceptual modeling
- fuzzy logic
- modeling language
- neural network
- face verification
- fuzzy control
- control method
- object oriented
- real time
- news stories
- fuzzy controller
- control scheme
- state machine
- software development
- unified modeling language
- uml models
- information systems