Portal:Glossary

From Verification Body of Knowledge
Revision as of 11:50, 5 April 2022 by AIDejanira (talk | contribs)
Jump to navigation Jump to search
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