CRV: Automated Cyber-Resiliency Reasoning for System Design Models.
Daniel LarrazRobert LorchMoosa YahyazadehM. Fareed ArifOmar ChowdhuryCesare TinelliPublished in: FMCAD (2023)
Keyphrases
- prior knowledge
- statistical models
- computational models
- design choices
- design process
- engineering design
- fully automated
- metamodel
- case study
- design space
- experimental data
- modelling language
- neural network
- model based reasoning
- reasoning systems
- embedded systems
- design principles
- statistical model
- building blocks
- user interface
- knowledge base
- e learning
- data mining