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