Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System.
Elif DegirmenciYunus Sabri KircaÖzlem ÖrnekMert BulutSerhat KahramanMetin OzkanAhmet YaziciPublished in: TAROS (2023)
Keyphrases
- high security
- vision system
- mobile robot
- java card
- machine vision
- surface inspection
- cryptographic protocols
- industrial automation
- robot navigation
- integrity verification
- critical infrastructure
- network security
- access control
- intrusion detection
- autonomous mobile
- robotic systems
- security requirements
- autonomous robots
- high assurance
- safety analysis
- industrial applications
- information security
- security level
- security analysis
- multi robot
- security administration
- model checking
- signature verification
- security mechanisms
- real time
- security issues
- human robot interaction
- security policies
- mobile robotics
- security protocols
- visual inspection
- security model
- human operators
- path planning
- united states
- rfid tags
- statistical databases
- humanoid robot