Towards a Model-based Multi-Objective Optimization Approach For Safety-Critical Real-Time Systems.
Soulimane KamniYassine OuhammouAntoine BertoutEmmanuel GrolleauPublished in: DATE (2020)
Keyphrases
- multi objective optimization
- real time systems
- safety critical
- embedded systems
- multi objective
- evolutionary algorithm
- safety analysis
- formal methods
- low cost
- pareto optimal
- fault tolerant
- multiple objectives
- genetic algorithm
- nsga ii
- differential evolution
- distributed systems
- real time
- multi objective optimization problems
- agent architecture
- particle swarm optimization
- support systems
- multi objective genetic algorithms
- multi objective evolutionary algorithms
- model checking
- software systems
- object oriented
- control system
- user interface
- adaptive systems
- information systems