Real-time design patterns for the verification of safety-critical embedded systems in model-based approach.
Rania MzidPublished in: J. Supercomput. (2024)
Keyphrases
- embedded systems
- safety critical
- real time
- safety analysis
- design patterns
- embedded real time systems
- low cost
- real time systems
- relational databases
- cooperative
- metamodel
- model checking
- database
- e learning
- resource limited
- high level
- formal methods
- database systems
- fault tolerant
- process model
- open source
- software engineering
- object oriented