New safe reliable design methodologies examined by fault injection testing and Monte Carlo simulation: tolerating shared-memory interferences in multicore architectures.
Abdullah El-BayoumiPublished in: Int. J. Embed. Syst. (2021)
Keyphrases
- shared memory
- design methodologies
- monte carlo simulation
- fault injection
- design methodology
- monte carlo
- java card
- fault model
- parallel algorithm
- message passing
- multiagent systems
- parallel computing
- markov chain
- distributed memory
- parallel architectures
- parallel programming
- design process
- formal specification
- smart card
- parallel computers
- state space
- static analysis
- belief propagation
- databases
- database