Portal:Glossary
- Human-robot interactions
- Acceptability
- Trust
- Safety in HRI
- Failure detection and recovery
- Redundant robots
- Robot safety
- Robotic Systems
- Assurance
- Functional assurance
- Assurance cases
- Specifications
- Requirements -workspace and conditions/context of operations
- Functional requirements
- Safety requirements
- Security requirements
- Requirements development processes
Qualitative assessment Quantitative assessment Dependability Reliability Security Cyber-security Robustness Safety Trustworthiness Formal methods for autonomous systems Resilience Behavior verification for autonomous systems and ML systems Correctness verification - software testing Functional verification – safety, system function Behavioral verification – verification of any function in the system including ML & non-deterministic functions Cross-domain / multi-domain validation Safety and security interaction Social/legal/ethical requirements Privacy Responsibility HRI verification Safety-centric HRI protocols Accountability Liability Software tools for benchmarking and Software tools for testing Explainability Reproducibility Hybrid Logical/Dynamical Planning and Verification Performance evaluation and benchmarking Robot systems engineering Software testing and debugging Experiment design Acceptance testing Model-based evaluation Sim-based evaluation Performance evaluation Replicability Generalizability Assessment Transparency Formal software verification Licensing and certification Run-time verification and monitoring Validation Integrity of autonomous systems Verification Formal modelling Credibility Simulation-based testing Operational design domain Use Case testing Testing Use-case scenario generation Synthetic environment - to develop high level test scenarios, drive test case development Test cases for verification purposes Executable specifications Combining V&V Techniques Contextual reasoning Autonomous systems design