Safety assurance of an industrial robotic control system using hardware/software co-verification.
Yvonne MurrayMartin SirevågPedro RibeiroDavid A. AnisiMorten MossigePublished in: Sci. Comput. Program. (2022)
Keyphrases
- hardware software
- control system
- safety analysis
- hardware and software
- hw sw
- real time
- embedded systems
- design methodology
- closed loop
- high performance computing
- control algorithm
- fuzzy logic
- control strategy
- hardware design
- control scheme
- fuzzy controller
- fuzzy control
- control method
- computer systems
- low cost
- massively parallel
- neural network