Properties first? a new design methodology for hardware, and its perspectives in safety analysis.
Joakim UrdahlShrinidhi UdupiTobias LudwigDominik StoffelWolfgang KunzPublished in: ICCAD (2016)
Keyphrases
- design methodology
- safety analysis
- hardware software
- hw sw
- low cost
- real time
- object oriented
- nuclear power plant
- safety critical
- fuzzy neural network
- control system
- artificial intelligence
- formal specification
- embedded systems
- mathematical model
- design process
- reliability analysis
- building blocks
- state space
- symbolic model checking
- fault model
- genetic algorithm