Safety assurance of an industrial robotic control system using hardware/software co-verification.
Yvonne MurrayMartin SirevågPedro RibeiroDavid A. AnisiMorten MossigePublished in: CoRR (2021)
Keyphrases
- hardware software
- control system
- safety analysis
- hardware and software
- real time
- hw sw
- embedded systems
- design methodology
- control strategy
- fuzzy logic
- closed loop
- multi core processors
- high performance computing
- low cost
- control algorithm
- fuzzy control
- neural network
- model checking
- control scheme
- information systems
- hardware design
- fuzzy controller
- control method
- software systems
- data processing
- general purpose
- message passing