Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems.
Jose Luis de la VaraAlejandra RuizHuáscar EspinozaPublished in: MODELSWARD (2018)
Keyphrases
- recent advances
- safety critical
- industrial applications
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- model driven engineering
- support systems
- learning systems
- agent architecture
- data driven
- low cost
- information systems
- life cycle
- intelligent systems
- adaptive systems
- expert systems
- artificial intelligence