Development of Checkability in FPGA Components of Safety-Related Systems.
Oleksandr DrozdKostiantyn ZashcholkinOleksandr MartynyukOlena IvanovaJulia DrozdPublished in: ICTES (2020)
Keyphrases
- safety critical
- building blocks
- hardware architectures
- knowledge based systems
- commercial off the shelf
- computer systems
- development efforts
- software implementation
- case study
- communication technologies
- high speed
- technical issues
- complex systems
- software components
- support systems
- safety analysis
- computing systems
- enabling technologies
- autonomous mobile
- real time image processing
- hardware implementation
- software systems
- decision support
- low cost
- software engineering
- management system