SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies.
Cinzia BernardeschiLuca CassanoAndrea DomeniciPublished in: J. Comput. Sci. Technol. (2015)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- support systems
- nuclear power plant
- fault tolerant
- software intensive systems
- regulatory requirements
- design process
- low cost
- artificial intelligence
- knowledge based systems
- building blocks
- user interface
- data mining
- real time
- distributed systems
- design patterns
- agent architecture
- formal specification
- software engineering
- object oriented
- data model
- power reduction