A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems.
Hiroki TsudaHiroyuki NakagawaTatsuhiro TsuchiyaPublished in: FAS*W@SASO/ICCAC (2016)
Keyphrases
- real time
- real time systems
- telecommunication systems
- intelligent systems
- management system
- information systems
- dynamic constraints
- knowledge based systems
- asynchronous circuits
- computer systems
- low cost
- high speed
- formal methods
- cell processor
- selection mechanism
- intelligent vehicles
- database
- changing environment
- distributed systems
- expert systems
- data structure
- multi agent
- knowledge base
- genetic algorithm
- data sets